A negação de quantificadores é um assunto clássico em Raciocínio Lógico para concursos. Saber negar corretamente enunciados com todo (quantificador universal), algum/existe (quantificador existencial) e nenhum evita muitos erros em questões. Neste guia, você verá padrões prontos, o raciocínio por trás deles e exemplos resolvidos.
Ideia central: como funciona a negação de quantificadores
Regra-mestra: ao negar, troque o quantificador e negue o conteúdo entre parênteses.
- Negar ∀ (“todo”): vira ∃ (“existe”) e nega-se o predicado.
- Negar ∃ (“algum/existe”): vira ∀ (“todo”) e nega-se o predicado.
Se o predicado tiver conectivos (e, ou, se…então), use também as regras de negação lógica dentro dele (leis de De Morgan etc.). Caso precise relembrar os símbolos e conceitos básicos de ∀ e ∃, vale revisar Quantificadores Lógicos e a tradução entre linguagem comum e lógica em Como traduzir frases para a linguagem lógica.
Leve para a prova o padrão: ¬∀x P(x) ≡ ∃x ¬P(x) e ¬∃x P(x) ≡ ∀x ¬P(x). Depois, negue o que está dentro de P(x) usando De Morgan quando houver “e”/“ou”.
Padrões essenciais: todo, algum e nenhum
Use a tabela abaixo como mapa rápido. Ela mostra a forma lógica e a negação correta, com uma versão em português natural.
| Frase com quantificador | Forma lógica | Negação correta | Forma natural em português |
|---|---|---|---|
| Todo A é B | ∀x (A(x) → B(x)) | ∃x (A(x) ∧ ¬B(x)) | Existe A que não é B |
| Algum A é B (existe A que é B) | ∃x (A(x) ∧ B(x)) | ∀x (A(x) → ¬B(x)) | Nenhum A é B |
| Nenhum A é B | ∀x (A(x) → ¬B(x)) | ∃x (A(x) ∧ B(x)) | Algum A é B |
| Nem todo A é B | ¬∀x (A(x) → B(x)) ≡ ∃x (A(x) ∧ ¬B(x)) | ∀x (A(x) → B(x)) | Todo A é B |
Em provas, “algum”, “pelo menos um” e “existe” são equivalentes (∃). “Nenhum” equivale a “todo A não é B” (∀x (A → ¬B)). Já “nem todo” é diferente de “nenhum”.
Passo a passo: negando na prática
Nos exemplos, indicaremos a formalização e a transformação passo a passo. Quando precisar, consulte também Proposições Quantificadas e Diagramas Lógicos para visualizar os conjuntos A e B.
Exemplo resolvido
Exemplo: Negue a afirmação: “Todo candidato que estuda diariamente é aprovado”.
Resolução:
Defina C(x): “x estuda diariamente” e A(x): “x é aprovado”. A frase é ∀x (C(x) → A(x)).
Negando: ¬∀x (C → A) ≡ ∃x ¬(C → A). A negação de (C → A) é (C ∧ ¬A).
Logo: ∃x (C(x) ∧ ¬A(x)).
Resposta: “Existe candidato que estuda diariamente e não é aprovado”.
Exemplo resolvido
Exemplo: Negue a afirmação: “Algum servidor fala inglês e espanhol”.
Resolução:
Seja S(x): “x é servidor”; I(x): “x fala inglês”; E(x): “x fala espanhol”. A frase é ∃x (S(x) ∧ I(x) ∧ E(x)).
Negando: ¬∃x (S ∧ I ∧ E) ≡ ∀x ¬(S ∧ I ∧ E). Pela De Morgan: ¬S ∨ ¬I ∨ ¬E.
Para restringir a servidores: ∀x (S(x) → (¬I(x) ∨ ¬E(x))).
Resposta: “Nenhum servidor fala inglês e espanhol (ao mesmo tempo)”. Equivalentemente: “Para todo servidor, não fala inglês ou não fala espanhol”.
Exemplo resolvido
Exemplo: Negue a afirmação: “Nenhum aluno entregou a prova em branco”.
Resolução:
Seja Al(x): “x é aluno”; B(x): “«x» entregou a prova em branco”. A frase “Nenhum A é B”: ∀x (Al(x) → ¬B(x)).
Negando: ¬∀x (Al → ¬B) ≡ ∃x ¬(Al → ¬B) ≡ ∃x (Al(x) ∧ B(x)).
Resposta: “Algum aluno entregou a prova em branco”.
Exemplo resolvido (quantificadores em cadeia)
Exemplo: Negue: “Para todo cargo existe uma prova específica”.
Resolução:
Seja E(c,p): “para o cargo c, p é prova específica”. A frase é ∀c ∃p E(c,p).
Negando: ¬∀c ∃p E(c,p) ≡ ∃c ¬∃p E(c,p) ≡ ∃c ∀p ¬E(c,p).
Resposta: “Existe um cargo para o qual nenhuma prova é específica”.
Confundir “nem todo A é B” com “nenhum A é B”. “Nem todo” significa: existe A que não é B. “Nenhum” significa: para todo A, não B.
Por que os padrões funcionam?
Os padrões resultam de aplicar sistematicamente a negação aos quantificadores e, em seguida, aos conectivos internos. Em termos formais:
- ¬∀x P(x) ≡ ∃x ¬P(x)
- Intuição: se não é verdade que todos têm P, então existe pelo menos um que não tem P.
- ¬∃x P(x) ≡ ∀x ¬P(x)
- Intuição: se não existe nenhum com P, então todo mundo não tem P.
Quando há conectivos em P(x), aplicamos De Morgan: ¬(P ∧ Q) ≡ (¬P ∨ ¬Q), ¬(P ∨ Q) ≡ (¬P ∧ ¬Q), e ¬(P → Q) ≡ (P ∧ ¬Q). Para revisar equivalências importantes, veja o Guia de Equivalências Lógicas.
Erros frequentes e como evitar
- Esquecer de trocar o quantificador: ao negar ∀, vire ∃; ao negar ∃, vire ∀.
- Negar apenas o verbo: “Todo A é B” não vira “Todo A não é B”, mas “Existe A que não é B”.
- Confundir “nem todo” com “nenhum”: “nem todo” ≠ “nenhum”.
- Ignorar o domínio: se a frase restringe o universo (ex.: “servidor”), mantenha essa condição na negação.
- Trocar a ordem em cadeias sem cuidado: ao negar ∀x ∃y P(x,y), vira ∃x ∀y ¬P(x,y). A ordem também inverte.
Como treinar
Pratique transformando frases do cotidiano em notação com ∀ e ∃, e depois faça a negação passo a passo. Se sentir dificuldade na passagem do português para a lógica, retome o material de tradução de frases e o de quantificadores. Consolidando os padrões da tabela deste artigo, você ganha velocidade e segurança na prova.
Fechamento
Negar “todo”, “algum” e “nenhum” exige dois movimentos: trocar o quantificador e negar corretamente o predicado (aplicando De Morgan quando preciso). Domine os padrões e confira sua resposta sempre em linguagem natural para evitar deslizes.
Quer aprofundar Matemática e Raciocínio Lógico com materiais diretos ao ponto e focados em concursos? Conheça o Exatas Express.