离散数学知识点总结（8）：一阶逻辑（谓词逻辑）中的换名规则和常用定理

换名规则

为什么需要进行换名？举个例子

• 在下面的公式中：

$\forall xF(x)\vee \exists xG(x)$ $(1)\ast$

• $F(x)$ 中的 $x$ 和 $G(x)$ 中的 $x$ 其实不是同一个意义，因为两个 $x$ 的辖域不同。
• 只有下面这种形式的 $x$ 是不需要换名的：

$\forall x(G(x)\to F(x))$ $(2)\ast$

• 即，一个 $x$ 的辖域内同时包含了两者，才不用换名。

• 因此在我们举的例子中， $\forall xF(x)\vee \exists xG(x)$ 应该换名为 $\forall xF(x)\vee \exists yG(y)$

• 此外还有一种情况需要进行换名，那就是，当一个字母（例如 $x$） 同时既作为 约束变元，又作为 自由变元 出现的时候，需要将 约束变元 中的 $x$ 及其指导变元进行换名。举个例子：

$\forall x(G(x,y)\to \exists yF(y,z))$

• 首先，这个 $\forall x$ 的约束持续到公式的末尾
• 其次，$G(x,y)$ 中的 $y$ 没有任何约束，是 自由变元（没有 $\forall y$ 或者 $\exists y$ 约束它）
• 但是 $F(y,z)$ 中的 $y$ 被它前面的 $\exists y$ 约束，是 约束变元
• 到此，$y$ 既做了 自由变元，也作为了 约束变元 因此，这个 $y$ 作为约束变元的地方应该换名，即如下式：

$\forall x(G(x,y)\to \exists wF(w,z))$

常用定理

让我们再来看一个式子：

$\forall xA(x)\vee \forall xB(x)$ $(3)\ast$

• 按照第一部分的换名规则，我想应该写成 $\forall xA(x)\vee \forall yB(y)$ 但如果我告诉你这个式子其实也可以写成：

$\forall x(A(x)\vee B(x))$ $(4)\ast$

• 你可能会说，合并同类项呗，这个我熟~~ 简单极了。但事实并非如此。。。。。
• 之所以这个式子可以不需要换名，而且还能把它换成一个 前束范式 的形式，可并不是 合并 那么简单。$\exists xA(x)\wedge \exists B(x)$ 就不能写成 $\exists x(A(x)\wedge B(x))$。为了解决这个问题，我们就要学习常用的定理来帮助我们了解这个过程。

量词否定等值式

$\neg \forall xA(x)\equiv \exists x\neg A(x)$ $(1)$

$\neg \exists xA(x)\equiv \forall x\neg A(x)$ $(2)$

直观理解：

• 不是所有人都喜欢数学 = 存在（至少一个）人不喜欢数学；
• 不存在一个人喜欢数学 = 所有人都不喜欢数学

量词辖域的收缩与扩张等值式

$\forall x(A(x)\vee B)\equiv \forall A(x)\vee B$ $(3)$

$\forall x(A(x)\wedge B)\equiv \forall A(x)\wedge B$ $(4)$

$\forall x(A(x)\to B)\equiv \exists A(x)\to B$ $(5)$

• 注意，这里右边的式子变成了 存在量词 我们可以推导一下：
  
  • 第二步可以直接把括号去了，是因为辖域收缩和扩张的前两条理论

$\forall x(B\to A(x))\equiv B\to \forall xA(x)$ $(6)$

$\exists x(A(x)\vee B)\equiv \exists A(x)\vee B$ $(7)$

$\exists x(A(x)\wedge B)\equiv \exists A(x)\wedge B$ $(8)$

$\exists x(A(x)\to B)\equiv \forall A(x)\to B$ $(9)$

$\exists x(B\to A(x))\equiv B\to \exists xA(x)$ $(10)$

量词分配等值式

$\forall x(A(x)\wedge B(x))\equiv \forall xA(x)\wedge \forall xB(x)$ $(11)$

$\exists x(A(x)\vee B(x))\equiv \exists xA(x)\vee \exists xB(x)$ $(12)$

注意：下面这两组公式，就不是逻辑等值的了，而是只能单向推导了

$\forall xA(x)\vee \forall xB(x)\models \forall x(A(x)\vee B(x))$ $(13)$

$\exists x(A(x)\wedge B(x))\models \exists xA(x)\wedge \exists xB(x)$ $(14)$

注意两个推导的方向是不同的 （13）和 （14）不作为定理出现

无名等值式

$\forall x\forall yA(x,y)\equiv \forall y\forall xA(x,y)$ $(15)$

$\exists x\exists yA(x,y)\equiv \exists y\exists xA(x,y)$ $(16)$

回到式子 $(3)\ast$

• 现在让我们解答最初那个问题，你现在还以为是 合并 这么简单么？当然不是，之所以在那个公式中可以
  
  就是因为公式 $(13)$ 他保证了这个步骤可以直接变成 $(4)\ast$ 而不用非得进行 换名，当然，如果你想换名，答案也是对的。

总结一下

• 两种情况需要进行换名：

  • 当辖域不同的重名变量存在时，需要使用不同的名字
  • 当 约束变元 和 自由变元 命名发生冲突时，最好将 约束变元 及其 指导变元 进行改名

• 当进行量词合并或者拆分的时候，一定不要想当然，要根据合并或者拆分的规则和定理进行。