UNIDAD DOS LOGICA PROPOSICIONAL

USO DE TABLAS DE VERDAD

Presentado por
LUIS ANGEL PORRAS
ANA STELLA RODRIGUEZ
LEYDY SALAMANCA
LEONIDAS MONTENEGRO
MONICA BURGOS CORTES
Grupo 60.

Tutora
ELIZABETH PUENTES

UNIVERSIDAD NACIONALA ABIERTA Y A DISTANCIA

PENSAMIENTO LOGICO Y MATEMATICO
Bogot, octubre de 2016

INTRODUCCIN
Este trabajo colaborativo tiene como finalidad realizar una interaccin acadmica entre las
partes para que juntos logremos desarrollar acertadamente la interpretacin, el
planteamiento y la solucin del enunciado problmico de lgica proposicional planteado en
el anexo 3 y hacer uso del simulador TRUTH para comprobar la respectiva tabla de la
verdad. Se clasificar la misma, segn sea el caso, en tautologa, contradiccin o
contingencia.

OBJETIVO
Desarrollar la interpretacin, el planteamiento y la solucin del enunciado problmico de
lgica proposicional haciendo uso del simulador TRUTH.
Analizar, interpretar, exponer diferentes hiptesis y socializarlas ante el grupo colaborativo
con el fin de llegar a la solucin correcta de este enunciado problemico de la lgica
proposicional.

SEGUNDA ETAPA
Interpretacin del planteamiento y solucin del enunciado problmico de Lgica
Proposicional del ANEXO 3 y pantallazo del simulador TRUTH para comprobar la
respectiva tabla de verdad.
Para todos es pero 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:
Planteamiento:
C: Clemencia mi esposa escribe su lista de gastos
D: consigue un trabajo alterno en otra universidad
Q: viaja en bicicleta a su trabajo
P: Se desplaza caminando
R: ahorra mucho dinero
Solucin:
CD= Mi esposa escribe su lista de gastos y consigue un trabajo alterno en otra
universidad
PVQ= Mi esposa viaja en bicicleta a su trabajo o se desplaza caminando
CR= Escribe su lista de gastos entonces ahorra mucho dinero
Respuesta
[(CD)( PVQ) ( CR)] R
El problema es una Tautologa

Pantallazo de la comprobacin del problema antes descrito en la tabla TRUTH

CONCLUSIONES

BIBLIOGRAFIA

http://hdl.handle.net/10596/7961
http://turner.faculty.swau.edu/mathematics/materialslibrary/tr
uth/
http://www.paginasobrefilosofia.com/html/Diagramas%20de
%20Venn/Presentacion/welcome.html
http://hdl.handle.net/10596/7959