离散数学Chap 2 谓词逻辑.pptx

;引例1：

P：3是素数Q：5是素数

引例2：

P：人是动物Q：动物会死R：人会死;在命题逻辑中，原子命题是最小的组成单位，不可再分，但实际中有必要对原子命题进行进一步地分析、细化、类比，引入新的概念和符号系统，即谓词、量词以及相应的推理规则。

此即谓词逻辑。;例1：3是素数，5是素数

其中，“3”和“5”是客体，是描述对象；

“是素数”刻画客体的性质，我们称其为谓词.

记P(x):x是素数。

则P(3):3是素数，P(5):5是素数。;例2：王朗出生于芜湖。

其中，“王朗”和“芜湖”是客体，

“出生于”刻画了客体之间的关系，我们也称其为谓词.

记P(x,y):x出生于y