universal quantifier
universal quantifier · universal quantifiers
квантор всеобщности
Allquantor, Universalquantor
The operator, represented by the symbol ∀, used in predicate calculus to indicate that…The operator, represented by the symbol ∀, used in predicate calculus to indicate that a predicate is true for all members of a specified set. Verbal equivalents include "for each" and "for every".
Meaning
1 sensesThe operator, represented by the symbol ∀, used in predicate calculus to indicate that a predicate is true for all members of a specified set. Verbal equivalents include "for each" and "for every".
Allquantor, Universalquantor
ква́нтор всео́бщностиkvántor vseóbščnosti
More definitions
- a logical quantifier of a proposition that asserts that the proposition is true for all members of a class of things
Translations
8 languagesРусский
By meaning 1
operator:
Deutsch
By meaning 1
operator:
Forms
plural: universal quantifiers| Singular | universal quantifier |
|---|---|
| Plural | universal quantifiers |
regular
Synonyms
1 synonymsWord family
1 related wordsRelatedexistential quantifier