quantifier SUBST
- quantifier FILOSOF, LINGUÍS, MAT
-
PONS OpenDict
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)
The method of quantifier elimination can be used to show that definable sets in particular theories can not be too complicated.
en.wikipedia.org This definition, while terse and commonly used, is suboptimal for certain purposes because it contains an existential quantifier which is not really necessary.
en.wikipedia.org Then the translation can be succinctly described as: prefix to every atomic formula, disjunction, and existential quantifier.
en.wikipedia.org Some traditional topics of interest are: construction of meaning representations, semantic underspecification, anaphora resolution, presupposition projection, and quantifier scope resolution.
en.wikipedia.org But (5) shows that the interrogative is only optionally initial in a pied-piped quantifier phrase.
en.wikipedia.org