Considere a afirmação: “Nenhum soldado escuta mal”. A sua negação é:

Gabarito

A

Comentário do professor

Partindo da frase "nenhum soldado escuta mal", temos um quantificador universal negativo, que na forma lógica é \( \forall x\,(S(x)\rightarrow \neg M(x)) \) (se x é soldado, então não escuta mal).

A negação desse enunciado inverte o quantificador universal para um existencial: \( \neg\forall x\,(S(x)\rightarrow \neg M(x)) \equiv \exists x\,\neg(S(x)\rightarrow \neg M(x)) \), que simplifica para \( \exists x\,(S(x)\wedge M(x)) \).

Ou seja, a negação afirma existe pelo menos um soldado que escuta mal — forma expressa pela alternativa correta: "Há pelo menos um soldado que escuta mal."