Considere a sentença:
“Se Antonio é baiano, então Carlos não é amapaense”.
Uma sentença logicamente equivalente à sentença dada é: