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".
Значення
значень: 1The 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
Ще визначення
- a logical quantifier of a proposition that asserts that the proposition is true for all members of a class of things
Переклади
мов: 8Русский
За значеннями 1
operator:
Deutsch
За значеннями 1
operator:
Форми
множина: universal quantifiers| Однина | universal quantifier |
|---|---|
| Множина | universal quantifiers |
правильне
Синоніми
синонімів: 1Спільнокореневі
пов’язаних слів: 1Пов’язаніexistential quantifier