英文字典中文字典


英文字典中文字典51ZiDian.com



中文字典辞典   英文字典 a   b   c   d   e   f   g   h   i   j   k   l   m   n   o   p   q   r   s   t   u   v   w   x   y   z       







请输入英文单字，中文词皆可：

quantifier    
n. 数量词,量记号

数量词,量记号

quantifier
量词

quantifier
量词

quantifier
n 1: (logic) a word (such as `some' or `all' or `no') that binds
the variables in a logical proposition [synonym: {quantifier},
{logical quantifier}]
2: (grammar) a word that expresses a quantity (as `fifteen' or
`many')

An operator in {predicate logic} specifying for which
values of a variable a formula is true. Universally
quantified means "for all values" (written with an inverted A,
{LaTeX} \forall) and existentially quantified means "there
exists some value" (written with a reversed E, {LaTeX}
\exists). To be unambiguous, the set to which the values of
the variable belong should be specified, though this is often
omitted when it is clear from the context (the "universe of
discourse"). E.g.

Forall x . P(x) <=> not (Exists x . not P(x))

meaning that any x (in some unspecified set) has property P
which is equivalent to saying that there does not exist any x
which does not have the property.

If a variable is not quantified then it is a {free variable}.
In {logic programming} this usually means that it is actually
universally quantified.

See also {first order logic}.

(2002-05-21)


请选择你想看的字典辞典：
单词字典翻译
quantifier查看　quantifier　在百度字典中的解释百度英翻中〔查看〕
quantifier查看　quantifier　在Google字典中的解释Google英翻中〔查看〕
quantifier查看　quantifier　在Yahoo字典中的解释Yahoo英翻中〔查看〕

安装中文字典英文字典查询工具!


中文字典英文字典工具:
选择颜色:
输入中英文单字

































































英文字典中文字典相关资料:







中文字典-英文字典  2005-2009