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