A negação da proposição “se Paulo estuda, então Marta é atleta” é logicamente equivalente à proposição