A negação da proposição “À noite todos os homens dormem.” está corretamente indicada na seguinte opção:
- A)À noite, existe pelo menos um homem que não dorme.
Correta, porque nega "todos os homens dormem" ao afirmar que existe pelo menos um homem que não dorme.
- B)De dia, nenhum homem dorme.
Errada, porque altera o período para "de dia" e não nega a proposição original sobre a noite.
- C)De dia, todos os homens dormem.
Errada, porque mantém a ideia de que todos dormem e ainda troca o tempo, sem negar a frase inicial.
- D)À noite, nenhum homem dorme.
Errada, porque transforma a frase em uma afirmação de que ninguém dorme, o que não é a negação lógica de "todos dormem".
Gabarito: A
Em lógica, negar uma frase do tipo "todos" exige trocar o universal por um existencial. A proposição original diz: "À noite, todos os homens dormem." Isso significa que, nesse momento, não há exceção nenhuma. Para negar, basta mostrar que existe pelo menos um caso que foge da regra. Em português claro: se a frase fala em "todos", a negação fala em "existe ao menos um que não". É exatamente isso que aparece na alternativa A: "À noite, existe pelo menos um homem que não dorme." Ela derruba a ideia de totalidade da frase original com uma única exceção, e isso já basta para torná-la falsa. Em lógica, uma só contraexemplo já desmonta o "todos". Sem drama, sem insônia coletiva. As demais alternativas mudam o tempo verbal ou trocam a estrutura da frase, mas não negam corretamente a proposição original. Cuidado com isso: negar não é inverter as palavras de qualquer jeito, e sim trocar a quantificação e preservar o sentido lógico. Em provas, a banca gosta muito dessa armadilha. Regra prática para você guardar: "todos" vira "existe pelo menos um que não"; "nenhum" vira "existe pelo menos um que". Aqui, por ser uma proposição universal afirmativa, a negação correta é a da alternativa A.