离散数学 一阶逻辑基本内容小结

一阶逻辑（谓词逻辑）可以更进一步表示原子命题内部结构

谓词和量词

概念一览：

• 个体词：命题中独立个体
• 谓词：描述个体词关系
• 个体常量：特定个体词，小写字母abc表示
• 个体变量：抽象或泛指个体词，小写字母xyz表示
• 个体域：个体变量所有可能取值的集合
• n元谓词：谓词P涉及n个个体词
• 全称判断：对个体域中所有元素都成立。全称量词$\forall$
• 特称判断：个体域中存在元素都成立。存在量词$\exists$

谓词公式

谓词公式中不仅有联接词，还有量词，谓词，函数，个体词。
其中用项代替简单的个体词描述个体

谓词公式构成规则:

• P为谓词符号，对于项$t_1\cdots t_n$ ,$P(t_1\cdots t_n)$ 为谓词公式
• 谓词公式由逻辑联接词连接后仍为谓词公式
• A为谓词公式，x为个体变量，$\forall xA,\exists xA$ 为 谓词公式

定义：$\forall xA$ 中 x为指导变量，量词辖域为A，辖域中的变量x为约束变量

谓词公式的解释:
只有对谓词公式中各符号指定具体含义后，才构成具体命题
谓词公式的一个解释由如下4个部分组成

1. 非空个体域集合D
2. 分别指定公式中的自由变量和常量符号为D中的元素
3. 指定公式中的n元函数符号为$D_n$到D的函数（项到简单个体）
4. 指定公式中的n元谓词符号为$D_n$到{0,1}的函数

解释下的真假性：
谓词公式$\forall xP(x)$ 在解释I下为真，当且仅当$\forall x\in D$ ,P(x) = 1
A在所有解释下均为真，A为有效公式；A在所有解释下均为假，A为矛盾公式；A至少存在一种使其为真的解释，A为可满足公式

注：谓词公式可替代命题公式中的命题变量（上一章），所得谓词公式称为代换实例

等值演算

证明等值，可以找出量词公式的特例公式

注：

• 量词交换中 谓词公式B一定不含个体词x才能消去
• 换名在前束范式演算中很常见
• 量词分配要在同辖域内

前束范式

即多个量词+个体词+不含量词的谓词公式
例如：$\exists x\forall y(P(x)\to Q(x,y))$

为了将一般地谓词公式化为前束范式，需要用到谓词的等值演算公式。

下面给出前束范式演算的一个实例：

消除重名是量词最终可以前移的关键

一阶逻辑的推理

一阶逻辑的推理大体上与命题逻辑推理一致，但需着重考虑个体词在证明中的桥梁作用