I.

(V)

Resuelva las siguientes cuestiones

( p q)(p r )

p
V
V
V
V
F
F
F
F

V
V
F
F
V
V
F
F

(F)

( V ) p p

( p q)(p r )
V
V
V
V
V
V
V
V

q p

F
V
F
V
F
V
F
V

p ( q p ) r

p ( q p )

V
V
F
F
V
V
V
V

V
V
F
F
F
F
F
F

V
V
F
V
F
V
F
V

es una contingencia

V
F
V
F
V
F
V
F

F
V
F
V
F
V
F
V

p q
V
V
F
F
F
F
F
F

p r
V
V
F
F
F
F
F
F

p
F

p p
F

( p q p r )
V
V
V
V
V
V
V
V

es una contradiccin

p
V

V
V
V
V
F
V
F
V

V
F
V
F
V
F
V
F

q
V
V
F
F
V
V
F
F

V
V
F
F
F
F
F
F

p r

es una contradiccin

(F) ( p q p r )

p q

V
F
V
F
V
F
V
F

p ( q p ) r

V
V
F
F
V
V
F
F

V
V
V
V
F
F
F
F

V
F
V
F
V
F
V
F

p
V
V
V
V
F
F
F
F

Es una tautologa

(V)

p( p q)

p
V
V
F
F
(F)

p
V
F
V
F

p( p q)
V
V
V
V

es una contradiccin

p q

p
F
F
V
F

p( p q)
F
F
F
F

es una contingencia

q
V
F
V
F

p q
V
V
F
V

F
F
V
V

( V ) p( p q)

V
V
F
F

V
V
V
V

F
V
F
V

( V ) p( p q)

p( p q)

es una contingencia

q
V
F
V
F

V
V
F
F

p q
V
V
V
F

p( p q)

p
V
V
F
F

es una tautologa

q
V
F
V
F

q
F
V
F
V

p q
F
V
F
F

p( p q)
V
V
F
F

( F ) p( p q)

es una tautologa

V
V
F
F

V
F
V
F

F
F
V
V

( F ) p( p q)

F
F
V
F

V
F
V
F
II.

p( p q)
F
F
F
F

es una tautologa

V
V
F
F

p q

F
V
F
V

p q

p( p q)

F
V
F
F

V
V
F
F

Realice la siguiente tabla de solucin y encuentre su equivalencia

p ( q ( r ( p ) ) )

Para encontrar su equivalencia distribuimos primero

q ( r ( p) )

q ( r ( p ) )= ( q r ) ( q ( p ) )
Despus distribuimos con la disyuncin de

p ( ( q r ) ( q ( p ) ) ) y se tiene:
p ( ( q r ) ( q ( p ) ) )= p ( q r ) ( q ( p ) )
Agrupamos

p ( q ( p ) )

y tenemos:

p . Es decir,

p ( q ( p ) )=( p q ) ( p p )

( p p ) es tautologa y entonces queda

Pero

p ( q ( p ) )=( p q )
Entonces tenemos que:

p ( ( q r ) ( q ( p ) ) )= ( p q ) ( q r )= p q ( q r )
Ahora, en el lado derecho distribuimos la disyuncin en

q ( q r )

tenemos:

q ( q r )= ( q q ) ( q r )
Donde

( q q ) es una tautologa y entonces simplificando tenemos que

q ( q r )= ( q r )
Sustituyendo nuevamente en la expresin original tenemos finalmente que:

p ( ( q r ) ( q ( p ) ) )= p q r

III.

Verifique la equivalencia

( p q) ( p q)

(V)

p
V
V
F
F

q
V
F
V
F

(V)

p
F
F
V
V

p q

p q
V
F
V
V

V
F
V
V

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

( p q) ( p q ) (q p)

p q
V V V
V F F
F V V

p q

q p
V
V
F

( p q ) (q p)

( p q)
V
F
F

V
F
F

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

(F)

V
F
V
F

( p q ) p q ( p q ) ( q p)

p q p p q
V
V
F
F

F
F
V
V

V
F
V
V

q p
V
V
F
V

( p q ) p q
V
F
V
V

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

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