mostrar texto associado

Considere as seguintes proposições.


I- “Se não p, então não q”, (~p → ~q):


II- “Se não q, então não p”, (~q → ~p):


III- “Não p ou q”, (~p ∨ q):


São proposições equivalentes à proposição condicional “Se p, então q”, (p → q):