Вы находитесь на странице: 1из 8

Pgina 1

TABLAS DE VERDAD










PRESENTADO POR:
KEVIN ARNOLDO MURCIA CIFUENTES









UNIVERSIDAD NACIONAL ABIERTA Y ADISTANCIA
LOGICA MATEMATICA
1 SEMESTRE
2013

Pgina 2


TABLAS DE VERDAD







PRESENTADO POR:
KEVIN ARNOLDO MURCIA CIFUENTES



PRESENTADO A:
LUIS CORREDOR







UNIVERSIDAD NACIONAL ABIERTA Y ADISTANCIA
LOGICA MATEMATICA
1 SEMESTRE
2013

Pgina 3


TABLAS DE VERDAD


Ejercicio Propuesto 8:

De acuerdo a la definicin estudiada para el bicondicional; para Determinar los
valores de verdad de la proposicin bicondicional basta indagar por el valor de
verdad de la conjuncin entre las implicaciones p q y q p.


p q p q q p (q p) (p q) p q
V V V V V V
V F F V F F
F V V F F F
F F V V V V


Ejercicio Propuesto 9: Determinar los posibles valores de verdad para las
proposiciones:

EJERCICIO 1: p q

p q q p q
V V F F
V F V V
F V F F
F F V F


EJERCICIO 2: p q

p q p q p q
V V F F F
V F F V F
F V V F F
F F V V V

Pgina 4



EJERCICIO 3: p q

p q q p q
V V F F
V F V V
F V F V
F F V V



EJERCICIO 4: p p

p p p p
V V V
V F V
F V V
F F F



EJERCICIO 5: (p q)

p q q (p q) (p q)
V V F F V
V F V V F
F V F F V
F F V F V







EJERCICIO 6: *(p q)(p q)+

p q q p (p q) (p q) *(p q)(p q)+ *(p q)(p q)+
V V F F F V V F
V F V F V F F V
F V F V F V V F
F F V V F V V F

Pgina 5


EJERCICIO 7: (p q) (r s)

p q r s (p q) (r s) (p q) (r s)
V V V V V V V
V V V F V F V
V V F V V F V
V V F F V F V
V F V V F V V
V F V F F F F
V F F V F F F
V F F F F F F
F V V V F V V
F V V F F F F
F V F V F F F
F V F F F F F
F F V V F V V
F F V F F F F
F F F V F F F
F F F F F F F




Ejercicio Propuesto 10: Demostrar que la proposicin
[(p q) (q r)] (p r) es una tautologa:


p q r p q q r p r (p q) (q r) [(p q) (q r)](p r)
V V V V V V V V
V V F V F F F V
V F V F V V F V
V F F F V F F V
F V V V V V V V
F V F V V V V V
F F V V V V V V
F F F V V V V V

Es tautologa porque todas la proposiciones resultan verdaderas.

Pgina 6



Ejercicio Propuesto 11: Demostrar que la proposicin
{[(p q ) (r s)] (p r)} (q s) es una tautologa:



Es tautologa porque todas la proposiciones resultan verdaderas.

Ejercicio Propuesto 12: Demostrar que la proposicin ( p q)
p q la proposicin son lgicamente equivalentes:
TABLA 1: ( p q)

p q ( p q) ( p q)
V V V F
V F V F
F V V F
F F F V


TABLA 2: p q

p q p q p q
V V F F F
V F F V F
F V V F F
F F V V V
p q r s pq r s p r q s (p q ) (r s) [(p q ) (r s)] (p r) ,*(p q ) (r s)+ (p r)-(q s)
V V V V V V V V V V V
V V V F V F V V F F V
V V F V V V V V V V V
V V F F V V V V V V V
V F V V F V V V F F V
V F V F F F V F F F V
V F F V F V V V F F V
V F F F F V V F F F V
F V V V V V V V V V V
F V V F V F V V F F V
F V F V V V F V V F V
F V F F V V F V V F V
F F V V V V V V V V V
F F V F V F V F F F V
F F F V V V F V V F V
F F F F V V F F V F V

Pgina 7


TABLA DE EQUIVALENCIA
p q ( p q) pq
( p q)(pq)
V V F F V
V F F F V
F V F F V
F F V V V


Ejercicio Propuesto 13: Demostrar que las proposiciones p q y la proposicin
p q son lgicamente equivalentes:


TABLA 1: p q

p q p q
V V V
V F F
F V V
F F V



TABLA 2: p q

p q p p q
V V F V
V F F F
F V V V
F F V V


TABLA DE EQUIVALENCIA
p q p q p q (p q)(p q)
V V V V V
V F F F V
F V V V V
F F V V V




Pgina 8



Ejercicio Propuesto 14:
Haciendo uso de la doble implicacin,
1. Demostrar la equivalencia de las proposiciones directa y contra recproca. Y
2. Demostrar la equivalencia de las proposiciones recproca y contraria.

Dadas las proposiciones

p: es un planeta
q: es redondo

Implicacin directa: Si es un planeta entonces es redondo
Implicacin contraria: Si no es planeta entonces no es redondo
Implicacin recproca: Si es redondo entonces es un planeta
Implicacin contra recproca: Si no es redondo entonces no es un planeta

Implicacin directa: p q
Implicacin contraria: p (q)
Implicacin recproca: q p
Implicacin contra recproca: q (p)

p q p q
DIRECTA RECIPROCA CONTRARIA CONTRARRECIPROCA
p q q p p (q) q (p)
V V F F V V V V
V F F V F V V F
F V V F V F F V
F F V V V V V V