【离散数学】数理逻辑 第二章 谓词逻辑(3) 谓词公式的逻辑等价与蕴含、谓词演算的永真公式

本文属于「离散数学」系列文章之一。这一系列着重于离散数学的学习和应用。由于内容随时可能发生更新变动，欢迎关注和收藏离散数学系列文章汇总目录一文以作备忘。此外，在本系列学习文章中，为了透彻理解离散数学，本人参考了诸多博客、教程、文档、书籍等资料。以下是本文的不完全参考目录，在后续学习中还会逐渐补充：

• （国外经典教材）离散数学及其应用 第七版 Discrete Mathematics and Its Applications 7th ，作者是 Kenneth H.Rosen ，袁崇义译，机械工业出版社
• 离散数学 第二版，武波等编著，西安电子科技大学出版社，2006年
• 离散数学 第三版，方世昌等编著，西安电子科技大学出版社，2013年
• （经典参考书及其题解）离散数学/离散数学——理论•分析•题解，左孝凌、李为鉴、刘永才编著，上海科学技术文献出版社
• 离散数学习题集：数理逻辑与集合论分册，耿素云；图论分册，耿素云；抽象代数分册， 张立昂。北京大学出版社

---

3. 逻辑等价与蕴含、谓词演算的永真公式

3.1 谓词逻辑的逻辑等价与蕴含

定义3.1.1 给定任意两个谓词公式 $A$ 和 $B$ ，若对于任何赋值，$A$ 和 $B$ 的真值均相同，则称谓词公式 $A$ 和 $B$ 等价，记为 $A\iff B$ 。

定义3.1.2 给定任意两个谓词公式 $A$ 和 $B$ ，若 $A\to B$ 是永真式，则称 $A$ 蕴含 $B$ ，记为 $A\Rightarrow B$ 。

类似于命题逻辑的逻辑等价与蕴含，对于谓词公式 $A,B,C$ ，有如下结论：

• $A\iff B$ 当且仅当 $A\leftrightarrow B$ 是重言式。
• $A\iff B$ 当且仅当 $A\Rightarrow B$ 且 $B\Rightarrow A$ 。
• $A\iff B$ 且 $B\iff C$ ，则 $A\iff C$（谓词逻辑等价关系的传递规则）。
• $A\Rightarrow B$ 且 $B\Rightarrow C$ ，则 $A\Rightarrow C$（谓词逻辑蕴含关系的传递规则）。

命题逻辑中的代入规则、替换规则，在谓词逻辑中同样适用。

3.2 谓词演算的永真公式

3.2.1 命题逻辑的等价式和蕴含式在谓词逻辑中的推广应用

对于命题逻辑中的任一等价/蕴含公式，对其应用代入规则，即用谓词逻辑的任意公式代入命题逻辑等价/蕴含公式中的某个命题变元，所得结果是谓词逻辑的一个等价/蕴含公式。例如，对 $E_{10}$ 德摩根律 $\neg (A\wedge B)\iff \neg A\vee \neg B$ ，用 $\forall xP(x)$ 代入 $A$ 、$\exists xQ(x)$ 代入 $B$ ，则有 $$\neg (\forall xP(x)\wedge \exists xQ(x))\iff \neg \forall xP(x)\vee \neg \exists xQ(x)$$

3.2.2 量词的否定律

量词的否定律（2个公式），说明全称量词和存在量词可以相互表达。
$$\begin{array}{rl}& \neg \forall xP(x)\iff \exists x\neg P(x)\\ & \neg \exists xP(x)\iff \forall x\neg P(x)\end{array}$$

证明：
（1）设论域为 $D$ ，$t$ 是任一赋值。

• 如果 $t$ 使得 $\neg \forall xP(x)$ 为真，则 $t$ 使得 $\forall xP(x)$ 为假，即存在个体 $a\in D$ 使得 $P(a)$ 为假，从而有 $\neg P(a)$ 为真，故有 $\exists x\neg P(x)$ 为真。
• 如果 $t$ 使得 $\neg \forall xP(x)$ 为假，则 $t$ 使得 $\forall xP(x)$ 为真，即对于任一个体 $a\in D$ ，均有 $P(a)$ 为真，从而有 $\neg P(a)$ 为假，故有 $\exists x\neg P(x)$ 为假。
• 综上所述，$\neg \forall xP(x)\iff \exists x\neg P(x)$ 成立。
• 再给出等价公式 $\neg \forall xP(x)\iff \exists x\neg P(x)$ 在一个有限论域上的证明。设有限论域为 D = { a 1 , a 2 , … , a n } D = \{ a_1, a_2, \dots, a_n\} D={a1​,a2​,…,an​} ，则对某个个体变元 $x$ 的量化可以用命题形式表示，于是有：
  $$\begin{array}{rl}\neg \forall xP(x)& \iff \neg (P(a_1)\wedge P(a_2)\wedge \cdots \wedge P(a_n))\\ & \iff \neg P(a_1)\vee \neg P(a_2)\vee \cdots \vee \neg P(a_n)\\ & \iff \exists x\neg P(x)\end{array}$$

