A negação da proposição “Se Heitor é piloto, então Enzo é médico” é logicamente equivalente à proposição de qual alternativa: