Considere as seguintes proposições. I- “Se não p, então não ...
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):