英文字典中文字典51ZiDian.com
|
|
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') 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)
请选择你想看的字典辞典：
|
安装中文字典英文字典查询工具!
英文字典中文字典相关资料:
|
中文字典-英文字典 2005-2009