A negação da proposição "se Curitiba é a capital do Brasil, então Santos é a cap...

Questão de Raciocínio Lógico da banca ESAF aplicada no concurso MF (2013). Confira a resolução completa abaixo:

A negação da proposição "se Curitiba é a capital do Brasil, então Santos é a capital do Paraná" é logicamente equivalente à proposição: