1

Paso 2 – Uso de las Tablas de Verdad

Presentado por:

Daniela del Pilar Rodriguez

1045672279

Presentado a:

Jhon Jairo Perez

Pensamiento Lógico y Matemático 200611A_360 (Grupo Colaborativo 622)

Universidad Nacional Abierta y a Distancia UNAD

Psicologia

15 de Abril de 2017
 2

Objetivos

 Definir la terminología de Tautología, Contradicción y contingencia.

 Realizar operaciones con el Simulador Truth con problemas planteados de la Lógica

Proposicional.

 Representar en un Diagrama de Venn un silogismo dado

 3

Introducción

Las tablas de verdad siendo parte importante en la lógica proposicional, muestra el valor de

verdad de una proposición compuesta, para cada combinación de verdad que se asigne. En este

documento se explican cada una de ellas con algunos ejemplos, además de ello se dará una

solución a un problema de la lógica proposicional y por ultimo estudiaremos un silogismo con

su respectiva grafica utilizando un Diagrama de Venn.

 4

Tautologías, contradicciones y contingencias.

TAUTOLOGÍAS

Es una proposición compuesta siempre verdadera, sin importar el valor de verdad que tengan las
proposiciones simples que la componen.

Ejemplos:

Comprobar por medio de una tabla de verdad que las siguientes proposiciones compuestas son
tautologías.

p v ¬p.

p ¬p p v ¬p
V F V
F V V

(p q) [(~p) (~q)]

p q ~p ~q p q ~(p) (~q) (p q) [ (~p) (~q) ]

V V F F V F V

V F F V V F V

F V V F V F V

F F V V F V V

(p^q)→p¬)

p q r ¬r p^q p^¬r (p^q)→p¬)

V V V F V V V

V V F V V V V

V F V F F V V

V F F V F V V
 5

F V V F F F V

F V F V F V V

F F V F F F V

F F F V F V V

CONTRADICCIONES

Es una proposición compuesta siempre falsa sin importar el valor de verdad que tengan las
proposiciones que la componen.

Ejemplo: Comprobar que la proposición (p ^ ¬p) es una contradicción.

¬(p v q) ^ ¬(q => p)

(p q) [ (~p) (~q) ]

p q ~p ~q p q ~(p) (~q) (p q) [ (~p) (~q) ]

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

Contingencia
 6

Se utilizan para hacer circuitos de control y automatismo, surgen cuando en dos

proposiciones, su equivalencia es verdadera y falsa a la vez. Ejemplo:
A^(BVC)

p q r (qr) P v (q  r)
V V V V V
V V F F V
V F V V V
V F F V V
F V V V V
F V F F F
F F V V V
F F F V V

p q pq qp Pq (pq)^(qp) [(pq)^(qp)]

V V V V V V V
V F F V F F F
F V V F F F F
F F V V V V V
 7

Solución al Problema # 5 de la Lógica Proposicional del Anexo 1

Daniela e Isabella son hermanas y el pasado fin de semana ocurrió un suceso del cual e papá y la

mamá desean saber en realidad como pasaron las cosas; Isabella dio su versión a los padres;

pero luego Daniela comenta lo siguiente: “Es falso cuando mi hermana dice qu no es cierto que,

ella estuvo en cine con su amiga Lorena o que estuvo en la biblioteca estudiando para el parcial,

o que estuvo en cine con Lorena o estuvo en el ensayo del coro de la iglesia. Isabella mi

hermana dice que estuvo en el ensayo del coro de la iglesia. Mauricio un poco confundido por lo

que dicen sus hijas, decide hacer algo que aprendió en su formación como matemático y

transforma en un expresión proposiconal simbólica lo que dijo Daniela acerca de isabella, para

saber si es una incoherencia (la tabla de verdad daría contingencia) o es falso (la tabla de verdad

dará una contradicción) o si es una verdad (la tabla de verdad daría una tautología). ¿A qué

conclusión llega Mauricio?

Solución:

Proposiciones:

p: estuvo en cines con su amiga lorena

q: Estuvo en la biblioteca estudiando para el parcial

r: Estuvo en el ensayo del coro de la iglesia

𝑝 𝑞 𝑟 𝑝⋁𝑞 𝑝⋁𝑟 (𝑝⋁𝑞)⋁(𝑝⋁𝑟) (𝑝⋁𝑞)⋁(𝑝⋁𝑟) → 𝑟

V V V V V V V
V V F V V V F
V F V V V V V
V F F V V V F
F V V V V V V
F V F V F V F
F F V F V V V
 8

F F F F F V V

El resultado de la tabla de verdad para este caso es una contingencia, por ello se puede concluir
que el razonamiento es inválido.

Por lo tanto, la afirmación que hace Daniela no es válida para este caso.

Pantallazo verificación mediante simulador Truth:

 9

Representación en Diagrama de Venn Silogismo # 4 del Anexo 2

Algunos cursos del Área de Matemáticas son obligatorios de los programas de Ingeniería en la

UNAD.

Todos los cursos de tres (3) créditos son cursos obligatorios de los programas de Ingenierías en

la UNAD.

Algunos cursos de tres (3) créditos no son cursos del Área de Matemáticas.

Premisa 1: Algunos cursos del Área de Matemáticas son obligatorios.

Premisa 2: Todos los cursos de tres (3) créditos son cursos obligatorios.

Premisa 3: Algunos cursos de tres (3) créditos no son cursos del Área de

Matemáticas.
 10

Conclusiones

Las tablas de verdad muestran el valor de la verdad de las proposiciones compuestas, para cada
combinación de verdad que se pueda asignar. Las hay para conjunción, disyunción, implicación
y bicondicional.

El simulador Truth es una herramienta fundamental para practicar y así mismo comprobar los
enunciados que se propongan en las tablas de verdad.

Los silogismos son los métodos por los cuales se realizan los razonamientos deductivos, para
ello es importante tener en cuenta 3 elementos principales, premisa universal, premisa particular
y conclusión; con ello podemos encontrar el sujeto, el predicado y el medio para deducir aquel
silogismo.
 11

Bibliografía

Copi, I. M. (1953). Introducción a al Lógica. Nueva York: EUDEBA SEM.

Pagina de Filosofia. (24 de Octubre de 2016). Obtenido de Pagina de Filosofia Diagramas de

Venn:
http://www.paginasobrefilosofia.com/html/Diagramas%20de%20Venn/presentacion/wel
come.html