Considere a sentença: “Se Amazonino é amazonense e Reno não é alagoano, então Carlota não é carioca”. Uma sentença logicamente equivalente à sentença dada é

Se Carlota não é carioca, então Amazonino é amazonense e Reno não é alagoano.

Se Amazonino não é amazonense e Reno é alagoano, então Carlota é carioca.

Se Amazonino não é amazonense ou Reno é alagoano, então Carlota é carioca.

Se Carlota é carioca, então Amazonino não é amazonense ou Reno é alagoano.

Se Carlota é carioca, então Amazonino não é amazonense e Reno não é alagoano.