quan·ti·fi·er [ˈkwɒntɪfaɪəʳ, am. angl. ˈkwɑ:nt̬əfaɪɚ] SAM.
1. quantifier (particle):
- quantifier in logic
-
- quantifier in logic
-
2. quantifier MAT. (expression):
- quantifier
-
3. quantifier LINGV. (modifier):
4. quantifier RAČ.:
- quantifier
- Quantor m. spol
universal quantifier SAM.
- universal quantifier MAT.
- Allquantor m. spol
existential quantifier SAM.
- existential quantifier MAT.
- Existenzquantor m. spol
PONS OpenDict
Bi želeli dodati besedo, frazo ali prevod?
Prosimo, pošljite nam nov vnos za PONS OpenDict. Oddane predloge pregleda uredniška ekipa PONS in jih ustrezno vključi v rezultate.
Ni primerov
Poskusite z drugačnim vnosom.
Enojezični primeri (nepregledani od uredništva 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