英文字典中文字典Word104.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　在Google字典中的解釋Google英翻中〔查看〕
quantifier查看　quantifier　在Yahoo字典中的解釋Yahoo英翻中〔查看〕

安裝中文字典英文字典查詢工具!


中文字典英文字典工具:
選擇顏色:
輸入中英文單字

































































英文字典中文字典相關資料:





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

|中文姓名英譯,姓名翻譯 |简体中文英文字典