Quantifiers” (quantificadores) refere-se a termos que indicam quantidade, como “todos”, “alguns”, “muitos” ou “poucos”, utilizados tanto em linguagem natural quanto em lógica formal. Na lógica, os quantificadores básicos são o quantificador universal “∀” (para todo) e o quantificador existencial “∃” (existe pelo menos um). Existem também outros tipos, como quantificadores de contagem, quantificadores limitados e quantificadores de ramificação, que extendem as capacidades expressivas da lógica.
