逻辑学学习.13 --- 谓词逻辑（五）：推演

谓词逻辑和命题逻辑之间最主要的区别是，前者处理量词，而后者不处理量词。因为量词的存在，就给谓词逻辑推演带来了困难。那么，如果在谓词推论时，先销去量词，得到结论后再加上量词，这样谓词推论在很大程度上就还原为命题推论了。这就是谓词逻辑自然演绎系统的基本思想。这样，证明一个谓词推论的一般步骤是：

i）根据有关规则销去量词。
ii）求得不带量词的结论。
iii）根据需要，根据有关规则再给结论加上量词。

一。命题推演规则和量词转换规则

前面提到，谓词逻辑是把命题逻辑作为子系统包含在内的，命题逻辑的二十条推演规则均属于谓词逻辑的推演规则。
前面博客罗列了命题逻辑的二十条推演规则，包括八条整推规则，十条置换规则，再加上条件证明（用于结论为蕴含式）和间接证明（反证法）。罗列在前面博客：
逻辑学学习.6— 命题逻辑（四）：推演的简单规则

除了命题逻辑的二十条推演规则外，谓词逻辑还包含了一些关于量词的推演规则。在本系统中引进了五条量词的推演规则，其中一条是关于量词的置换规则，另外四条是关于量词的整推规则。这总共二十五条规则足够我们进行有效的谓词推论证明。

量词的置换规则： 量词属性反向，量词前后的否定号也反向。
∀ x $\Psi$（x） ↔ ¬ ∃ x ¬ $\Psi$（x）
∃ x $\Psi$（x） ↔ ¬ ∀ x ¬ $\Psi$（x）

在多重量化一节，逻辑学学习.11 — 谓词逻辑（三）：命题的多重量化
我们还提到一个量词的移置规则：只有量词在蕴含式的前件，移入移出才需要改变量词的属性，其余情况，量词不变：
（∃ x $\Psi$（x）→ P ）↔ ∀ x（$\Psi$（x）→ P ）
（∀ x $\Psi$（x）→ P ）↔ ∃ x（$\Psi$（x）→ P ）

量词转换规则既可以用于整个命题，也可以用于命题的一部分。

二。全称量词的整推规则

1）全称示例规则（销去全称量词）

从一个全称命题可以推得它的一个替换例子。这个规则是由一般推特别，很好理解。也没有什么特别限制。

∀ x $\Psi$（x）
∴ $\Psi$（a / x）

这里的x和a都属于元变项。x是个体变项，取x,y,z中的任何一个。a是一个个体常项，取a,b,c…w中的任何一个。用