Quantificadores são expressões que indicam a quantos elementos uma afirmação se aplica. Palavras como “todo”, “algum” e “nenhum” determinam o alcance de uma frase e a maneira correta de negá-la.
A negação de “Todos os candidatos foram aprovados”, por exemplo, é “Pelo menos um candidato não foi aprovado”. Basta uma exceção para tornar falsa a afirmação de que todos foram aprovados.
Nesta aula, você aprenderá a interpretar sentenças abertas, identificar o universo de referência, traduzir frases para símbolos e aplicar as regras de negação dos quantificadores, com exemplos e exercícios comentados.
1. O que são sentenças abertas?
Uma sentença aberta contém uma variável livre: um elemento que ainda não foi determinado nem está sob o alcance de um quantificador.
Observe:
“x é maior que 5.”
Sem definir x, não podemos atribuir um único valor lógico à sentença.
| Substituição | Afirmação | Valor lógico |
|---|---|---|
| x = 8 | 8 é maior que 5. | Verdadeiro |
| x = 3 | 3 é maior que 5. | Falso |
Para transformar uma sentença aberta em uma proposição, precisamos substituir ou quantificar todas as variáveis livres, com seus universos definidos.
Por exemplo:
“Existe um número inteiro x que é maior que 5.”
Agora temos uma afirmação verdadeira: o número 8 satisfaz essa condição.
O que significa P(x)?
Podemos representar uma sentença aberta por P(x).
Se definirmos:
P(x) = “x estuda.”
Então:
- P(Ana) significa “Ana estuda”.
- P(Carlos) significa “Carlos estuda”.
A letra P representa a propriedade considerada. A variável x indica o elemento ao qual essa propriedade se aplica.
P(x) não é uma multiplicação. É uma forma de escrever uma afirmação sobre x.
2. O que é universo de referência?
O universo de referência, também chamado de domínio, é o conjunto de elementos considerados na questão.
A afirmação “Todos os números considerados são positivos” depende desse universo:
| Universo de referência | A afirmação é verdadeira? |
|---|---|
| {1, 2, 3} | Sim. Todos são positivos. |
| {−1, 2, 3} | Não. O número −1 não é positivo. |
O universo também pode ser um grupo de pessoas, documentos ou objetos.
Se o universo for “candidatos inscritos em determinado concurso”, a frase “Todos apresentaram documento” se refere aos candidatos desse grupo.
Identifique o universo antes de interpretar a frase e mantenha o mesmo universo ao negá-la.
3. Quantificador universal: o que significa “todo”?
O quantificador universal afirma que uma propriedade vale para todos os elementos do universo considerado.
Seu símbolo é ∀, lido como “para todo”.
Considere:
- Universo: alunos de uma turma.
- P(x) = “x entregou a atividade”.
A expressão:
significa:
“Todos os alunos da turma entregaram a atividade.”
A frase exige que cada aluno tenha entregado. Um único aluno que não entregou é suficiente para torná-la falsa.
Expressões como “todo”, “todos” e “cada” podem indicar quantificação universal. “Qualquer” também pode ter esse sentido, conforme o contexto.
Como negar uma frase com “todo”?
Afirmação:
“Todos os alunos entregaram a atividade.”
Negação:
“Pelo menos um aluno não entregou a atividade.”
Em símbolos:
O símbolo ∃ significa “existe pelo menos um”.
Para negar que todos possuem uma propriedade, afirmamos que existe pelo menos um elemento que não a possui.
Não precisamos afirmar que ninguém entregou. Um único aluno que deixou de entregar já basta.
4. Quantificador existencial: o que significa “algum”?
O quantificador existencial afirma que existe pelo menos um elemento com determinada propriedade.
Seu símbolo é ∃, lido como “existe” ou “existe pelo menos um”.
No universo dos alunos da turma, mantendo P(x) como “x entregou a atividade”, temos:
Leitura:
“Algum aluno entregou a atividade.”
Também podemos dizer:
- Existe um aluno que entregou a atividade.
- Pelo menos um aluno entregou a atividade.
- Há aluno que entregou a atividade.
“Algum” significa exatamente um?
Não. Na lógica, “algum” significa pelo menos um.
Se cinco alunos entregaram, a afirmação é verdadeira. Se todos entregaram, ela também é verdadeira.
| Expressão | Significado |
|---|---|
| Pelo menos um | Um ou mais. |
| Exatamente um | Um, sem nenhum outro. |
| No máximo um | Zero ou um. |
Portanto, “Alguns alunos entregaram” não permite concluir que outros deixaram de entregar.
Como negar uma frase com “algum”?
Afirmação:
“Algum aluno entregou a atividade.”
Negação:
“Nenhum aluno entregou a atividade.”
Em símbolos:
Se não existe aluno que entregou, cada aluno deixou de entregar. Em português, a formulação com “nenhum” expressa essa ideia de maneira direta.
5. Como interpretar e negar “nenhum”?
A frase:
“Nenhum aluno entregou a atividade.”
afirma que não existe aluno que tenha entregado.
Podemos representá-la por:
ou, de forma equivalente:
Negação de “nenhum”
Para tornar falsa a afirmação de que ninguém entregou, basta que uma pessoa tenha entregado.
| Afirmação original | Negação |
|---|---|
| Nenhum aluno entregou a atividade. | Pelo menos um aluno entregou a atividade. |
Em símbolos:
Negar “nenhum” produz “pelo menos um”. Não é necessário afirmar que todos entregaram.
6. Como negar “algum não”?
Considere:
“Algum aluno não entregou a atividade.”
Essa frase afirma que existe pelo menos um aluno que deixou de entregar.
Representação:
Sua negação é:
“Todos os alunos entregaram a atividade.”
Em símbolos:
A transformação envolve duas operações:
- Trocamos “existe pelo menos um” por “para todo”.
- Negamos a propriedade “não entregou”, obtendo “entregou”.
Para negar que existe alguém que não entregou, precisamos afirmar que todos entregaram.
7. Como negar todo, algum e nenhum: quadro-resumo
| Afirmação original | Negação correta |
|---|---|
| Todo A é B. | Algum A não é B. |
| Algum A é B. | Nenhum A é B. |
| Nenhum A é B. | Algum A é B. |
| Algum A não é B. | Todo A é B. |
Veja as regras aplicadas:
| Afirmação original | Negação |
|---|---|
| Todo candidato apresentou documento. | Pelo menos um candidato não apresentou documento. |
| Algum candidato apresentou documento. | Nenhum candidato apresentou documento. |
| Nenhum candidato apresentou documento. | Pelo menos um candidato apresentou documento. |
| Algum candidato não apresentou documento. | Todo candidato apresentou documento. |
“Nem todos” significa o quê?
“Nem todos os candidatos foram aprovados” equivale a:
“Pelo menos um candidato não foi aprovado.”
A frase permite que alguns tenham sido aprovados ou que nenhum tenha sido aprovado. Ela apenas impede que todos tenham sido aprovados.
“Nem todos” e “nenhum” têm significados diferentes.
“Todo” garante que existe alguém?
Na lógica clássica, “Todo A é B” não afirma, por si só, que existe algum A.
Por exemplo:
“Todos os candidatos inscritos foram aprovados.”
Essa afirmação estabelece uma exigência para quem estiver no grupo dos candidatos inscritos. Sozinha, ela não garante que houve inscrições.
Já:
“Algum candidato inscrito foi aprovado.”
afirma que existe pelo menos um candidato inscrito e aprovado.
Por isso, para passar de “Todo candidato foi aprovado” para “Algum candidato foi aprovado”, precisamos também saber que existe pelo menos um candidato.
Em questões, observe se a existência do grupo foi informada.
8. Como traduzir frases com quantificadores para símbolos?
A tradução depende do universo escolhido.
Quando o universo contém apenas candidatos
Considere:
- Universo: candidatos inscritos.
- A(x) = “x foi aprovado”.
| Frase | Tradução |
|---|---|
| Todo candidato foi aprovado. | ∀x A(x) |
| Algum candidato foi aprovado. | ∃x A(x) |
| Nenhum candidato foi aprovado. | ∀x ¬A(x) |
| Algum candidato não foi aprovado. | ∃x ¬A(x) |
Quando o universo já contém apenas candidatos, não precisamos repetir que x é candidato.
Quando o universo contém todas as pessoas
Agora considere:
- Universo: pessoas.
- C(x) = “x é candidato”.
- A(x) = “x foi aprovado”.
Precisamos indicar quais pessoas são candidatas:
| Frase | Tradução |
|---|---|
| Todo candidato foi aprovado. | ∀x [C(x) → A(x)] |
| Algum candidato foi aprovado. | ∃x [C(x) ∧ A(x)] |
| Nenhum candidato foi aprovado. | ∀x [C(x) → ¬A(x)] |
| Algum candidato não foi aprovado. | ∃x [C(x) ∧ ¬A(x)] |
A primeira linha significa:
“Para toda pessoa x, se x é candidata, então x foi aprovada.”
A segunda significa:
“Existe pelo menos uma pessoa x que é candidata e foi aprovada.”
Observe a diferença:
- Em “Todo candidato foi aprovado”, usamos a condicional para estabelecer o que vale para quem é candidato.
- Em “Algum candidato foi aprovado”, usamos “e” para afirmar que existe alguém com as duas propriedades: ser candidato e ter sido aprovado.
9. Como negar frases com quantificadores e conectivos?
Primeiro trocamos o quantificador; depois negamos tudo o que está dentro do bloco.
Siga este roteiro:
- Identifique o quantificador.
- Troque ∀ por ∃ ou ∃ por ∀.
- Negue o bloco ao qual o quantificador se aplica.
- Use as regras de negação dos conectivos.
- Elimine eventuais duplas negações.
Exemplo 1 — “Todo” com uma conjunção
Afirmação:
“Todos os candidatos leram o edital e pagaram a taxa.”
Considere:
- Universo: candidatos.
- L(x) = “x leu o edital”.
- T(x) = “x pagou a taxa”.
Tradução:
Primeiro, trocamos o quantificador e negamos o bloco:
Depois, aplicamos De Morgan:
Em português:
“Existe pelo menos um candidato que não leu o edital ou não pagou a taxa.”
O “ou” é inclusivo: esse candidato pode ter deixado de fazer uma das ações ou ambas.
Exemplo 2 — “Algum” com uma disjunção
Afirmação:
“Algum candidato apresentou RG ou CNH.”
Considere:
- Universo: candidatos.
- R(x) = “x apresentou RG”.
- H(x) = “x apresentou CNH”.
- “Ou” inclusivo.
Tradução:
Negando:
Em português:
“Nenhum candidato apresentou RG nem CNH.”
A negação afirma que nenhum candidato apresentou qualquer um desses documentos.
Exemplo 3 — Universal com uma condicional
Afirmação:
“Toda pessoa que foi nomeada foi aprovada.”
Considere:
- Universo: pessoas.
- N(x) = “x foi nomeada”.
- A(x) = “x foi aprovada”.
Tradução:
Negando:
Em português:
“Existe pelo menos uma pessoa que foi nomeada e não foi aprovada.”
Ao negar a condicional, mantivemos o antecedente e negamos o consequente, ligando as partes por “e”.
10. Erros que você deve evitar
Trocar o quantificador sem negar a propriedade
A negação de:
“Todo candidato foi aprovado.”
é:
“Algum candidato não foi aprovado.”
Precisamos mudar o quantificador e negar a propriedade.
Negar uma propriedade de maneira incompleta
A negação de “tem idade maior que 18 anos” é:
“Tem idade menor ou igual a 18 anos.”
Assim, a negação de:
“Todos têm mais de 18 anos.”
é:
“Pelo menos um tem 18 anos ou menos.”
O valor 18 também precisa ser incluído.
Confundir a posição da negação
| Frase | Significado |
|---|---|
| Não é verdade que todos estudam. | Pelo menos um não estuda. |
| Para toda pessoa, é verdade que ela não estuda. | Ninguém estuda. |
A posição da negação muda o significado. Na escrita em português, prefira “nenhum” para afirmar que ninguém possui a propriedade.
Mudar o universo durante a resolução
Se a frase fala dos alunos de uma turma, sua negação deve continuar falando desses mesmos alunos.
Encontrar alguém de outra turma que não estuda, por exemplo, não nega a afirmação “Todos os alunos desta turma estudam”.
11. Exercícios de quantificadores com respostas comentadas
Tente resolver antes de abrir cada resposta.
Exercício 1 — Sentença aberta e universo
Considere P(x): “x é maior que 2”, no universo {1, 2, 3}.
Determine se são verdadeiras ou falsas:
a) ∀x P(x)
b) ∃x P(x)
Ver gabarito e resolução do exercício 1Ocultar resolução do exercício 1
a) Falsa. b) Verdadeira.
a) ∀x P(x) afirma que todos os elementos do universo são maiores que 2.
Isso é falso: 1 e 2 não são maiores que 2.
b) ∃x P(x) afirma que pelo menos um elemento é maior que 2.
Isso é verdadeiro: o número 3 satisfaz a propriedade.
Exercício 2 — Negação de “todo”
Negue:
“Todos os candidatos entregaram os documentos.”
Ver gabarito e resolução do exercício 2Ocultar resolução do exercício 2
“Pelo menos um candidato não entregou os documentos.”
A original exige a entrega por todos. Basta um candidato que não tenha entregado para torná-la falsa.
Aplicamos:
Exercício 3 — Negação de “algum” e “nenhum”
Negue cada frase:
a) “Algum servidor concluiu o treinamento.”
b) “Nenhum servidor concluiu o treinamento.”
c) “Algum servidor não concluiu o treinamento.”
Ver gabarito e resolução do exercício 3Ocultar resolução do exercício 3
As negações são:
a) “Nenhum servidor concluiu o treinamento.”
Negamos a existência de servidor que tenha concluído.
b) “Pelo menos um servidor concluiu o treinamento.”
Um único servidor que tenha concluído já torna falsa a afirmação “nenhum concluiu”.
c) “Todos os servidores concluíram o treinamento.”
Para negar que existe alguém que não concluiu, afirmamos que todos concluíram.
Exercício 4 — Quantificador e conjunção
Negue:
“Todos os alunos estudam e trabalham.”
Ver gabarito e resolução do exercício 4Ocultar resolução do exercício 4
“Pelo menos um aluno não estuda ou não trabalha.”
Considere o universo dos alunos e:
- E(x) = “x estuda”.
- T(x) = “x trabalha”.
Primeiro, trocamos o universal pelo existencial e negamos o bloco:
Depois, aplicamos De Morgan:
A negação afirma que existe um aluno que não estuda, não trabalha ou não realiza nenhuma das duas atividades.
Exercício 5 — Tradução e negação
Considere:
- Universo: pessoas.
- C(x) = “x é candidato”.
- A(x) = “x foi aprovado”.
Traduza para símbolos e depois negue:
“Todo candidato foi aprovado.”
Ver gabarito e resolução do exercício 5Ocultar resolução do exercício 5
Tradução: ∀x [C(x) → A(x)].
Como o universo inclui todas as pessoas, usamos a condicional para estabelecer o que vale para quem é candidato.
Negando:
Em português:
“Existe pelo menos um candidato que não foi aprovado.”
Exercício 6 — Existência e quantificação universal
Sabendo apenas que “Todos os candidatos inscritos foram aprovados”, podemos concluir que “Algum candidato inscrito foi aprovado”?
Justifique.
Ver gabarito e resolução do exercício 6Ocultar resolução do exercício 6
Não, a existência de candidatos precisa estar garantida.
A afirmação universal estabelece que qualquer candidato inscrito foi aprovado, mas não garante, sozinha, que houve inscrições.
Se soubermos também que existe pelo menos um candidato inscrito, então poderemos concluir que algum candidato inscrito foi aprovado.
Perguntas frequentes sobre quantificadores e suas negações
O que são quantificadores lógicos e o que significam ∀ e ∃?
Quantificadores indicam a quantos elementos uma afirmação se aplica. ∀ significa “para todo”: a propriedade deve valer para todos os elementos considerados. ∃ significa “existe pelo menos um”: basta um elemento com a propriedade. Na lógica, “algum” admite um ou mais elementos, inclusive todos.
O que são sentença aberta e universo de referência?
Uma sentença aberta contém uma variável livre, como “x é maior que 5”. Para obter uma proposição, precisamos substituir ou quantificar todas as variáveis livres, com seus universos definidos. O universo de referência é o conjunto considerado, como os alunos de uma turma ou os números inteiros. Ele deve permanecer o mesmo ao negar a frase.
Como negar frases com todo, algum, nenhum e algum não?
Negue assim:
- Todo A é B: algum A não é B.
- Algum A é B: nenhum A é B.
- Nenhum A é B: algum A é B.
- Algum A não é B: todo A é B.
Por exemplo, a negação de “Todos estudam” é “Pelo menos um não estuda”. “Nem todos estudam” também expressa essa negação; não significa que ninguém estuda.
Como negar uma frase com quantificador e mais de um conectivo?
Primeiro, troque ∀ por ∃ ou ∃ por ∀. Depois, negue o bloco inteiro e aplique as regras dos conectivos. A negação de “Todos os alunos estudam e trabalham” é “Pelo menos um aluno não estuda ou não trabalha”. Em símbolos:
O “ou” é inclusivo: o aluno pode deixar de realizar uma das atividades ou ambas.
“Todo candidato foi aprovado” garante que algum candidato foi aprovado?
Não, a afirmação universal sozinha não garante a existência de candidatos. Na lógica clássica, ela estabelece o que vale para quem for candidato. Para concluir que algum candidato foi aprovado, precisamos também saber que existe pelo menos um candidato. Observe se essa existência foi informada no enunciado.
