PENSAMIENTO LOGICO Y MATEMATICO

UNIDAD 2 - PASO 2 - USO DE LAS TABLAS DE VERDAD

PRESENTADO POR:

DANIELA CALLE ID: 1.095.806.653

BETZAIDA MANJARREZ ID: 49.724.724

ANGELA PATRICIA TAPIAS ID: 1.065.609.007

KAREN VIVIANA ECHAVEZ ID: 1.065.603.629

TUTOR: HERNAN LUIS AGAMEZ.

GRUPO: 200611_170

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

ESCUELA CIENCIAS SOCIALES ARTES Y HUMANIDADES

PROGRAMA PSICOLOGIA

Mayo de 2017
Contenido
INTRODUCCION............................................................................................................................3
OBJETIVOS....................................................................................................................................4
OBJETIVO GENERAL..................................................................................................................4
OBJETIVOS ESPECIFICOS.......................................................................................................4
SITUACIN PROBLMICA DE LA LGICA PROPOSICIONAL FASE GRUPAL.....................................5
PANTALLAZO CON EL SIMULADOR TRUTH....................................................................................7
CONCLUSIONES............................................................................................................................8
REFERENCIAS BIBLIOGRAFICAS....................................................................................................9
 INTRODUCCION.

En el siguiente trabajo se pone en manifiesto una serie de conceptos y temticas

desarrolladas a lo largo del curso de pensamiento lgico y matemtico, entre las cuales
se aplica la transicin del lenguaje natural al lenguaje simblico, la elaboracin de las
tablas de verdad, el uso de software simulador como el Truth Table. La demostracin de
la validez o no validez de un planteamiento por medio de las formas de razonamiento
para proponer una formalizacin y resolucin a las situaciones problmicas.
 OBJETIVOS.

OBJETIVO GENERAL.

Buscar que anlisis conceptos y argumentemos de forma adecuada sobre los

procedimientos desde la lgica proposicional. Para aprender cuales son las distintas
clases de tablas de verdad y como trabajar en ella para resolver situaciones que se
presentan en cualquier problema lgico, adems representar de manera correcta en el
diagrama de ven silogismos.

OBJETIVOS ESPECIFICOS.

Conceptualizar las proposiciones categricas como enunciados que representan

un evento o suceso de manera universal o particular.
Identificar los diferentes conectores lgicos y sus respectivas representaciones
en las tablas de verdad.
Analizar y comprender la temtica a desarrollar.
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?

p.Clemencia escribe su lista de gastos

q.Consigue trabajo alterno en otra universidad
r. Viaja en bicicleta a su trabajo por lo cerca que queda
s. Ella va caminando
t.Ahorra mucho dinero

Formula: [(p q) (r s) (p t)] t

n= nmero de proposiciones simples

n= 5

TABLA 1: tabla de verdad para la formula

p q r s t pq rs pt [(p q) (r s) (p t)] t

V V V V V V V V V

V V V V F V V F V

V V V F V V V V V

V V V F F V V F V

V V F V V V V V V

V V F V F V V F V

V V F F V V F V V

V V F F F V F F V

V F V V V F V V V

V F V V F F V F V

V F V F V F V V V

V F V F F F V F V

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

V F F F V F F V V

V F F F F F F F V

F V V V V F V V V

F V V V F F V V V

F V V F V F V V V

F V V F F F V V V

F V F V V F V V V

F V F V F F V V V

F V F F V F F V V

F V F F F F F V V

F F V V V F V V V

F F V V F F V V V

F F V F V F V V V

F F V F F F V V V

F F F V V F V V V

F F F V F F V V V

F F F F V F F V V

F F F F F F F V V
PANTALLAZO CON EL SIMULADOR TRUTH
 CONCLUSIONES.

Con el uso de las tablas de verdad nos permite analizar cualquier frmula y hallar los
valores de vedad. Analizando de que tipo son para poder aplicar el caso debido con sus
respetivas reglas, esto da un mayor aprendizaje y nos da la oportunidad de poder aplicar
en nuestro entorno para saber qu tan real puede llegar hacer las proposiciones de las
personas.

La investigacin de todo esto brinda un gran conocimiento y deja ver como tenemos
herramientas para la solucin de problemas y da mayor comprensin sobre toda la
temtica.
 REFERENCIAS BIBLIOGRAFICAS

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

universitarias. Mxico: McGraw-Hill Interamericana. Recuperado:
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?
docID=10473069
Villalpando, B. J. F. (2000). "Lgica y Clculo Proposicional". En ProQuest
(Ed). Matemticas discretas: aplicaciones y ejercicios. (pp. 19 - 29).
Guadalajara, Mxico: Larousse - Grupo Editorial Patria.
http://hdl.handle.net/10596/6551. Recuperado de:
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?
docID=11013570&ppg=30
Chvez, C. P. (2000). "Lgica Simblica". En ProQuest (Ed). Compendio de
lgica. (pp. 151- 162). Guadalajara, Mxico: Larousse - Grupo Editorial Patria.
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?
ppg=166&docID=11046000&tm=1489704594878
Gonzles, T. L., & Saavedra, M. (2009). "Lgica". En ProQuest (Ed). Aciertos
matemticos 11: serie para la educacin media. (pp. 151 -162)Bogot,
Colombia: Educar Editores S.A. http://hdl.handle.net/10596/6541 Recuperado
de: http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?
ppg=14&docID=10345286&tm=1489705371767
Bustamante A. A. (2009). "El silogismo categrico". En ProQust (Ed). Lgica y
Argumentacin: De los argumentos inductivos a las lgebras de Boole. 1.
Edicin (pp. 63-81). Mxico D.F., Mxico: Editorial Pearson. Recuperado de:
http://hdl.handle.net/10596/7959