Está en la página 1de 9

PENSAMIENTO LGICO Y MATEMTICO

FASE GRUPAL
USO DE LAS TABLAS DE VERDAD

Presentado a:

Nevardo Alonso Ayala

Grupo: 200611_873

Entregado por:

Emerson Rodrigo Mesa Rodrguez

Cdigo: 1.090.413.619

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD

CCUTA, 2017
OBJETIVOS

Realizar la interpretacin del enunciado de la lgica proposicional del anexo


3.
Proponer soluciones para el anexo 3 del enunciado.
Hacer uso de la tabla de verdad de forma manual y realizar la
comprobacin mediante el simulador TRUTH.
INTRODUCCIN

El desarrollo de este trabajo nos permite dar cumplimiento a la fase colaborativa


del momento intermedio paso 2, que busca la interaccin de conceptos, la
resolucin de problemas y planteamientos entre todos los participantes del trabajo,
como primer punto encontramos el enunciado de la situacin problemita de la
lgica proposicional, al igual que su desarrollo y anexo 3, para al finar clasificarlo
segn sea su propiedad.
ANEXO 3

SITUACIN PROBLMICA DE LA LGICA PROPOSICIONAL FASE GRUPAL

Para todos es preocupante la situacin econmica actual que vivimos y que


infortunadamente todo est muy costoso y el dinero no alcanza. Clemencia
reflexiona acerca de su proceder con su propia economa y su esposo reflexiona lo
siguiente: Clemencia mi esposa escribe su lista de gastos y ella consigue un
trabajo alterno en otra universidad. Mi esposa viaja en bicicleta a su trabajo por lo
cerca que queda o ella se desplaza caminando. Si Clemencia escribe su lista de
gastos, entonces ella ahorra mucho dinero. Por consiguiente, mi esposa ahorra
mucho dinero. Es claro lo que expresa el esposo de Clemencia? Para dar la
respuesta es necesario elaborar la tabla de verdad de lo que comenta el esposo
de Clemencia, si es tautologa es afirmativo el comentario, si da contradiccin hay
falsedad en lo expresado, y si da contingencia, es porque hace falta informacin
para tener asertividad del comentario hecho.

Analizamos el enunciado para obtener la declaracin de proposiciones


compuestos y expresarlas en lenguaje formal.

p: Clemencia escribe su lista de gastos


q: Consigue un trabajo alterno en otra universidad
r: Clemencia viaja en bicicleta a su trabajo.
s: Clemencia se desplaza caminando.
t: Ahorra mucho dinero

Sacamos la cadena con sus proposiciones y operadores para analizarla en


la tabla de la verdad.
[(q^q)^(r v s)^(p>t)]>t
Tabla de la verdad

(r v
p q r s t (p^q) ^ ^ (p>t) > t
s)
V V V V V V V V V V V V
V V V V F V V V F F V F
V V V F V V V V V V V V
V V V F F V V V F F V F
V V F V V V V V V V V V
V V F V F V V V F F V F
V V F F V V F F F V V V
V V F F F V F F F F V F
V F V V V F F V F V V V
V F V V F F F V F F V F
V F V F V F F V F V V V
V F V F F F F V F F V F
V F F V V F F V F V V V
V F F V F F F V F F V F
V F F F V F F V F V V V
V F F F F F F F F F V F
F V V V V F F V F V V V
F V V V F F F V F V V F
F V V F V F F V F V V V
F V V F F F F F F V V F
F V F V V F F V F V V V
F V F V F F F V F V V F
F V F F V F F V F V V V
F V F F F F F F F V V F
F F V V V F F V F V V V
F F V V F F F V F V V F
F F V F V F F V F V V V
F F V F F F F F F V V F
F F F V V F F V F V V V
F F F V F F F V F V V F
F F F F V F F V F V V V
F F F F F F F F F V V F
Al tener que llegamos a todos los resultados verdaderos, tenemos que esta tabla
est clasificada como Tautologa.
Comprobacin TRUTH SIMULATOR.
CONCLUSIONES

El desarrollo de esta actividad nos ha permitido ampliar el conocimiento,


profundizar en la conceptualizacin, conocer las terminologas de la lgica
matemticas, las leyes, la resolucin de problemas mediante el
planteamiento de situaciones hipotticas y nos ha mostrado una manera
diferente de interpretar la vida, aplicando siempre la lgica matemtica.
Mediante la lgica matemtica, sus leyes, la construccin del lenguaje, el
razonamiento, el uso de los diagramas de Venn, aprendimos a manejar las
tablas de verdad y nos permite clasificar la verdad.
BIBLIOGRAFIA

Villalpando. B.J.F (2000) Matemticas discretas: aplicaciones y ejercicios. :


Larousse Grupo Editorial Patria. Pginas 19-29. Recuperado de:
http://repository.unad.edu.co/bitstream/10596/6544/1/Tablas%20de%20
Verdad%20y%20Reglas%20de%20Inferencia.pdf

Prez, A. R. (2013)- Lgica matemtica. Una introduccin a las


matemticas discretas y teora de grafos. (pp. 1-22). Crdoba, AR: El Cid
Editor. Recuperado de http://www.ebrary.com

Gonzales, T.I & Saavedra, M. (2009). Aciertos matemticos 11: serie para
la educacin media. Bogot, CO: Educar Editores S.A Pginas 151-162
Recuperado de: http://hdl.handle.net/10596/6541

Chavez, C.P. (2000). Compendio de lgica: Larousse Grupo Editorial


Patria. Pginas 151-162. Recuperado de : http://hdl.handle.net/10596/6552