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 é