Uma proposição logicamente equivalente à negação da proposição “se o passarinho late, então o cão não canta” é a proposição: