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