（2）设论域为 $D$ ，$t$ 是任一赋值。

• 如果 $t$ 使得 $\neg \exists xP(x)$ 为真，则 $t$ 使得 $\exists xP(x)$ 为假，即对于任一个体 $a\in D$ ，均有 $P(a)$ 为假，从而有 $\neg P(a)$ 为真，故有 $\forall x\neg P(x)$ 为真。
• 如果 $t$ 使得 $\neg \exists xP(x)$ 为假，则 $t$ 使得 $\exists xP(x)$ 为真，即存在个体 $a\in D$ 使得 $P(a)$ 为真，从而 $\neg P(a)$ 为假，故有 $\forall x\neg P(x)$ 为假。
• 综上所述，$\neg \exists xP(x)\iff \forall x\neg P(x)$ 成立。
• 再给出等价公式 $\neg \exists xP(x)\iff \forall x\neg P(x)$ 在一个有限论域上的证明。设有限论域为 D = { a 1 , a 2 , … , a n } D = \{ a_1, a_2, \dots, a_n\} D={a1​,a2​,…,an​} ，则对某个个体变元 $x$ 的量化可以用命题形式表示，于是有：
  $$\begin{array}{rl}\neg \exists xP(x)& \iff \neg (P(a_1)\vee P(a_2)\vee \cdots \vee P(a_n))\\ & \iff \neg P(a_1)\wedge \neg P(a_2)\wedge \cdots \wedge \neg P(a_n)\\ & \iff \forall x\neg P(x)\end{array}$$

3.2.3 量词辖域的扩张与收缩律

设 $P(x)$ 是谓词公式，$Q$ 是不含自由变元 $x$ 的谓词公式。于是有：
（1）$\forall x(P(x)\wedge Q))\iff \forall xP(x)\wedge Q$
（2）$\forall x(P(x)\vee Q))\iff \forall xP(x)\vee Q$
（3）$\exists x(P(x)\wedge Q)\iff \exists xP(x)\wedge Q$
（4）$\exists x(P(x)\vee Q)\iff \exists xP(x)\vee Q$

上面一组比较简单，下面一组比较复杂：
（5）$\exists xP(x)\to Q\iff \forall x(P(x)\to Q)$
（6）$\forall xP(x)\to Q\iff \exists x(P(x)\to Q)$
（7）$Q\to \exists xP(x)\iff \exists x(Q\to P(x))$
（8）$Q\to \forall xP(x)\iff \forall x(Q\to P(x))$

证明（5）$$\begin{array}{rl}\exists xP(x)\to Q& \iff \neg \exists xP(x)\vee Q\\ & \iff \forall x\neg P(x)\vee Q\\ & \iff \forall x(\neg P(x)\vee Q)\\ & \iff \forall x(P(x)\to Q)\end{array}$$
证明（6）$$\begin{array}{rl}\forall xP(x)\to Q& \iff \neg \forall xP(x)\vee Q\\ & \iff \exists x\neg P(x)\vee Q\\ & \iff \exists x(\neg P(x)\vee Q)\\ & \iff \exists x(P(x)\to Q)\end{array}$$
证明（7）$$\begin{array}{rl}Q\to \exists xP(x)& \iff \neg Q\vee \exists xP(x)\\ & \iff \exists x(P(x)\vee \neg Q)\\ & \iff \exists x(Q\to P(x))\end{array}$$
证明（8） $$\begin{array}{rl}Q\to \forall xP(x)& \iff \neg Q\vee \forall xP(x)\\ & \iff \forall x(P(x)\vee \neg Q)\\ & \iff \forall x(Q\to P(x))\end{array}$$

3.2.4 量词的分配律

