Durante uma confraternização de fim de ano, Rodrigo afirmou: “Todos os pratos desse restaurante são ótimos”. A negação lógica da afirmação feita por Rodrigo é:

Gabarito

D

Comentário do professor

“Todos os pratos desse restaurante são ótimos.” Devemos obter a negação dessa afirmação.

O termo Todos é um quantificador universal. A negação de um universal é um quantificador existencial que afirma a existência de pelo menos um contraexemplo.

Formalmente: \( \neg(\forall x\,P(x)) \equiv \exists x\,\neg P(x) \). Aqui \(P(x)\) = “o prato x é ótimo”. Aplicando a regra, trocamos o quantificador e negamos o predicado.

Portanto a negação correta é: Existe pelo menos um prato desse restaurante que não é ótimo. Essa frase afirma a existência de um prato que contradiz a declaração original.