# EJERCICIOS LOGICA FORMAL: SOLUCIONARIO TABLAS DE VERDAD 1. ( p ˄ q ) p q (p˄q) p V V V F F V V F V F F V 2. ( p q ) (¬ p ¬ q) q ( p q ) (¬ p ¬ q) V V V F V F F F V F V V V V F V F F F V V V V V 3.

( p ˅ q ) ˄ ( p q ) q (p˅q)˄(p q) V V V V F V F F V V V V F F F V

p V V F F

p V V F F

p V V F F

p V V F F

4. ( p ˅ q ) ( q ˅ p ) q (p˅q) (q˅p) V V V V F V V V V V V V F F F V 5. ¬ ( p q V F V F q) ¬ (p F V F F (p˅¬q) q) (p ˅ ¬ q) V F V F F V V V V V F F V F V V s s)] V F V F V V V V

p V V F F

q V V V V F F F F

r V V F F V V F F

6. [ ( q ˄ r ) ˄ ( q s ) ] s [(q˄r)˄(q V V V F V F V F F F F F V F F F F F V F F F F F

s V V V V V V V V

p V V V V F F F F

q V V F F V V F F

7. [ ( p ˄ q ) ¬ r ] ¬ [ ( p ˅ q ) r ] ˅ ( q r ) r [(p˄q) ¬r] ¬[(p˅q) r]˅(q r) V V F F F F V V V V F V V V V V V F V F V F V F V F V V V V F F V V V V V F V V V F V F V F V V V V F F V V V V V F V F V F V F V F F V V V F F V V V F F V V V

p V V V V F F F F

q V V F F V V F F

8. [ ¬ ( p ˄ q ) ˅ ¬ ( ¬ p ˅ r ) ] [ ( p ˄ q r ) ˄ ( ¬ p ˄ q ˄ r ) ] r [¬(p˄q)˅¬(¬p˅r)] [(p˄q r)˄(¬p˄q˄r)] V F V F F F V V V F F F V F F V V V F F V F F F F F V V F V F F V F F F F F F F V F V V F F F V F F F F V V F V F V V F F F V V F F V F V F V V F V F V F F V V F V F V V F F F F F F F V F V F V V F V F F F F 9. [ ( q ˅ r ) p s V V V F F V F F V V V F F V F F V V V F F V F F V V V F F V F F ¬p] [(r˅s) (p˅q)] [( q ˅ r ) ¬ p] [( r ˅ s ) ( p ˅ q )] V F F F V V V V F F F V V V V V V V V V V V V V V V V V V F F F V V V V F F F F V V V V V V V V V V V V V F V V V F F F V V V V F F F V V V V V V F V F F V V V F V F F F V F V V V V F V F V F V V F V V F V F F F V V V F V F

q V V V V V V V V F F F F F F F F

r V V V V F F F F V V V V F F F F

p V V V V F F F F

10. [ ( p q r V V V F F V F F V V V F F V F F

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

r) V F V F V V V V

p V V F F

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

p V V F F

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

p V V V V F F F F

p V V V V F F F F

r V F V F V F V F

t V V V V V V V V

Sign up to vote on this title