Quantifier

Origin

quantify + -er

Full definition of quantifier

Noun

1. (grammar) A word, such as all or many, that expresses a quantity
2. (logic) An operator, such as the universal quantifier (written as ∀) or the existential quantifier (∃), used in predicate calculus to indicate the degree that predicate is true for a specified set.
3. (computing) A symbol or symbols in a regular expression indicating the number of characters to be matched.

Derived terms

• existential quantifier
• quantifier elimination
• universal quantifier

Related terms

• quantify
• quantification