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

第三章 谓词逻辑 第一节 谓词和量词 第二节 谓词演算的永真公式 第三节 前 束 范 式 本 章 重 难 点 重点： 1、谓词，个体域，全总体域，全称量词，存在量词，谓词公式的定义和理解； 2、谓词公式的符号化形式 3、谓词演算推理中的等价公式 难点： 1、谓词公式的翻译 2、谓词演算的推理理论 为什么引入谓词逻辑？ 著名的苏格拉底三段论问题！ Ｐ：所有的人都是要死的。 Ｑ：苏格拉底是人。 Ｒ：所以苏格拉底是要死的。 无法用命题逻辑推理证明：Ｐ?Ｑ→Ｒ 但用自然语言逻辑可推出Ｒ是有效结论！ 可看出命题逻辑的局限性，由此引出谓词逻辑！ 一、 谓 词 一、 谓 词 一、 谓 词 二、 量 词 二、 量 词 二、 量 词 二、 量 词 三、量化断言和命题的关系 四、谓 词 公 式 2、 谓词演算的合式公式 五、?自由变元与约束变元 五、?自由变元与约束变元 五、?自由变元与约束变元 3、约束变元改名规则 3、约束变元改名规则 一、基 本 定 义 一、基 本 定 义 一、基 本 定 义 二、谓词演算的基本永真公式 3、量词的否定 3、量词的否定 4、量词辖域的扩展和收缩 4、量词辖域的扩展和收缩 5、量词的分配公式 5、量词的分配公式 6、量词对→及?的处理 7、关于多个量词的永真式 7、关于多个量词的永真式 第三节 前 束 范 式 一、前 束 范 式 2、任意谓词公式均可化为前束范式 前 束 范 式 二、前束合取范式和前束合取析取范式 二、前束合取范式和前束合取析取范式 4、谓词演算与推理规则 二、四条重要的推理规则 二、四条重要的推理规则 二、四条重要的推理规则 二、四条重要的推理规则 三． 举 例 三． 举 例 三． 举 例 三． 举 例 三． 举 例 本 章 小 结 本章是因为命题逻辑的局限性才引入的谓词逻辑，重点介绍了谓词和量词及谓词公式的符号化，谓词等价式的转换和谓词演算的推理理论。通过研究命题本身的内部结构关系才看出命题结构的相似性、共通性和公用性。 课后练习和作业 课后练习： P74 ：1（所有奇数题） P75：9，10 P76：12，13 课后作业： P74：1 所有偶数题 P76：11，14 3.存在推广规则 简记为EG规则 P c ?x P x 含义：c是某个确定的个体,若P c 为真,则?x P x 为真 注意：c不能出现在P c 中的x的辖域中 例：?x P c ??z Q c,z ?x ?x P x ? ?zQ x,z 为错 ?x P c ??z Q c,z ?y ?x P y ? ?z Q y,z 正确 返回目录 4.全称推广规则 简记为UG规则 P c ?x P x 含义：若对个体域中每一个客体c，P c 断言为真 则?x P x 为真 P x ?x P x 注意： 1 P x 中的x不是使用ES而引入的。 2 若 x是使用us而自由的，后继推导中，使用ES 而引入的新变元都没有在P x 中自由出现的 情况下,才能使用UG规则。 所以，一般推导中只能先采用ES规则，后采用US规则。 例 返回目录 例：观察下列推理过程 y x+1 1.?x?y P x，y p 2.?y P c，y T　1，US 3.P c，d T　2，ES 4.?y P y，d T　3，UG 5.?y?x P y，x T　4，EG 错在何处？ 第4条错误 例：?x?y （y x+1）正确，但是?y ?x（y x+1）错误 返回 二、四条重要的推理规则 例1：下列推导有何错误？ 1. 1 ?y P y ?Q y P 2 P a ?P b T 1，ES 解： 2 应改为P a ?P a 2. 1 .?xP x → Q x P 2 .P x →Q x P 1，us 解：仅当?x（P x → Q x ）为真时，才能推出： P x →Q x 3. 1 .?xR x ? ?x Q x ?R x P 2 .P a ??x Q x ?R x T 1，ES 解 例2 返回目录 3:应改为 1 .?xR x ?? Q x ?R x P 2 .?x R x ??x Q x ?R x T 1 3 .R a ??x Q x ?R x T 2，ES 返回 三. 举 例 例2.会议的每一个成员都是专家并且都是党员，一些成 员是老人。 所以成员有一些是老党员。 试构造一个证明。 解：设C x 表示‘x是会议成员’。 S x 表示‘x是专家’。 W x 表示‘x是党员’。 O x 表示‘x是老人’。 则 ?x C x → W x ?S x ??x C x ?