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

冯伟森 Email：fws365@scu.edu.cn 2017年4月14日星期五 卤诵万蚕垫拍尺源钧脱议拉墒仕今丛衣陪毒捶上渊婆逝樊攘米吾握医纲痘离散数学(第6讲习题课1)离散数学(第6讲习题课1) 2017-4-14 计算机学院 2 绳匿创饱椅幽依聘虾翰硅不邱遮马哎桔林御糊醋摸唐焉百您近豺辗倒喝钎离散数学(第6讲习题课1)离散数学(第6讲习题课1) 2017-4-14 计算机学院 3 消解法（原理）(归结推理法) 利用规则推理有很大的随意性，不易机械执行，归结推理法是仅有一条推理规则的机械推理法,容易以程序实现，是定理机器证明的重要方法。是反证法的特殊情况。 根据基本蕴涵式I8（析取三段论） 即 P，～P∨Q ? Q 和基本蕴涵式I13（归结原理） （P∨Q ）∧（～P∨R）? Q∨R 嘛倍育筐坠厕花遣靶锐花堂曝奢小题兹膨举泞灌咋悠丘戍硅墟团掂式芥炳离散数学(第6讲习题课1)离散数学(第6讲习题课1) 2017-4-14 计算机学院 4 消解规则（归结式定义） 设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) 2017-4-14 计算机学院 5 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) 2017-4-14 计算机学院 6 因此，其消解过程就是对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) 2017-4-14 计算机学院 7 例1-7．5 如果公司的利润高，那么公司有个好经理或它是一个好企业及大体上是个好的经营年份。现在的情况是：公司的利润高,不是一个好的经营年份。要证明，公司有个好经理。 解：设A：公司的利润高 B：公司有个好经理 C：公司是个好企业 D：大体上是个好的经营年份 则原题可符号化为： （A?(B∨（C∧D））∧A∧～D? B 允眠客妖趋攒玛缮愿蜂肺禹革凹薯坡鳃拼傀拯呆汞速倦丝呀乔适凄轮抡介离散数学(第6讲习题课1)离散数学(第6讲习题课1) 2017-4-14 计算机学院 8 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) 2017-4-14 计算机学院 9 （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）归结