谓词逻辑

命题逻辑能够解决的问题是有局限性的。只能进行命题间关系的推理，无法解决与命题的结构和成分有关的推理问题。

2.1 谓词逻辑中的基本概念与表示

命题是具有真假意义的陈述句，从语法上分析，一个陈述句由主语和谓语两部分组成。
例如，“计算机是现代科学技术必不可少的工具”
若Ｐ(x）：x是电子科技大学的学生
“陈华是电子科技大学的学生”；
“张强是电子科技大学的学生”。
更一般地，
P(x)：x是电子科技大学的学生。

个体（客体）——不依赖于人的主观而客观存在的实体，可以是具体的物体，也可以是抽象概念。
个体常元：具体的事物，用a, b, c表示
个体变元：抽象的事物，用x, y, z表示
个体域(论域)——个体变项的取值范围
有限个体域，如 {a, b, c}, {1, 2}
无限个体域，如 N, Z, R, …
全总个体域——由宇宙间一切事物组成
谓词——表示个体词性质或相互之间关系的词
一元谓词(n=1)——表示性质
如：F(x)：x具有性质F多元谓词(n2)——表示事物之间的关系
如, L(x,y)：x与 y 有关系 L，L(x,y)：x>=y，…
1）谓词中个体词的顺序是十分重要的，不能随意变更。如命题F(b, c)为“真”，但命题F(c, b)为“假”；
2）一元谓词用以描述某一个个体的某种特性，而n元谓词则用以描述n个个体之间的关系。

2.2 命题函数与量词

一、命题函数：
由一个谓词，一些客体变元组成的表达式称为简单命题函数。
由一个或n个简单命题函数以及逻辑联结词组合而成的表达式称为复合命题函数。


二、量词

谓词逻辑符号化的两条规则
统一个体域为全总个体域，而对每一个句子中个体变量的变化范围用一元特性谓词刻划之。这种特性谓词在加入到命题函数中时必定遵循如下原则：
1）对于全称量词(Ax)，刻划其对应个体域的特性谓词作为蕴涵式之前件加入。
2）对于存在量词(Ex)，刻划其对应个体域的特性谓词作为合取式之合取项加入。


在使用量词时，应注意的几点：
（5）如有多个量词，则读的顺序按从左到右的顺序；另外，量词对变元的约束，往往与量词的次序有关，不同的量词次序，可以产生不同的真值，此时对多个量词同时出现时，不能随意颠倒它们的顺序，颠倒后会改变原有的含义。

2.3 谓词合式公式与解释

一.定义：
若P(t1, t2, …, tn)是n 元谓词，t1，t2，…，tn是项，则称P(t1, t2, …, tn)为原子谓词公式，简称原子公式。
例如：
L (x, y)
S (x)

2.4 变元的约束

一、定义
给定一个合式公式G，若变元x出现在使用变元的量词的辖域之内，则称变元x的出现为约束出现，此时的变元x称为约束变元。若x的出现不是约束出现，则称它为自由出现，此时的变元x 称为自由变元。
二、量词辖域的确定方法：
（1）若量词后有括号，则括号内的子公式就是该量词的辖域；
（2）若量词后无括号，则与量词邻接的子公式为该量词的辖域。

三、两个规则
规则1(约束变元的改名规则)：
（1）将量词中出现的变元以及该量词辖域中此 变量之所有约束出现都用新的个体变元替换；
（2）新的变元一定要有别于改名辖域中的所有其它变量。
规则2(自由变元的代入规则)：
（1）将公式中出现该自由变元的每一处都用新的个体变元替换；
（2）新变元不允许在原公式中以任何约束形式出现。
改名规则和代入规则的关系
改名规则和代入规则之间的共同点都是不能改变原有的约束关系，而不同点是：
（1）施行的对象不同：改名规则是对约束变元施行，代入规则是对自由变元施行；
（2）施行的范围不同：改名规则可以只对公式中的一个量词及其辖域内施行，即只对公式的一个子公式施行；而代入规则必须对整个公式同一个自由变元的所有自由出现同时施行，即必须对整个公式施行；

2.5 谓词演算中的等价式与蕴涵式

2.6 公式的标准型——前束范式

一、定义
如果公式中的一切量词都位于该公式的最前端(不含否定词)且这些量词的辖域都延伸到公式的末端，称公式是一个前束范式。


二、前束范式的转换方法

2.7 谓词演算的推理理论