Introdução aos quantificadores: todo, algum e nenhum

Em raciocínio lógico, os quantificadores são palavras ou expressões que indicam quantidade sobre os elementos de um conjunto. Eles aparecem com frequência em frases do dia a dia e, claro, também nas provas de concursos. Entender como funcionam os quantificadores é fundamental para interpretar corretamente proposições e, principalmente, para fazer suas negações da forma certa.

Os três principais quantificadores que você precisa conhecer são:

1. Quantificador universal: “todo” / “toda” / “qualquer”

Esse quantificador indica que a afirmação vale para todos os elementos de um conjunto, sem exceção.

Exemplos:

• “Todo aluno é dedicado.”
• “Qualquer funcionário tem acesso ao sistema.”

Nesse tipo de proposição, basta encontrar uma única exceção para provar que ela é falsa.

2. Quantificador existencial: “algum” / “existe” / “pelo menos um”

Esse quantificador mostra que existe pelo menos um elemento que satisfaz a condição dada. Ou seja, não precisa ser todo mundo, basta um caso.

Exemplos:

• “Algum político é honesto.”
• “Existe um professor que fala três idiomas.”

Essas frases são verdadeiras se ao menos um exemplo puder ser dado.

3. Quantificador negativo: “nenhum” / “ninguém” / “jamais”

Esses termos indicam que nenhum elemento do conjunto satisfaz a condição.

Exemplos:

• “Nenhum aluno faltou hoje.”
• “Ninguém consegue resolver esse problema.”

Aqui, a afirmação só é verdadeira se não houver nenhuma exceção.

Resumo dos três quantificadores:

• Todo: abrange todos os casos.
• Algum: basta um caso.
• Nenhum: exclui todos os casos.

Como isso aparece nas provas?

As bancas costumam cobrar:

• Interpretação de frases com quantificadores.
• Comparações entre proposições com quantificadores diferentes.
• Negação correta dessas proposições (tema que veremos no próximo subtópico).

Exemplo de questão típica:

• “Todo estudante gosta de matemática.”

Qual é a negação lógica dessa frase?

A resposta correta seria:

• “Algum estudante não gosta de matemática.”

Ou: “Existe ao menos um estudante que não gosta de matemática.”