A negação da proposição “Todo recifense é carioca ou algum carioca não é recifense” é equivalente à proposição “Todo carioca é recifense e existe recifense que não é carioca”.