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