Dicionário de Termos Linguísticos

Operação que explicita se uma predicação é válida para todos os membros de um conjunto, para alguns, pelo menos um, ou só para um membro. Por exemplo, a frase "os amigos são para as ocasiões" não está explicitamente quantificada, ao contrário de "todos os amigos são para as ocasiões" e de "alguns amigos são para as ocasiões". Os principais quantificadores, em lógica de predicados de primeira ordem, i.e., operadores usados para a quantificação, são o quantificador universal e o quantificador existencial, que correspondem respectivamente às expressões do português todo(s) e algun(s) na interpretação de "pelo menos um, possivelmente mais".