离散数学PPT学 谓词逻辑.pptVIP

第三章 谓词逻辑; 本 章 重 难 点;　　　　　为什么引入谓词逻辑？; 一、谓词 二、量词 1. 全称量词?x 2．存在量词?x 3．量词的作用 4．全总个体域 5．举例 三、量化断言和命题的关系 ; 四、 谓词公式 1.原子公式 2. 谓词演算的合式公式 五、?自由变元与约束变元 ???????? 1.量词的辖域 2.自由变元与约束变元 3.约束变元改名规则 ; a.小陈是大学生 b.小张生于苏州 c. 8=3*2 x是大学生 小陈-----客体；是大学生-----谓词： 是大学生刻划了x 的性质 x生于y 生于-----谓词：刻划了x和y的关系 ; 1．定义：代表客体（个体）的变元叫客体（个体）变元。; 2.定义：有N个客体变元的谓词称为N元谓词 谓词命名式中客体变元的取值范围叫客体域 例：论述域a{人}，b{人，地名}，c{实数，实数，实数} 注意：空集不能作为论述域 若A代表一特定谓词，A称为谓词常元。 若A 代表任意谓词，A称为谓词变元。 注：(1)单独的客体或单独的谓词不能构成命题 ;? ?x读作‘对任意x’ ?xP(x)表示：　‘对一切x,P(x)为真’ 　　?x┐P(x)表示： ‘对任意x, ┐P(x)是真’ 　　　┐?xP(x)表示：‘并非对任意x, P(x)是真’ ┐?x┐P(x)表示：‘并非对任意x, ┐P(x)是真’ 　 ;?? ?x读作‘至少有一x’，‘存在一x’ ?x ┐P(x)表示 ‘存在一x，使┐P(x) 为真’ ┐?x ┐P(x)表示 ‘并非存在一个x，使┐ P(x)为真’; 在P(x)，P(x,y)前加上?x或?x，称变元x被存在量 化或全称量化。 ; 任意谓词中任意个体变元的所有个体域称全总个体域。 注：使用全总个体域后，个体变元取值范围一致。 但不同论述对象须用不同的特性谓词加以刻划。 例：F(x)：x是不怕死的 D(x)：x是要死的 M(x)：x是人 解： ① ② 返回目录;4．全总个体域 例： ①??? 若论述域是全人类： 则人总是要死的 可译为 ?xD(x) ??些人不怕死 　可译为 ?x┐D(x) 返回 ;4．全总个体域 ②若论述域是全总个体域：则译为?x(M(x)→D(x)) 注意：不能译为?x(M(x) ?D(x))。 这样意义成为 ‘所有的x，x都是人并且都是要死的’。 ? 全总个体域 ? 人 全总个体域 要死的 ?二条规则 返回 ;4．全总个体域 故得二条规则： ①对全称量词，特性谓词作为蕴含式之前件而加入之。 　　②对存在量词，特性谓词作为合取项而加入之。 返回 ; 5、举例 a， b， c， d， e 注：命题翻译为谓词公式，由于对个体的刻划深度不 同，可译成不同形式的谓词公式。 返回目录 ; 5、举例 a.没有不犯错误的人 解：设F(x)为‘x是犯错误’,M(x)为‘x是人’,则译为: ┐(?x (M(x) ?┐F(x))) 返回 ; b. 某些人对某些食物过敏 解：