离散数学5320141119.ppt

* * * * * * * * * * * * * * * * * * * * * * * * * * Colossus——1943的计算机就投入了运行，用于译解德国密码，英国政府1970年之前一直对它保密， 随着计算机技术的发展，计算机的应用越来越广泛，总结出来的相关知识和内容越来越多，同时，需要研究解决的技术问题也越来越多。 * * 主讲教师：常亮 E-mail: changl@guet.edu.cn QQ：737059669 办公室电话: 2291071 手机: 辅导教师：周小川 答疑时间：星期四 上午 10:20-11:50 答疑地点：5教5楼 软件工程教研室 离散数学 内容回顾 等值演算 基本等值式： 第一组：命题逻辑中的基本等值式 + 代换实例 第二组：量词消去律、量词与否定的交换律、量词辖域收缩与扩张律、量词分配律、双量词交换律 演算规则：置换规则、换名规则、代替规则 前束范式 将谓词逻辑公式化为与之等值的前束范式： (1)消去谓词公式中的联结词“?”、“?”； (2)运用量词否定律，将?移到原子谓词公式的前端； (3)进行换名和代替过程，使每个变元都只以一种方式出现； (4)通过量词辖域收缩与扩张律以及量词分配律将所有量词移到公式的前端。 5.3 谓词逻辑推理 谓词逻辑推理：由已知的谓词公式为前提推出结论的谓 词公式的过程。 前提：已知的谓词公式； 结论：由前提出发运用推理规则所推出的谓词公式。 直观例子： 前提：所有实数的平方都是非负的。 π是一个实数。 结论：π的平方是非负的。 有效推理 定义 5.19 对于谓词公式A和B，如果蕴含式A?B是永真式，则称该蕴含式为永真蕴含式或重言蕴含式，记为A?B。 注意：A?B表示“公式A?B为永真式”. 定义 5.20 对于谓词公式A1, A2, …, An和B， 如果A1?A2?…?An?B是永真蕴含式， 则称公式A1, A2, …, An到公式B是一个有效推理， 或者称公式A1, A2, …, An到公式B的推理是有效的。 并称公式A1, A2, …, An是推理的前提， 公式B是以A1, A2, …, An为前提的有效结论。 记为A1, A2, …, An╞ B。 重要的重言蕴涵式 第一组：命题逻辑中推理定律的代换实例 (p129) 附加律 A?(A?B) (?x)A(x) ? (?x)A(x)?(?y)B(y) 化简律 (A?B)?A　 假言推理 A?(A?B) ?B (?x)A(x)?( (?x)A(x)?(?y)B(y)) ? (?y)B(y)　　 拒取式 (A?B)??B??A　 ?(?y)B(y)?((?x)A(x)? (?y)B(y)) ? ?(?x)A(x) 析取三段论 (A?B)??B?A　　　 假言三段论 (A?B)?(B?C)?(A?C)　　 等价三段论 (A?B)?(B?C)?(A?C)　　 构造性二难推理 (A?B)?(C?D)?(A?C)?(B?D)　　 重要的重言蕴涵式 第二组：由基本等值式生成的推理定律 （×2） 命题逻辑中等值式的推广 (16组24个) (P109,159) 消去量词等值式 (2个) 量词与否定的交换等值式 (2个) 量词辖域收缩与扩张等值式 (8个) 量词分配等值式 (5个) 双量词交换等值式(2个) 重要的重言蕴涵式 第三组：几条重要的关于量词分配的常用永真蕴含式 (p169) ① (?x)A(x)?(?x)B(x) ? (?x)(A(x)?B(x)) ② (?x)(A(x)?B(x)) ? (?x)A(x)?(?x)B(x) ③ (?x)(A(x)?B(x)) ? (?x)A(x)?(?x)B(x) ④ (?x)(A(x)?B(x)) ? (?x)A(x)?(?x)B(x) ⑤ (?x)(?y)A(x,y) ? (?x)A(x,x) ⑥ (?x)A(x,x) ? (?x)(?y)A(x,y) ⑦ (?x)(?y)A(x,y) ? (?y)(?x)A(x,y) 注意： (1) ?x (A(x) ? B(x)) ? ?x A(x) ? ?x B(x) (2) ?x (A(x) ? B(x)) ? ?x A(x) ? ?x B(x) (1) ?x (A(x)?B(x)) ? ?x (A(x)?B(x)) (2) ?x (A(x)?B(x)) ? ?x (A(x)?B(x)) 重要的重言蕴涵式 三组重言蕴涵式的作用：用来证明推理的正确性； 证明简单的推理形式 对于复杂的情况使用起来不方便 引入：构造证明法 构造证明推理 待判断的推理为：A1, A2, ?, Ak╞ B 什么是“证明”： 由公式组成的序列；