logical quantifier
A quantifier is an operator that specifies how many individuals in the domain of discourse satisfy an open formula.
The most commonly used quantifiers are the universal quantifier \forall) and the existential quantifier \exists). In classical logic, each can be defined in terms of the other using negation.