quan·ti·fi·er [ˈkwɒntɪfaɪəʳ, 美 ˈkwɑ:nt̬əfaɪɚ] 名词
1. quantifier (particle):
- quantifier in logic
-
- quantifier in logic
-
2. quantifier 数学 (expression):
- quantifier
-
4. quantifier 计算机:
- quantifier
- Quantor m
universal quantifier 名词
- universal quantifier 数学
-
existential quantifier 名词
- existential quantifier 数学
-
No example sentences available
Try a different entry
单语范例（未经PONS编辑处理）
Pi-types can also be understood as models of universal quantifiers.
en.wikipedia.org The existential and universal quantifiers in logic are similarly dual.
en.wikipedia.org Note the implied universal quantifiers in the above axioms.
en.wikipedia.org Fairness amounts to expanding every universal quantifier infinitely often.
en.wikipedia.org It is generally given as a quantification rule for the universal quantifier but it can also be encoded in an axiom.
en.wikipedia.org