离散数学 - 第三章 谓词逻辑

第三章 谓词逻辑

学习目标

1、理解个体词、谓词、量词得得概念，理解个体变元的个体域的概念，理解量词的辖域。

分析句子 ”x大于3“，其中有两部分，一是句子的主语x，这是一个变量，称为个体词； 二是谓语部分”大于30“，他表示主语的某一性质，称为谓词。可以用P(x)表示句子”x大于3“，其中P表示的是性质，x表示的是变量。
命题中，个体词是指所研究对象中可以独立存在的具体的或抽象的客体，既可以使
写的英文字母 α，b，c，…等来表示；当它表示抽象或泛指的个体时称为个体变项，也称
个体变元或个体变量，多用小写的英文字母 x，y，z，…等来表示。个体变项的取值范围
为个体域，或称论域。论域是个集合，既可以是有穷集合，也可以是无穷集合。包含字
宙中所有事物的论域称为全总个体域。如果没有特别指明某个论域，则隐含所指是在全
总个体域中进行讨论。
定义1：

由一个谓词、一些个体变量组成的表达式称为谓词变项或命题函数。
命题函数不是命题，只有命题函数中的变元都取为特定具体的个体时，才是确定的命题。

命题函数中，表示数量的次称为量词，可以使用量词来表示个体常项和与变项之间的数量关系，即对命题函数进行量化。
量词分为两种，一种是全称量词，二是存在量词
在数学语句中，经常会断定某一性质对变量在某一特定域内的所有值为真，这一特定域为论域，这样的语句用全称量词表示。
定理2：

P(x)的全称量化是命题“P(x)对 x在其论域的所有值为真”。符号∀xP(x)表示 P(x)的全称量化，其中∀称为全称量词。
P(x)的存在量化是命题“论域中存在一个元素×使 P(x)为真”。符号∃xP(x)表示 P(x)的存在量化，其中∃称为存在量词。

2、熟记常用的谓词演算等值公式和蕴涵式。

3、能将所给的谓词公式化为等价的前束范式。

4、掌握谓词演算的推理方法，能进行正确的推理。