查看“︁量词”︁的源代码

[[分类:谓词逻辑]]{{DEFAULTSORT:liang4ci2}}
{{#seo:
|keywords=量词, 全称量词, 存在量词, 谓词逻辑, 量化
|description=量词是谓词逻辑中表达“所有”或“存在”等量化概念的逻辑算子，主要包括全称量词∀和存在量词∃。它们是谓词逻辑区别于命题逻辑的核心特征，使逻辑能够表达一般性陈述和存在性陈述。
|modified_time={{REVISIONYEAR}}-{{REVISIONMONTH}}-{{REVISIONDAY2}}
|published_time=2023-07-01
}}
{{InfoBox
|name=量词
|eng_name=quantifier
}}
{{InfoBox
|name=辖域
|eng_name=scope
}}
{{InfoBox
|name=量化公式
|eng_name=quantified formula
}}
{{InfoBox
|name=约束出现
|eng_name=bound occurrence
}}
{{InfoBox
|name=自由出现
|eng_name=free occurrence
}}
'''量词'''('''quantifier''')是谓词逻辑中的核心语法单元，语法上与[[个体词（谓词逻辑）|个体变项]]一同作用于一个含该个体变项的[[谓词公式]]，构成新的谓词公式。
语义上，量词表达这一公式解释成的命题是关于论域中全部或部分对象的一般性陈述，即约束个体的数量，称为对其的'''量化'''('''quantify''')。

== 相关定义 ==

语法上，含有量词的表达式可以分为两部分。
第一部分中，量词总是紧接一个个体变项，也就是被约束数量的个体词，如 <math>\forall x</math> 中的 <math>x</math> ；
有时还会有限制取值的范围，称为'''量化域'''，如 <math>\forall x \in A</math> 中的 <math>A</math> 。
这部分被共同称为'''量化表达式'''。
第二部分是所限制的子公式，称为这个量词的'''辖域'''('''scope''')。
量化表达式和辖域共同构成一个'''量化公式'''('''quantified formula''')。
由于量化域部分可以转化为公式的一部分，对含有量化域的量化命题，命题逻辑部分一般不进行特殊讨论。

=== 变元符号分类 ===

形式上，在公式 <math>\phi</math> 中，若有个体变项 <math>x</math> ，则语法上对公式（作为符号串）中的每个符号 <math>x</math> ：
* 在量词后（<math>\mathsf{Q}x</math> 中的 <math>x</math>）的称为'''作用变项'''/'''作用变元'''。
* 否则称为 <math>x</math> 在 <math>\phi</math> 中的一次'''出现'''('''occurrence''')：
** 若 <math>x</math> 的一次出现在带有该个体变项的量化表达式（如 <math>\forall x</math> 或 <math>\exists</math>）辖域中，称这次出现本身是'''约束'''的('''bound''')，也称这次出现为 <math>x</math> 在 <math>\phi</math> 中的一次'''约束出现'''('''bound occurrence''')，称公式中的这个 <math>x</math> 为'''约束变项'''/'''约束变元'''('''bound variable''')；
** 若不在这样的量化表达式的辖域中，称这次出现是'''自由'''的('''free''')，也称这次出现为 <math>x</math> 在 <math>\phi</math> 中的一个'''自由出现'''('''free occurrence''')，此时称公式中的这个 <math>x</math> 为'''自由变项'''/'''自由变元'''('''free variable''')。

注：
* “作用变项”不是标准术语。有的分类中将其称为“绑定变项”“绑定出现(binding occurrence)”。
* “作用变项”、“约束变项”、“自由变项”虽然以“变项”结尾，但不是关于某个个体变项本身的，而是关于符号串中的符号的。比如符号串 <math>p(x)\land\forall x q(x)</math> 中，不能分类个体变项 <math>x</math> 为某个分类，而是把分别出现在第 3 、 7 、 10 个位置的三个符号“<math>x</math>”各分类为自由变项、作用变项和约束变项。

== 常见量词 ==

语义上，量词表达一个关于论域中全部对象或存在对象的陈述，因此分为两种：其中描述全部的称为[[全称量词|全称量词 <math>\forall</math>]] ，描述存在的称为[[存在量词|存在量词 <math>\exists</math>]] 。
此外，命题中的[[唯一量词]]和[[计数量词]]等也分类为'''广义量词'''，由于其可以转化为含有以上两种量词的复合命题，命题逻辑部分一般不进行特殊讨论。
在语义上，这些带有量词的命题称为'''量化命题'''('''quantified proposition''')。


{{谓词逻辑}}