有限论域中易证（1）和（2）：
（1）$\forall x(P(x)\wedge Q(x))\iff \forall xP(x)\wedge \forall xQ(x)$
（2）$\exists x(P(x)\vee Q(x))\iff \exists xP(x)\vee \exists xQ(x)$
（3）$\forall xP(x)\vee \forall xQ(x)\Rightarrow \forall x(P(x)\vee Q(x))$
（4）$\exists x(P(x)\wedge Q(x))\Rightarrow \exists xP(x)\wedge \exists xQ(x)$

上面一组比较简单，下面一组比较复杂：
（5）$\forall x(P(x)\to Q(x))\Rightarrow \forall xP(x)\to \forall xQ(x)$
（6）$\exists x(P(x)\to Q(x))\iff \forall xP(x)\to \exists xQ(x)$
（7）$\forall x(P(x)\leftrightarrow Q(x))\Rightarrow \forall xP(x)\leftrightarrow \forall xQ(x)$
（8）$\exists xP(x)\to \forall xQ(x)\Rightarrow \forall x(P(x)\to Q(x))$

证明（1）设 $t$ 是谓词公式 $\forall x(P(x)\wedge Q(x))$ 的任一赋值，其论域为 $D$ 。

• 如果 $t$ 使得 $\forall x(P(x)\wedge Q(x))$ 为真，则对于任一个体 $a\in D$ ，使得 $P(a)\wedge Q(a)$ 为真，即 $P(a)$ 和 $Q(a)$ 的真值均为真，从而有 $\forall xP(x)$ 和 $\forall xQ(x)$ 均为真，即 $\forall xP(x)\wedge \forall xQ(x)$ 为真；
• 如果 $t$ 使得 $\forall xP(x)\wedge Q(x))$ 为假，则存在个体 $a\in D$ ，使得 $P(a)\wedge Q(a)$ 为假，即 $P(a)$ 或 $Q(a)$ 的真值为假，从而有 $\forall xP(x)$ 或 $\forall xQ(x)$ 为假，即 $\forall xP(x)\wedge \forall xQ(x)$ 为假
• 综上所述，$\forall x(P(x)\wedge Q(x))\iff \forall xP(x)\wedge \forall xQ(x)$ 成立

证明（5）任给一个赋值 $t$ ，其论域为 $D$ 。假设在 $t$ 下，$\forall xP(x)\to \forall xQ(x)$ 的真值为 $F$ ，则 $\forall xP(x)$ 为 $T$ ，$\forall xQ(x)$ 为 $F$ 。由 $\forall xQ(x)$ 为 $F$ ，得到存在 $a\in D$ ，使得 $Q(a)$ 为 $F$ ，又因为 $\forall xP(x)$ 为 $T$ ，有 $P(a)$ 为 $T$ ，从而推出 $P(a)\to Q(a)$ 为 $F$ ，即 $\forall x(P(x)\to Q(x))$ 为 $F$ 。由否定后件法得到，$\forall x(P(x)\to Q(x))\Rightarrow \forall xP(x)\to \forall xQ(x)$ 。

证明（8）$$\begin{array}{rl}\exists xP(x)\to \forall xQ(x)& \iff \neg \exists xP(x)\vee \forall xQ(x)\\ & \iff \forall x\neg P(x)\vee \forall xQ(x)\\ & \Rightarrow \forall x(\neg P(x)\vee Q(x))\\ & \iff \forall x(P(x)\to Q(x))\end{array}$$

3.2.5 多重量词律

对于多个量词的情况，量词出现的先后次序不能随意调换。为了便于说明，这里只讨论两个量词的情况，更多量词的使用方法与此类似。若设 $P(x,y)$ 表示 $x,y$ 是同乡，$x$ 的论域为一班学生，$y$ 的论域为二班学生，则：

• $\forall x\forall yP(x,y)$ 表示“一班每个学生和二班每个学生都是同乡”，$\forall y\forall xP(x,y)$ 表示“二班每个学生和一班每个学生都是同乡”，二者都表示“一班和二班所有的学生都是同乡”，含义相同，所以 $\forall x\forall yP(x,y)\iff \forall y\forall xP(x,y)$ 。
• $\exists x\exists yP(x,y)$ 表示“一班的某些学生和二班的某些学生是同乡”，例如一班的小明和二班的小李是同乡，也可以说“二班的某些学生和一班的某些学生是同乡”，即 $\exists y\exists xP(x,y)$ ，所以 $\exists x\exists yP(x,y)\iff \exists y\exists xP(x,y)$ 。
• $\forall x\exists yP(x,y)$ 表示“对于一班任意学生，二班至少有一个学生和他是同乡”，$\exists y\forall xP(x,y)$ 表示“二班存在某个学生，和一班所有学生是同乡”。显然，二者的含义是不同的，如果后者为真，则前者也为真，即 $\exists y\forall xP(x,y)\Rightarrow \forall x\exists yP(x,y)$ 。但是如果前者为真，后者不一定为真，即 $\forall x\exists yP(x,y)\nRightarrow \exists y\forall xP(x,y)$ ，所以二者不等价。

