逻辑学学习.11 --- 谓词逻辑（三）：命题的多重量化

如果一个命题中，一个量词的辖域又套了另外一个量词，并且每个量词所带的个体变项不同。那么，这个命题称做是多重量化的。
例如： ∀x （P（x）→ ∃y Q（y））

多重量化不同于重复约束， 二者的区别是：前者所涉及的是含有不同个体变项的量词，而后者所涉及的是含有相同个体变项的量词。
例如，上例如果改成：∀x （P（x）→ ∃x Q（x））
那么，这就成了重复约束。

全称命题的一般结构：
∀x （S（x）→ （…））

存在命题的一般结构：
∃x （S（x）∧ （…））

例1） 所有的候选人都有选民选举。

分析：把量词提到外面来，解释为 ”所有的候选人（x）（存在选民y，y选举x）”

谓词和常项：
H（x） 表示 ：x是候选人
M（y） 表示 ：y是选民
X（y，x） 表示 ：y选举x
符号化成：

∀x （H（x）→ （∃y（M（y）∧ X（y，x）） ）

例2） 有的选民选举所有的候选人。

分析：把量词提到外面来，解释为 ”存在选民x（对每一个候选人y，x选举y） ”

谓词和常项：
H（x） 表示 ：x是候选人
M（y） 表示 ：y是选民
X（y，x） 表示 ：y选举x
符号化成：

∃y （M（y）∧ ∀x（H（x）→ X（y，x）））

例3） 有些人不爱有些人。

分析：把量词提到外面来，解释为 ”存在x（x是人并且 （存在y（y是人并且 x不爱y））） ”

谓词和常项：
R（x） 表示 ：x是人
R（y） 表示 ：y是人
A（x，y） 表示 ：x爱y
符号化成：

∃x （R（x）∧ ∃y（R（y）∧ ¬ A（x，y）））
如果使用论域来简化，令：UD：{人} ，上式简化成：
∃x ∃y ¬ A（x，y）

例4） 如果任何古代人懂得量子力学，那么所有现代人懂得量子力学

分析：主