PENSAMIENTO LOGICO Y MATEMATICO

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

PRESENTADO POR:
DIANA PAOLA FERNÁNDEZ TIRIA
CC. 1.053.867.464
CURSO: 200611_659

PRESENTADO A:
TUTOR. OSCAR JHONNY GOMEZ

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

ESCUELA DE CIENCIAS BÁSICAS, TECNOLOGÍA E INGENIERÍA ECBTI
PROGRAMA INGENIERÍA INDUSTRIAL
MANIZALES, CALDAS
 Objetivos:

 Analizar y definir la terminología de la lógica matemática escogida para una visión más
amplia del tema.
 Demostrar la propiedad de lógica proposicional elegida mediante una presentación en Prezi.
 Plantear y resolver utilizando las operaciones de las tablas de verdad uno de los problemas
de la Lógica Proposicional del anexo 1.
 Representar gráficamente a través del diagrama de venn el razonamiento seleccionado
(silogismo categórico).

Introducción:

Mediante este trabajo se pretende interpretar y relacionar expresiones del lenguaje simbólico y
del lenguaje natural, permitiendo el desarrollo estructural de proposiciones, expresiones
matemáticas, argumentaciones y síntesis; mediante la adecuada comprensión y aplicación de la
terminología de lógica matemática, las propiedades de lógica proposicional, las tablas de verdad y
la representación del razonamiento a través del diagrama de venn.

Tautologías, contradicciones y contingencias:

Tautología: Una proposición compuesta es una tautología si es verdadera para todas las
asignaciones de valores de verdad para sus proposiciones componentes. Dicho de otra forma, su
valor V no depende de los valores de verdad de las proposiciones que la forman, sino de la forma
en que están establecidas las relaciones sintácticas de unas con otras.

Ejemplos:

 Sea el caso:
  ~pvp

 (p q) [(p q) ^ (q p)]

Contradicción: Se entiende por proposición contradictoria, o contradicción, aquella

proposición que en todos los casos posibles de su tabla de verdad su valor siempre es F. Dicho de
otra forma, su valor F no depende de los valores de verdad de las proposiciones que la forman, sino
de la forma en que están establecidas las relaciones sintácticas de unas con otras.

Ejemplos:

 Sea el caso:
  ~q ^ q

 (p q) -[(p q) ^ (q p)]

Contingencia: Se entiende por verdad contingente, o verdad de hecho, aquella proposición que
puede ser verdadera o falsa, según los valores de las proposiciones que la integran.

Ejemplos:

 Sea el caso:
 p q

 (p q) v [(p q) ^ (q p)]

Leyes Conmutativas:

http://prezi.com/ryfv1y6s4dup/?utm_campaign=share&utm_medium=copy
 Situación Problemática 5 (lógica proposicional)

Me encuentro revisando la malla curricular de mi programa de estudio en la UNAD, pues

siempre quise convertirme en un Ingeniero de Alimentos, y en la UNAD se me facilita todo para
aprender bien y de manera rigurosa. Pero tengo extraviado mi recibo del periodo académico
anterior y tengo dudas con que voy a matricular en este momento. Recuerdo lo siguiente: “No
matriculé el curso de Física General o matriculé el curso de Química General, y, no matriculé
el curso de Cálculo Diferencial o matriculé el curso de Física General, y, no matriculé el curso
de Física General”
Transforma este texto en lenguaje formal, realiza las respectivas tablas de verdad e indica si es
tautología, contradicción o contingencia. Además debes hacer la comprobación con el uso del
simulador TRUTH.

p: Matricule el curso de física general.

q: Matricule el curso de química general.
r: Matricule el curso de cálculo diferencial.

 [(~ p v q) ^ (~ r v p) ^ ~ p]

 Es una proposición de contingencia:

 Comprobación con simulador TRUHT:

 Silogismo categórico 4:

Toda elipse posee eje mayor y eje menor.

Todos los planetas del Sistema Solar poseen como trayectoria una elipse.
Todos los planetas del Sistema Solar poseen eje mayor y eje menor.

Eje mayor y menor Planetas

Eclipse Eclipse
 Planetas Eje mayor y menor

Eclipse

Conclusiones:

 La lógica proposicional sirve para poder deducir el valor de verdad de una proposición, a
partir de conocer el valor de otras. Al igual que para ejercitar el razonamiento deductivo.
 Las tablas de verdad nos permiten analizar cualquier fórmula y hallar sus valores de
verdad. Nos dice si un razonamiento es válido o no.
 Un silogismo categórico es aquel que afirma o niega que una clase, conjunto, categoría de
cosas está incluida en otra clase, conjunto o categoría, total ó parcialmente.

Bibliografía:

 Adriana pilar noguera (21 Octubre 2016). Silogismos. Recuperado de:

https://www.youtube.com/watch?v=GOzAFEcR2k0
 Arredondo, C. J., & Escobar, V. G. (2015). Lógica: temas básicos. Distrito Federal,
MÉXICO: Grupo Editorial Patria. Páginas 80- 84 Recuperado de:
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=91&docID=11230
887&tm=1496180214861
 Filed Under (20 octubre 2011). Lógica matemática. Tautologías, contradicción y
contingencias. Recuperado de https://angelarendon.wordpress.com/2011/10/20/3-1-4-
tautologias-contradiccion-y-contingencia-2/
 Héctor Fabio Amaya (10 Abril 2016). Tablas de verdad colaborativo 2. Recuperado de:
https://www.youtube.com/watch?v=L1jMXlWd9V0