Considere a afirmação:
“Se tenho namorada então não fico sozinho”.
Uma afirmação logicamente equivalente à afirmação dada é:
Se não fico sozinho então tenho namorada.
Se fico sozinho então não tenho namorada.
Se não tenho namorada então fico sozinho.
Tenho namorada e não fico sozinho.
Tenho namorada ou não fico sozinho.
