5 - Verificação de ~p ⇔ p ↓ q

Equivalência ~p ⇔ p ↓ q comprovada via método dedutivo.