Considere a afirmação:
Se um carro não tem gasolina então não anda.
Considere, agora, as afirmações seguintes:
I. Se um carro tem gasolina então anda.
II. Se um carro não anda então não tem gasolina.
III. Se um carro anda então tem gasolina.
É/são logicamente equivalente(s) à afirmação dada:
