SOLUCIÓN DEL ENUNCIADO PROBLEMÁTICO DE LÓGICA

PROPOSICIONAL

Presentado por:

JUAN CAMILO NIEVA SOLÓRZANO

Grupo: 382

Presentado a:
POLANCO LARA JUAN

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

PENSAMIENTO LOGICO Y MATEMATICO
NEIVA
2017
 OBJETIVOS

 Resolver problemas de la vida real a través de la lógica proposicional.

 Analizar el enunciado problemático para hallar las proposiciones.
 Realizar la comparación de los resultados con el simulador TRUTH.
 INTRODUCCION

A través del presente trabajo se dará solución al enunciado problemático utilizando la

lógica proposicional.

Se hicieron investigaciones las cuales nos dieron a conocer los pasos que hay que tener en
cuenta para realizar la respectiva tabla de verdad.
 ANEXO 3

Para todos es preocupante la situación económica actual que vivimos y que infortunadamente
todo está muy costoso y el dinero no alcanza. Clemencia reflexiona acerca de su proceder
con su propia economía 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
tautología es afirmativo el comentario, si da contradicción hay falsedad en lo expresado, y si
da contingencia, es porque hace falta información para tener asertividad del comentario
hecho.

Proposiciones:

p: clemencia escribe su lista de gastos.

q: clemencia consigue un trabajo alterno.

r: clemencia viaja en bicicleta.

S: clemencia se desplaza caminando.

(p ∧q) →(r ∨s)

p q r s (p ∧q) (r ∨s) (p ∧q) →(r ∨s)

V V V V V V V

V V V F V V V

V V F V V V V
 V V F F V F F

V F V V F V V

V F V F F V V

V F F V F V V

V F F F F F V

F V V V F V V

F V V F F V V

F V F V F V V

F V F F F F V

F F V V F V V

F F V F F V V

F F F V F V V

F F F F F F V

La tabla nos muestra que es una indeterminación.

PANTALLAZO DEL SIMULADOR TRUTH.
 CONCLUSIONES

 El uso de las tablas de verdad son de gran ayuda para resolver enunciados
problemáticos.
 Se dio solución al enunciado médiate las tablas de verdad.
 Se conoció el tipo de enunciado mediante el uso de la tabla de verdad.
 BIBLIOGRAFIA

 http://erenriquez.net/largoty/Ova01MD/
 http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/process.php
 http://repository.unad.edu.co/handle/10596/6551