Sie sind auf Seite 1von 7

PASO 2

USO DE TABLAS DE VERDAD

LEYDI LILIANA CHILITO VANEGAS


GRUPO 200611_492

PENSAMIENTO LGICO MATEMTICO


UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD
2016

Introduccin
Durante la realizacin del trabajo se pudo utilizar los conocimientos adquiridos sobre la lgica
proposicional y la demostracin de validez sobre los enunciados. Identificaremos los conectores
lgicos y sus representaciones tanto en tablas de verdad y la utilizacin de diagramas de Venn en
silogismos.

Objetivo General
Aprender sobre la lgica proposicional utilizados para demostrar la validez de situaciones
especficas del mundo real.

Objetivos Especficos
Aprender sobre la lgica proposicional, sus caractersticas y su clasificacin.
Reconocer los conectores lgicos y sus representaciones en las tablas de verdad.
Representar usando un diagrama de Venn un silogismo.

Problema
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.

b = Clemencia viaja en bicicleta


c = Clemencia camina
g = Clemencia escribe su lista de gastos.
t = Clemencia consigue un trabajo alterno
a = Clemencia ahorra dinero

[(g t) (b c) (g a)] a

Tenemos cinco constantes lo que hace que nuestra tabla de verdad utilice 25

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

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

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

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

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

(gt
)
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F

(bc
)
V
V
V
V
V
V
F
F
V
V
V
V
V
V
F
F
V
V
V
V
V
V
F
F
V
V
V
V
V
V
F
F

(ga
)
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F

(gt)
(bc)
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F

(gt) (bc)
(ga)
V
F
V
F
V
F
V
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F

[(gt) (bc)
(ga)]a
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V

Lo que resulta en una tautologa.

Conclusiones
Con la elaboracin de este trabajo se consigui mejorar el conocimiento sobre los silogismos, las
tablas de verdad, la representacin de los silogismos en diagramas de Venn y la utilizacin de los
operadores lgicos en las diferentes proposiciones.

Referencias Bibliogrficas
Argoty, L. (2015). Repaso Lgica Matemtica. Recuperado de
https://dcfca35f82f85394a1f6a178935464151320aca5.googledrive.com/host/0By7BIcHpFSDON
090QVkzdmJOeXc/index.html
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
Villalpando, B. J. F. (2000). Matemticas discretas: aplicaciones y ejercicios.: Larousse - Grupo
Editorial Patria. Pginas 19 - 29. Recuperado de: http://hdl.handle.net/10596/6551
Chvez, C. P. (2000). Compendio de lgica.: Larousse - Grupo Editorial Patria. Pginas 151162. Recuperado de: http://hdl.handle.net/10596/6552
Gonzles, T. L., & 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
Bustamante A. A. (2009). Lgica y Argumentacin: De los argumentos inductivos a las lgebras
de Boole. 1. Edicin. Mxico, Editorial Pearson. Pginas 63-81. Recuperado de:
http://hdl.handle.net/10596/7959
(2015) Tautologa, Contradiccin Y Contingencia. Recuperado de:
http://tautologiacontradiccioncontingencia.blogspot.com.co/

Wisniewski, P. M., & Gutirrez, B. A. L. (2011). Introduccin a las matemticas universitarias.


Mxico: McGraw-Hill Interamericana. http://www.ebrary.com. recuperado:
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=10473069
Lewin, R. (2011). La teora de conjuntos y los fundamentos de la matemtica. Chile: Editorial
ebooks Patagonia - J.C. Sez Editor. http://www.ebrary.com. Recuperado:
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=10526962
Cardona, T. S. A. (2010). Lgica matemtica para ingeniera de sistemas y computacin.
Madrid, ES: Ediciones Elizcom.
http://www.ebrary.com.Recuperado:http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.a
ction?docID=10565960&ppg=76

Das könnte Ihnen auch gefallen