Capítulo Uno - Lógica y Conjuntos - Ejercicios - Proposiciones Simples y Compuestas- Ejercicio 47

47. Identifique cuál de las siguientes formas proposicionales NO es tautológica:
a) (¬ q → ¬ p) → (¬ p ∨ q) 

b) ( p ∨ q) → (¬ p → q)

c) [(p → q) ∧ p] → q

d) ( p → q) → ( q → p)

e) [(p ∧ q) ∧ r] → [(p ∨ r) ∧ (q ∨ r)] 

Solución: