You are on page 1of 3

EJERCICIOS LOGICA FORMAL: SOLUCIONARIO TABLAS DE VERDAD

1. ( p ˄ q ) J p
p q (p˄q)Jp
V V V V
V F F V
F V F V
F F F V

2. ( p J q ) J (¬ p J ¬ q)
p q ( p J q ) J (¬ p J ¬ q)
V V V V F V F
V F F V F V V
F V V F V F F
F F V V V V V

3. ( p ˅ q ) ˄ ( p J q )
p q (p˅q)˄(pJq)
V V V V V
V F V F F
F V V V V
F F F F V

4. ( p ˅ q ) J ( q ˅ p )
p q (p˅q)J(q˅p)
V V V V V
V F V V V
F V V V V
F F F V F

5. ¬ ( p J q ) Q ( p ˅ ¬ q )
p q ¬ (p J q) Q (p ˅ ¬ q)
V V F V F V F
V F V F V V V
F V F V V F F
F F F V F V V

6. [ ( q ˄ r ) ˄ ( q J s ) ] J s
q r s [(q˄r)˄(qJs)]Js
V V V V V V V
V V F V F F V
V F V F F V V
V F F F F F V
F V V F F V V
F V F F F V V
F F V F F V V
F F F F F V V
7. [ ( p ˄ q ) J ¬ r ] Q ¬ [ ( p ˅ q ) J r ] ˅ ( q J r )
p q r [(p˄q)J¬r]Q¬[(p˅q)Jr]˅(qJr)
V V V V F F F F V V V V
V V F V V V V V V F V F
V F V F V F V F V V V V
V F F F V V V V V F V V
F V V F V F V F V V V V
F V F F V V V V V F V F
F F V F V F V F F V V V
F F F F V V V F F V V V

8. [ ¬ ( p ˄ q ) ˅ ¬ ( ¬ p ˅ r ) ] J [ ( p ˄ q Q r ) ˄ ( ¬ p ˄ q ˄ r ) ]
p q r [¬(p˄q)˅¬(¬p˅r)]J[(p˄qQr)˄(¬p˄q˄r)]
V V V F V F F F V V V V F F F
V V F F V V V F F F V F F F F
V F V V F V F F V F F F F F F
V F F V F V V F F F F V F F F
F V V V F V F V V F F F F V V
F V F V F V F V V F F V F V F
F F V V F V F V V F F F F F F
F F F V F V F V V F F V F F F

9. [ ( q ˅ r ) J ¬ p ] Q [ ( r ˅ s ) J ( p ˅ q ) ]
q r p s [( q ˅ r )J ¬ p] Q [( r ˅ s )J( p ˅ q )]
V V V V V F F F V V V
V V V F V F F F V V 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 V F F F V V V
V F V F V F F F F V V
V F F V V V V V V V V
V F F F V V V V F V V
F V V V V F F F V V V
F V V F V F F F V V V
F V F V V V V F V F F
F V F F V V V F V F F
F F V V F V F V V V V
F F V F F V F V F V V
F F F V F V V F V F F
F F F F F V V V F V F
10. [ ( p J q ) ˄ ( q J r ) ] ˄ ¬ ( p J r)
p q r [ ( p J q ) ˄ ( q J r ) ] ˄ ¬ ( p J r)
V V V V V V F F V
V V F V F F F V F
V F V F F V F F V
V F F F F V F V F
F V V V V V F F V
F V F V F F F F V
F F V V V V F F V
F F F V V V F F V

11. ¬ ( p ˅ q ) Q ( ¬ p ˄ ¬ q)
p q ¬ (p˅q)Q(¬p˄¬q)
V V F V V F F F
V F F V V F F V
F V F V V V F F
F F V F V V V V

12. [( p J q ) ˄ (q J p )] J ( p Q q )
p q [ ( p J q ) ˄ (q J p ) ] J ( p Q q )
V V V V V V V
V F F F V V F
F V V F F V F
F F V V V V V

13. [ ( s ˅ t ) ˄ ( t J p ) ˄ ¬ p ] J s
p q r [( s ˅ t ) ˄ ( t J p ) ˄ ¬ p ] J s
V V V V V V F F V
V V F V F F F F V
V F V V V V F F V
V F F V V V V F V
F V V V V V F V V
F V F V F F F V V
F F V F F V F V V
F F F V F V F V V

14. [ ( p Q t ) ˄ ( r J p ) ˄ r ] J t
p t r [( p Q t ) ˄ ( r J p ) ˄ r] J t
V V V V V V V V
V V F V V V F V
V F V F F V F V
V F F F F V F V
F V V F F F F V
F V F F F V F V
F F V V F F F V
F F F V V V F V