A negação lógica da afirmação condicional “se Ana adoece, então Pedro fica triste” é: