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:
