Uma proposição logicamente equivalente à negação da proposição "se o cão mia, então o gato não late" é a proposição