Logica Formal (Solucion Tablas)
-
Upload
albertofilosofia -
Category
Documents
-
view
162 -
download
3
Transcript of Logica Formal (Solucion Tablas)
EJERCICIOS LOGICA FORMAL: SOLUCIONARIO TABLAS DE VERDAD
1. ( p ˄ q ) p p q ( p ˄ q ) p V V V V V F F V F V F V F F F V
2. ( p q ) (¬ p ¬ q)
p q ( p q ) (¬ p ¬ 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 q )
p q ( p ˅ q ) ˄ ( p q ) V V V V V V F V F F F V V V V F F F F V
4. ( p ˅ q ) ( q ˅ p ) p q ( p ˅ q ) ( q ˅ p ) V V V V V V F V V V F V V V V F F F V F
5. ¬ ( p q ) ( p ˅ ¬ q )
p q ¬ (p 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 s ) ] s
q r s [ ( q ˄ r ) ˄ ( q s ) ] s 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 ) ¬ r ] ¬ [ ( p ˅ q ) r ] ˅ ( q r )
p q r [ ( p ˄ q ) ¬ r ] ¬ [ ( p ˅ q ) r ] ˅ ( q r ) 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 ) ] [ ( p ˄ q r ) ˄ ( ¬ p ˄ q ˄ r ) ]
p q r [ ¬ ( p ˄ q ) ˅ ¬ ( ¬ p ˅ r ) ] [ ( p ˄ q r ) ˄ ( ¬ 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 ) ¬ p ] [ ( r ˅ s ) ( p ˅ q ) ]
q r p s [( q ˅ r ) ¬ p] [( r ˅ s ) ( 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 q ) ˄ ( q r ) ] ˄ ¬ ( p r) p q r [ ( p q ) ˄ ( q r ) ] ˄ ¬ ( p 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 ) ( ¬ p ˄ ¬ q)
p q ¬ ( p ˅ 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 q ) ˄ (q p )] ( p q ) p q [ ( p q ) ˄ (q p ) ] ( p 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 p ) ˄ ¬ p ] s
p q r [( s ˅ t ) ˄ ( t p ) ˄ ¬ p ] 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 t ) ˄ ( r p ) ˄ r ] t
p t r [( p t ) ˄ ( r p ) ˄ r] 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