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