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 ΜΑΘ
- Existenzquantor αρσ
PONS OpenDict
Θέλετε να προσθέσετε μια λέξη, φράση ή μετάφραση?
Στείλτε μας ένα νέο λήμμα για το PONS OpenDict. Οι προτάσεις ελέγχονται από τη συντακτική ομάδα του PONS και στη συνέχεια περιλαμβάνονται στο PONS OpenDict.
Δεν υπάρχουν παραδειγματικές προτάσεις.
Δοκιμάστε ένα άλλο λήμμα.
Μονόγλωσσα παραδείγματα (μη ελεγχόμενα από το λεξικογραφικό τμήμα)
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