Considere a afirmação: Se um carro não tem gasolina então n...
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: