Negação de proposições com quantificadores

Negar uma proposição que contém quantificadores exige atenção, pois a negação não é simplesmente adicionar a palavra “não”. Em lógica, a negação de uma frase com quantificador muda o tipo do quantificador. Isso é fundamental para resolver corretamente muitas questões de concurso.

Vamos ver como negar corretamente frases com os quantificadores “todo”, “algum” e “nenhum”.

1. Negação do quantificador “todo”

Quando a frase começa com “todo”, “toda”, “qualquer”, “cada”, a negação será com “algum” ou “existe pelo menos um”.

Frase original:

• “Todo aluno é pontual.”

Negação correta:

• “Algum aluno não é pontual.”
• Ou: “Existe pelo menos um aluno que não é pontual.”

Importante: A negação não é “Todo aluno não é pontual”. Essa forma altera totalmente o sentido da frase original.

2. Negação do quantificador “algum” / “existe”

Aqui, a troca é feita para “nenhum” ou “todo... não”, dependendo do formato.

Frase original:

• “Algum funcionário é preguiçoso.”

Negação correta:

• “Nenhum funcionário é preguiçoso.”
• Ou: “Todo funcionário não é preguiçoso.”

A ideia é eliminar qualquer possibilidade de que essa condição ocorra.

3. Negação do quantificador “nenhum”

Quando a frase usa “nenhum”, a negação correta é feita com “algum” ou “existe pelo menos um”.

Frase original:

• “Nenhum aluno passou na prova.”

Negação correta:

• “Algum aluno passou na prova.”
• Ou: “Existe pelo menos um aluno que passou na prova.”

Regras práticas para lembrar:

• Negação de “todo” → “algum... não”
• Negação de “algum” → “nenhum”
• Negação de “nenhum” → “algum”

Essas trocas são chamadas de equivalências na negação, e são muito cobradas pelas bancas em provas de concursos, especialmente quando se quer confundir o candidato com opções parecidas.

Exemplo comum de prova:

Frase original:

• “Todo político é honesto.”

Qual é a negação correta?

• “Algum político não é honesto.”

E não: “Todo político não é honesto” — essa última seria uma afirmação extremista e não é logicamente equivalente à negação correta.