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 é
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 é
