Quantifier (logic)

Mathematical use of "for all" and "there exists"

In mathematical logic, quantifiers are formal counterparts of natural-language adjectives like all, some, most, few, etc. which indicate the number of objects satisfying a given property. More precisely, a quantifier is an operator that specifies how many individuals in the domain of discourse satisfy an open formula.

From Wikipedia, under CC BY-SA. More on occurri.