离散数学-一阶谓词逻辑.pptVIP

《离散数学》 课程学时：48 讲 授：杨绍禹 ysy@ncwu.edu.cn;一阶逻辑;例 Ｐ1：小张是大学生 Ｐ2：小李是大学生 Q1：2大于3 Q2：6大于4 不同原子命题之间是有内在联系的，但命题逻辑无法研究这种内在联系 解决问题的方法 分析原子命题，分离其主语和谓语 考虑一般和个别，全称和存在;谓词和量词;(a) 5是质数 (b) 张明生于北京 (c) 7=3×2 P(x)：x是质数 G(x, y)： x生于y ，a：张明，b：北京 H(x, y, z) ：x=y×z;练习;谓词常元 一个字母代表一特定谓词, 则称此字母为谓词常元(量)。例如P(x)表示“x是质数”这种模式的判断,P就是谓词常元。 谓词变元 若字母代表任意谓词, 则称此字母为谓词变元 论域 谓词命名式中个体变元的取值范围 个体域与全总域 空集不能作为论域;命题函数;例 A(x)：x身体好 B(x)：x学习好 C(x)：x工作好 表示“如果x身体不好，则x的学习与工作都不会好”的复合命题函数 ?A(x)→(?B(x)∧?C(x)) 命题函数不是命题，没有确定真值，但其中谓词是谓词常量时，可通过个体指派使其成为命题。如：若简单命题函数P(X)表示“x是质数”，则P(1)为F，P(2)为T。 除个体指派外，还常用“量”作出判断，如：“所有的人都是要死的”、“有的数是质