4 - Verificação de (p→r) ∧ (q→r) e p∨q→ r

Verifique se as proposições (p → r) ∧ (q → r) e p ∨ q → r são equivalentes:

Assim, a equivalência (p→r) ∧ (q→r) e p∨q→ r comprovada via método dedutivo.