在《PONS词典》中的词汇
existential quantifier 名词
在《PONS词典》中的词汇
quan·ti·fi·er [ˈkwɒntɪfaɪəʳ, 美 ˈkwɑ:nt̬əfaɪɚ] 名词
1. quantifier (particle):
- quantifier in logic
-
- quantifier in logic
-
2. quantifier 数学 (expression):
3. quantifier 语言 (modifier):
4. quantifier 计算机:
ex·is·ten·tial [ˌegzɪˈsten(t)ʃəl] 形
1. existential 生物:
-
- existenziell 技术用语
2. existential 哲学:
无例句可用
请尝试其他条目。
单语范例（未经PONS编辑处理）
But (5) shows that the interrogative is only optionally initial in a pied-piped quantifier phrase.
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 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 The method of quantifier elimination can be used to show that definable sets in particular theories can not be too complicated.
en.wikipedia.org 浏览词典
- exigent
- exiguous
- exile
- exine
- exist
- existential quantifier
- existing
- existing account
- existing commitment
- existing owner
- existing shareholder