第7章谓词.pptVIP

Discrete Math. , DeRen Chen 第7章 谓词逻辑 §7.1 一阶谓词基本概念 §7.2 谓词公式及其解释 §7.3 谓词公式之间的关系与范式表示 §7.4 谓词演算的推理理论 §7.1 一阶谓词基本概念 一个命题是一个陈述句。陈述句的组成结构？ 例1. 所有的整数都是有理数。 设：Q(x): x是有理数。 Z(x): x是整数。 ?x ( Z(x) → Q(x) ) 例8. 有会说话的机器人。 设：P(x): x是机器人。Q(x): x是会说话的。—— ?x (P(x) ∧ Q(x) ) 例10. 有些人对一些食物过敏。 设：Q(x,y): x 对 y 过敏。 M(x): x 是人。 P(y): y 是食物。 ?x ( M(x) ∧ ?y ( P(y) ∧ Q(x,y) ) ) 例11. 每个人都有一些朋友。 设：P(x,y): x是y的朋友。 M(x): x是人。 ?x ( M(x) → ?y ( M(y) ∧ P(y,x) ) ) §7.2 谓词公式及其解释 §7.3 谓词公式之间的关系与范式表示 ① US规则(全称消去规则) ?x A(x) = A(x) ( ?x A(x) = A(y) 、 ?x A(x) = A(c),c是常元 ) ② ES规则(存在消去规则） ?x A(x) = A(e) ③ UG规则(全称推广规则) A(x) = ?x A(x) ( A(x) = ?y A(y) ) ④ EG规则(存在推广规则) A(x) = ?x A(x) ( A(x) = ?y A(y) ) 7.4.2 推理规则实例 例1. 试证: ?x(A(x)→B(x)), ?xA(x) =?xB(x) 证明: (1) ?x A(x) P (2) A(e) (1),ES (3) ?x (A(x) →B(x)) P (4) A(e) →B(e) (3),US (5) B(e) (2),(4),I (分离规则) (6) ?x B(x) (5),EG 例3. 证明下面论断的正确性: 有些病人喜欢一切医生，但任何病人都不喜欢 庸医。所以凡医生都不是庸医。 解：(1) 翻译 设： L(x,y): x喜欢y。 P(x): x是病人。D(y): y是医生。 Q(y): y是庸医。 则论断译为：?x(P(x)∧?y(D(y)→L(x,y))), ?x(P(x)→?y(Q(y)→?L(x,y))) = ?y(D(y)→? Q(y)) (2) 证明 结束 第 * 页 主语+谓语 张华是大学生。 主语+谓语+宾语 3小于4。 上海在南京与杭州之间。 组 成 例 子 7.1.1 谓词、个体词和个体域 陈述句 = 个体 + 谓词 个体：命题中的主语、宾语。 谓词：命题中的谓语。 定义7.1 个体：可独立存在的具体的或抽象的客体 个体常元：具体的、特指的个体 个体变元：抽象的、泛指某范围内的个体 个体域(论域) —— 个体变元取值的范围，常用D表示，一般是一个集合 全总个体域 —— 最大的(包含全体事物的)个体域 定义7.2 谓词：刻画个体的性质或关系的词 元数：谓词中包含的个体的数目 张华是大学生—— P(a) （令：P(x)：x是大学生。 a：张华） 3小于4。—— Q(3,4) （令： Q(x,y)：x小于y 。 ） 上海在南京与杭州之间。—— R(a,b,c) （令：R(x,y,z)：x在y与z之间。a:上海 b: 南京 c:杭州） 谓词翻译 谓词用大写 字母表示 个体常元用小 写字母表示 简单谓词：不含联结词的谓词 (对应原子命题) 复合谓词：由原子谓