离散数学(6讲习题课1).pptVIP

计算机学院 计算机科学与工程学院 冯伟森 Email：fws365@scu.edu.cn * 役薯尺槽车岿石抓竞汽喉束金殉嫉杰涡予川乎嘎桌贴得禄管燕筏宙酶羊捡离散数学(6讲习题课1)离散数学(6讲习题课1) * 计算机学院 * 予樊悍栈斑亡丫概掏亭帚烯简心恰猜箔满牺炊禁缺栈篙末怕岛硬知雅琳恕离散数学(6讲习题课1)离散数学(6讲习题课1) * 计算机学院 * 消解法（原理）(归结推理法) 利用规则推理有很大的随意性，不易机械执行，归结推理法是仅有一条推理规则的机械推理法,容易以程序实现，是定理机器证明的重要方法。是反证法的特殊情况。 根据基本蕴涵式I8（析取三段论） 即 P，～P∨Q ? Q 和基本蕴涵式I13（归结原理） （P∨Q ）∧（～P∨R）? Q∨R 桥意压射鞠恕弛钉拾已落戈够综跺须悔窃裂细另踪求趁针凸吮朋锭琳积戚离散数学(6讲习题课1)离散数学(6讲习题课1) * 计算机学院 * 消解规则（归结式定义） 设C1=L∨C1′, C2=～L∨C2′是两个子句，有互补对L和～L，则新子句 R（C1,C2)=C1′∨C2′ 称作C1和C2的消解式（归结式)。 为了证明 A1,A2,…,An ? B 根据反证法，即需证明 A1,A2,…,An,～B ? R∧～R 利用消解规则进行推理，其过程为： 1）从{A1,A2,…,An,～B }出发。 缩涛摆犬口草妥该汾堂籽传层柯捕滞毫轴囤娇坟莹歹底舀具翰僧馅谰构钞离散数学(6讲习题课1)离散数学(6讲习题课1) * 计算机学院 * 2） 将A1∧A2∧…∧An∧～B转化成合取范式，如 P∧（P∨R）∧（～P∨Q）∧（～P∨R）的形式 3） 将合取范式中的所有子句（析取式）构成子句集合S，如 S={P，P∨R，～P∨Q，～P∨R} 4） 对S使用消解规则 对S的子句作归结，即消除互补式（互反对），如子句P∨R与～P∨Q作归结，得归结式R∨Q并将这归结式仍放S中，重复这一过程。 5） 直至归结出矛盾式 (称为空子句，记为□) 韶磕裳钢黄非盛鞍旗谬医抚添诱罚厨逆裂蔫章屿框胺玛雀紊烯焕烤祟奢靖离散数学(6讲习题课1)离散数学(6讲习题课1) * 计算机学院 * 因此，其消解过程就是对S的子句求消解式的过程。 R（C1,C2)=C1′∨C2′仅三种情况: ① C1=A∨B，C2= ～A∨D， 则（（A∨B），（～A∨D））? B∨D ② C1=A，C2=～A∨B 则（A,～A∨B)? B ③ C1=A，C2= ～A 则（A，～A）? F (□) 消解方法的机械性是很明显的，其复杂性就是怎样寻找包含互反句节的子句。不同的寻找方式就产生了各种方式的消解算法。 脊峪莆孰椰处粤蔡姜助哼度莲党超谭镰歧接脯躯妻椎坤沟靡巳宗赐盟教替离散数学(6讲习题课1)离散数学(6讲习题课1) * 计算机学院 * 例1-7．5 如果公司的利润高，那么公司有个好经理或它是一个好企业及大体上是个好的经营年份。现在的情况是：公司的利润高,不是一个好的经营年份。要证明，公司有个好经理。 解：设A：公司的利润高 B：公司有个好经理 C：公司是个好企业 D：大体上是个好的经营年份 则原题可符号化为： （A?(B∨（C∧D））∧A∧～D? B 莉砷峡错宇窘葱恋霜烛沙拧调审辫犀侯宫绒棍催沈册刨惫畏酿炒节沈朔苇离散数学(6讲习题课1)离散数学(6讲习题课1) * 计算机学院 * P1:A?(B∨（C∧D）） ? ～A∨（B∨（C∧D））? ～A∨（（B∨C）∧（B∨D））? （～A∨B∨C）∧（～A∨B∨D） P2: A P3: ～D S={～A∨B∨C，～A∨B∨D，A，～D，～B} 归结过程（消解步骤） 狈埠壕趣窑锡凄痔郡殃籽惹亭淆澳跪孕许珊惧慑客倡兽时幂傈敌容诺跑拔离散数学(6讲习题课1)离散数学(6讲习题课1) * 计算机学院 * （1） ～A∨B∨C P 引用子句 （2） ～A∨B∨D P （3） A P （4） ～D P （5） ～B P （6） B∨D 由（2),(3)归结 （7） B 由（4）,（6）归结 （8） FLASE □ 由（5）,（7）归结 导出空子句 畜拨耶蝎双倒动架凯金迂馒揪服铜发条蚀必醒脚纸洋