quan·ti·fi·er [ˈkwɒntɪfaɪəʳ, америк. ˈkwɑ:nt̬əfaɪɚ] СУЩ.
1. quantifier (particle):
- quantifier in logic
-
- quantifier in logic
-
2. quantifier МАТЕМ. (expression):
- quantifier
-
3. quantifier ЛИНГВ. (modifier):
4. quantifier ИНФОРМ.:
- quantifier
- Quantor м.
universal quantifier СУЩ.
- universal quantifier МАТЕМ.
- Allquantor м.
existential quantifier СУЩ.
- existential quantifier МАТЕМ.
-
PONS OpenDict
Вы хотите добавить слова, фразы или переводы?
Пожалуйста, отправьте нам новый словарный запись для PONS OpenDict. Внесенные предложения проверяются редакцией PONS и соответствующим образом включаются в результаты.
Примеры предложений недоступны
Попробуй ввести другую запись.
Одноязычные примеры (не проверены редакцией PONS)
That is, we can quantify over non-existent things using the particular quantifier (also known misleadingly in the view of noneists as the existential quantifier).
en.wikipedia.org There are several rules of inference which utilize the existential quantifier.
en.wikipedia.org For instance, an existential quantifier over a function symbol would be interpreted as modifier there is a function.
en.wikipedia.org In such a logic, one can regard the existential quantifier, for instance, as derived from an infinitary disjunction.
en.wikipedia.org That is, in more formal terms of symbolic logic, it is a theorem with a statement involving the existential quantifier.
en.wikipedia.org