universal quantifier
English
Noun
universal quantifier (plural universal quantifiers)
- (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.
- Some verbal equivalents are "for each" or "for every".
Holonyms
Translations
operator
|
|
See also
- existential quantifier
- universal quantification
This article is issued from
Wiktionary.
The text is licensed under Creative Commons - Attribution - Sharealike.
Additional terms may apply for the media files.