|
Definition of Universal quantifier
1. Noun. A logical quantifier of a proposition that asserts that the proposition is true for all members of a class of things.
Generic synonyms: Quantifier
Definition of Universal quantifier
1. Noun. (logic) The operator, represented by the symbol ?, used in predicate calculus to indicate that a predicate is true for all members of a specified set. ¹
¹ Source: wiktionary.com