Capitulo 1 - Lógica y Conjuntos - Formas proposicionales . Ejercicio N° 46

46. Si p, q y r son variables proposicionales, entonces [(¬p ∨ q) ∧ (¬r → q)] → (p → r) es una forma proposicional tautológica.

 a) Verdadero                                        b) Falso     

Solución: