quan·ti·fi·er [ˈkwɒntɪfaɪəʳ, ingl am ˈkwɑ:nt̬əfaɪɚ] SOST
1. quantifier (particle):
- quantifier in logic
-
- quantifier in logic
-
2. quantifier MAT (expression):
- quantifier
-
3. quantifier LING (modifier):
4. quantifier INFORM:
- quantifier
- Quantor m
universal quantifier SOST
- universal quantifier MAT
-
existential quantifier SOST
- existential quantifier MAT
-
PONS OpenDict
Vuoi aggiungere una parola, una frase o una traduzione?
Inviaci un nuovo contributo per il PONS OpenDict. I suggerimenti inviati vengono esaminati dalla redazione di PONS e inseriti di conseguenza nei risultati.
Nessuna frase d'esempio disponibile
Prova con un'altra voce.
Esempi monolingue (non verificati dalla Redazione di 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