EJERCICIOS DE LÓGICA PROPOSICIONAL

(4º SECUNDARIA)
Practicar y resolver en forma aleatoria las siguientes expresiones lógicas, USANDO TABLAS DE
VERDAD indicando si se trata de una Tautología, Contradicción o Contingencia; a la vez
simplificar usando las LEYES LÓGICAS

1. [ ( p →q ) ∧∼ q ] → p
2. [ p ⟶ ( p ∧ q ) ]
3. [ ∼ ( ∼ p ∧q ) ∨ ( r ∧ ∼ r ) ] ∧∼ q
4. [ ( p ∨∼ q ) ∧ ∼ p ] → ∼ q
5. ∼ ( p ⟶ q ) ↔ [ ( p ∨ q ) ∧∼ q ]
6. [ ( ∼ p ∧∼ q ) ∨ ( p ∨ q ) ] ∧ { p ∨ [ q ∧ ( q ∨ ∼ p ) ] }
7. { p ∧ {∼ p ∨ [ ∼ q ∨ ( p ∧ q ) ] } } ∧∼ q
8. [ ( ∼ p ∧∼ q ) ∨ p ] ∨ q
9. ( r ∧ s ) ∧ [ ( p ∨ ( r ∧ s ) ) ]
10.( ∼ p →∼ q ) ∧ ( p ∨q )
11.∼ [ ∼ ( p ∨q ) ∧ ( p ∧ q ) ]
12.( ∼ p →∼ q ) ∧ ( p ∨q )
13.∼ ( p ∨q ) → ∼ p
14. p → ( q → p )
15. ( ∼ p ∨q ) → ( p →∼ q )
16. ∼ [ ∼ ( p ∧q ) → ∼q ] ∨ p
17. [ p ∧ ( p ∨∼q ) ] → ∼ [ q ∨ (∼ p ∧∼ q ) ]
18. [ ( p ∧q ) ∨ ( ∼ q ∧ p ) ] ∨∼ ( p ∨q )
19. p ∧ [ ( ∼ q ∨ r ) ∨ ( q ∧∼ r ) ]
20. ∼ { [( p → q ) ∧∼ p ] ∨ p }

jlsm