NOMBRE

LAURA DANIELA TIRADO OSORIO

TUTOR
FABIO OSSA

CURSO
PENSAMIENTO LOGICO Y MATEMATICO

GRUPO
200611_99

5 DE OCTUBRE DE 2015
LAS CUATRO TABLAS DE VERDAD: CONJUNCIN, DISYUNCIN, IMPLICACIN
Y BICONDICIONAL.

1. Qu es una tabla de verdad?

Tambin llamada tabla de valores, es una tabla que muestra el valor de verdad de una
proposicin compuesta, para cada combinacin de valores de verdad que se pueda
asignar.

1.1 Conjuncin (p q)
Ejemplo:
La puesta esta vieja y oxidada
Est lloviendo y es de da
Tienes frio y est enfermo
p q pq
V V V
V F F
F V F
F F F

1.2 Disyuncin (p q)
Ejemplo
La luna es un astro o un satlite
Tu mama es rubia o morena
Luis est corriendo o saltando
Esta feliz o triste
p q pq
V V V
V F V
F V V
F F F
 1.3 Implicacin (p q)
Ejemplo
Si est dormido entonces est soando.
Si quiere comer entonces tiene hambre
Si Colombia est en Amrica entonces China est en Asia
p q pq
V V V
V F F
F V V
F F V

1.3 Bicondicional (p q)
Ejemplo
Saldrs si y solo si acabaste tu tarea
4+2=6 si solo si 5+1=8
Esta completo si y solo si estn todas las actividades de la tarea
p q pq
V V V
V F F
F V V
F F V
 2. Paula es estudiante del curso de Pensamiento Lgico y Matemtico junto con
Luisa. Luisa en un aporte individual para el Trabajo Colaborativo Tres escribe en
el foro la siguiente idea: Si Paula mi compaera de curso, aprende Lgica
Proposicional y realiza las tablas de verdad, entonces Paula aprende Lgica
Proposicional, entonces ella realiza Tablas de verdad o Paula reconoce una
Tautologa y Paula no realiza tablas de Verdad y ella no reconoce una
Tautologa. Qu se puede decir de esta informacin?
p= Paula aprende lgica proposicin
q= Paula realiza tabla de verdad
r= Paula reconoce una tautologa
Si Paula aprende lgica proposicional y realiza tablas de verdad entonces aprende
lgica proposicional y ella realiza tablas de verdad o Paula reconoce una tautologa y
no realiza tablas de verdad y no reconoce una tautologa
{(rq)p}{ r~q)~r}
p q r ~q ~r (rq) (rq)p (r~q) (r~q) ~q {(rq)p}{ r~q)~r}
V V V F F V V F F V
V V F F V F F F F F
V F V V F F F V F F
V F F V V F V F F V
F V V F F V F F F F
F V F F V F V F F V
F F V V F F F V F F
F F F V V F V F F V

Tabla de verdad= CONTINGENCIA

Conclusin: Paula aprende lgica matemtica si realiza tablas de verdad y reconoce
tautologas.
Simulador de tablas de verdad
3. Ninguna obra de ingeniera puede ser el reflejo de un romanticismo. Algunas
esculturas pueden ser el reflejo de un romanticismo. Algunas esculturas no son
obras de ingeniera.
Premisa 1: Ninguna obra de ingeniera puede ser el reflejo de un romanticismo

Premisa 2: Algunas esculturas pueden ser el reflejo de un romanticismo

 Premisa 3: Algunas esculturas no son obras de ingeniera

La forma de silogismo segn Aristteles que se presenta aqu es de la forma

S= Sujeto P= Predicado M= Medio
MP
SP
SP
Entonces la conclusin de esta premisa es
Premisa 1 universal Negativa (E): Ninguna obra de ingeniera puede ser el reflejo de
un romanticismo
Premisa 2 Particular afirmativa (I): Algunas esculturas pueden ser el reflejo de un
romanticismo
Premisa 3 Particular negativo (O): Algunas esculturas no son obras de ingeniera
Se concluye que Algunas esculturas no son obras de ingeniera es la conclusin de un
razonamiento de ductivo y corresponde a un silogismo. Por lo tanto el argumento es
valido
REFERENCIAS

Tabla de verdad, http://www.ecured.cu/index.php/Tablas_de_la_verdad