离散数学之二 谓词逻辑

---

前言：命题逻辑的局限性

一、谓词的概念与表示

1、谓词的概念

在命题逻辑中，命题是能够判断真假的陈述句，从语法上分析，一个陈述句由主语和谓语两部分组成。
◆ 主语是谓语陈述的对象（称为客体或个体），指出谓语说的是“谁”或者“什么”；
◆ 谓语是用来陈述主语的，说明主语“怎么样”或者“是什么”（称为谓词）。

2、谓词的表示

定义1：个体词是指所研究对象中可以独立存在的具体的或抽象的个体。表示具体的、特指的个体词，称为个体常元，常用小写字母a，b， c，… 来表示。表示抽象的、泛指的或在一定范围内变化的个体词，称为个体变元，常用小写字母x，y，z，… 来表示。

定义2：用来刻画一个个体的性质或多个个体之间关系的词，称为谓词，谓词也有常元和变元之分。表示具体性质或关系的谓词称为谓词常元，表示抽象的、泛指的性质或关系的谓词称为谓词变元。无论是谓词常元还是谓词变元都用大写英文字母P，Q，R，… 或带下标的英文字母来表示。

3、命题的表示方法

❖ 用谓词表达命题，必须包括个体和谓词字母两个部分。
❖ 单独一个谓词不是完整的命题，必须在谓词字母后填以客体才能表示命题。谓词字母后填以客体所得的式子称为谓词填式。
❖ 对于给定的命题，当用表示其客体的小写字母和表示其谓词的大写字母来表示时，规定把小写字母写在大写字母右侧的圆括号( )内。

❖ A(b)， G(t) 称作一元谓词；
❖ B(a,b)称作二元谓词。
❖ 推广到n元谓词：A是谓词，a1，a2，…an是客体的名称，则A(a1，a2，…an)是n元谓词。
❖ 一元谓词表达了客体的性质。
❖ 多元谓词表达了客体之间的关系，在多元谓词中客体的次序非常重要，不能随意更换。

---

二、命题函数与量词

1、命题函数

简单命题函数：由一个谓词、一些客体变元组成的表达式称为简单命题函数。

复合命题函数：由一个或n个简单命题函数以及逻辑联结词组合而成的表达式称复合命题函数。
逻辑联结词┐、∧、∨、→、 的意义与命题演算中的解释完全类似。

2、个体域

在命题函数中，个体变元的论述范围称作个体域(或称论域)，用符号D表示。个体域可以是有限的，也可以是无限的。

3、量词

表示数量的词为量词。量词有两种，包括“全称量词”和“存在量词”。

1.全称量词

2.存在量词

3.特性谓词

---

三、谓词公式与翻译

1、原子公式

n元谓词A(x1, x2,…, xn) 称为谓词演算的原子公式，其中x1, x2,…, xn是个体变元。

2、合式公式

3、翻译

把一个文字叙述的命题，用谓词公式表示出来，称为谓词逻辑的翻译或符号化。

---

四、变元的约束

1、定义

指导变元、作用域、约束变元、自由变元
◆(∀x)P(x)或(∃x)P(x)中 ∀， ∃后面所跟的x叫做量词的指导变元或作用变元，P(x)称为相应量词的作用域或辖域。
◆在∀x和∃x的辖域中，x的所有出现都称为约束出现，相应的x称为约束变元； P(x)中除约束变元以外出现的变元称为是自由变元。

2、量词的辖域

3、换名规则与代入规则

1.换名规则

2.代入规则

3.注意

4、有限论域客体变元的枚举

---

五、谓词演算的等价与蕴含式

1、谓词公式的赋值、等价、分类

2、命题公式的推广

3、量词与¬联结词之间的关系（量词转换律）

4、量词作用域的扩张与收缩

5、量词分配等价式

6、量词与命题联结词之间的一些蕴含式

7、一些等价式和蕴含式

8、多个量词的使用

---

六、前束范式

1、前束范式的定义

2、前束范式的求法

3、前束合取范式

4、前束析取范式

---

七、谓词演算的推理理论

1、量词消去和添加规则

1. 全称指定规则：US规则 (任意x)P(x)蕴含P( c)

2. 全称推广规则：UG规则 P( c)蕴含(任意x)P(x)

3. 存在指定规则：ES规则 (存在x)P(x) 蕴含P( c)

4. 存在推广规则：EG规则 P( c)蕴含(存在x)P(x)

5. 四个推理规则使用时的限制条件

2、例题

八、本章小结