quantifier

{{logic}} The operator, represented by either of the symbols ? (universal quantifier) or ? (existential quantifier), used in predicate calculus to indicate the degree that predicate is true for a specified set.