对于二元谓词前置量词，有以下8个等价公式和蕴含公式，可见，全称量词和存在量词在谓词公式中出现的次序不能随意改变：
（1）$\forall x\forall yP(x,y)\iff \forall y\forall xP(x,y)$
（2）$\forall x\forall yP(x,y)\Rightarrow \exists y\forall xP(x,y)$
（3）$\forall y\forall xP(x,y)\Rightarrow \exists x\forall yP(x,y)$
（4）$\exists x\forall yP(x,y)\Rightarrow \forall y\exists xP(x,y)$
（5）$\exists y\forall xP(x,y)\Rightarrow \forall x\exists yP(x,y)$
（6）$\forall x\exists yP(x,y)\Rightarrow \exists y\exists xP(x,y)$
（7）$\forall y\exists xP(x,y)\Rightarrow \exists x\exists yP(x,y)$
（8）$\exists x\exists yP(x,y)\iff \exists y\exists xP(x,y)$

其关系图如下所示：

3.2.6 常用等价公式和蕴含公式

谓词逻辑中常用的等价公式和蕴含公式如下所示。结合替换规则和传递规则，可以比较方便地推导证明谓词逻辑中的一些等价公式和蕴含公式：

公式代码	常用的等价公式和蕴含公式
$E_{25}$	$\neg \forall xP(x)\iff \exists x\neg P(x)$
$E_{26}$	$\neg \exists xP(x)\iff \forall x\neg P(x)$
$E_{27}$	$\forall x(P(x)\wedge Q)\iff \forall xP(x)\wedge Q$
$E_{28}$	$\forall x(P(x)\vee Q)\iff \forall xP(x)\vee Q$
$E_{29}$	$\exists x(P(x)\wedge Q)\iff \exists xP(x)\wedge Q$
$E_{30}$	$\exists x(P(x)\vee Q)\iff \exists xP(x)\vee Q$
$E_{31}$	$\forall xP(x)\to Q\iff \exists x(P(x)\to Q)$
$E_{32}$	$\exists xP(x)\to Q\iff \forall x(P(x)\to Q)$
$E_{33}$	$Q\to \forall xP(x)\iff \forall x(Q\to P(x))$
$E_{34}$	$Q\to \exists xP(x)\iff \exists x(Q\to P(x))$
$E_{35}$	$\forall x(P(x)\wedge Q(x))\iff \forall xP(x)\wedge \forall xQ(x)$
$E_{36}$	$\exists x(P(x)\vee Q(x))\iff \exists xP(x)\vee \exists xQ(x)$
$E_{37}$	$\exists x(P(x)\to Q(x))\iff \forall xP(x)\to \exists xQ(x)$
$I_{22}$	$\forall xP(x)\Rightarrow P(y)$ ，$y$ 是论域中任一确定个体
$I_{23}$	$P(y)\Rightarrow \exists xP(x)$ ，$y$ 是论域中某一确定个体
$I_{24}$	$\forall xP(x)\Rightarrow \exists xP(x)$
$I_{25}$	$\exists x(P(x)\wedge Q(x))\Rightarrow \exists xP(x)\wedge \exists xQ(x)$
$I_{26}$	$\forall xP(x)\vee \forall xQ(x)\Rightarrow \forall x(P(x)\vee Q(x))$
$I_{27}$	$\forall x(P(x)\to Q(x))\Rightarrow \forall xP(x)\to \forall xQ(x)$
$I_{28}$	$\exists xP(x)\to \forall xQ(x)\Rightarrow \forall x(P(x)\to Q(x))$

---

3.3 前束范式

对于一个谓词公式，如果所有量词都非否定地集中出现在整个公式的最前端，它们的辖域为整个公式，则称该公式为前束范式，如 $\forall x\forall y\exists z(Q(x,y)\to R(z))$ 。应用量词的否定律和量词辖域的扩张公式，结合换名规则，任何一个谓词公式都可以变换为前束范式。