quan·ti·fi·er [ˈkwɒntɪfaɪəʳ, americ ˈkwɑ:nt̬əfaɪɚ] SUBST
1. quantifier (particle):
- quantifier in logic
-
- quantifier in logic
-
2. quantifier MAT (expression):
- quantifier
-
4. quantifier COMPUT:
- quantifier
- Quantor m
universal quantifier SUBST
- universal quantifier MAT
-
existential quantifier SUBST
- existential quantifier MAT
-
PONS OpenDictInsira a entrada
Deseja acrescentar uma palavra, uma frase ou uma tradução?
Envie-nos um novo registo para o PONS OpenDict. Os projetos apresentados são analisados pela equipa editorial da PONS e incluídos nos resultados em conformidade.
Não há frases de exemplo à disposição.
Experimente com outra entrada.
Exemplos unilingues (não verificados pela redação)
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