Capitulo 1, Ejercicio 49: Formas Proposicionales

49. Una expresión M, para que la forma proposicional [p ∧ ( p → q)] → M sea tautológica, es:

a) p ∧ q
b) ¬ p ∧ q
c) p → ¬q
d) ¬ p
e) ¬ q


Solución: