universal quantifier
noun
Definitions
The operator, represented by the symbol ∀, used in predicate calculus to indicate that a predicate is true for all members of a specified set.
Example: Some verbal equivalents are "for each" or "for every".
Explore meaning, context, and usage with an online dictionary experience optimized for multilingual workflows.
Try these words
Definitions
The operator, represented by the symbol ∀, used in predicate calculus to indicate that a predicate is true for all members of a specified set.
Example: Some verbal equivalents are "for each" or "for every".