Proposições associadas a uma condicional: Recíproca, Contrária e Contrapositiva
Proposição recíproca de p —> q : q —> p
Proposição contrária de p —> q : ~p —> ~q
Proposição contrapositiva de p —> q : ~q —> ~p
Equivalências: p —> q <==> ~q —> ~p e q —> p <==> ~p —> ~q