1、冯伟森,Email： 2019年10月16日星期三,离散 数学,计算机学院,2019/10/16,计算机学院,2,习题课一,2019/10/16,计算机学院,3,消解法（原理）(归结推理法),利用规则推理有很大的随意性，不易机械执行，归结推理法是仅有一条推理规则的机械推理法,容易以程序实现，是定理机器证明的重要方法。是反证法的特殊情况。根据基本蕴涵式I8（析取三段论）即 P，PQ Q和基本蕴涵式I13（归结原理）（PQ ）（PR） QR,2019/10/16,计算机学院,4,消解规则（归结式定义）,设C1=LC1, C2=LC2是两个子句，有互补对L和L，则新子句R（C1,C2)=C1C2称作
2、C1和C2的消解式（归结式)。为了证明A1,A2,An B根据反证法，即需证明A1,A2,An,B RR 利用消解规则进行推理，其过程为： 1）从A1,A2,An,B 出发。,2019/10/16,计算机学院,5,2） 将A1A2AnB转化成合取范式，如P（PR）（PQ）（PR）的形式3） 将合取范式中的所有子句（析取式）构成子句集合S，如S=P，PR，PQ，PR4） 对S使用消解规则对S的子句作归结，即消除互补式（互反对），如子句PR与PQ作归结，得归结式RQ并将这归结式仍放S中，重复这一过程。5） 直至归结出矛盾式 (称为空子句，记为),2019/10/16,计算机学院,6,因此，其消解过
3、程就是对S的子句求消解式的过程。R（C1,C2)=C1C2仅三种情况: C1=AB，C2= AD，则（AB），（AD） BD C1=A，C2=AB则（A,AB) B C1=A，C2= A则（A，A） F ()消解方法的机械性是很明显的，其复杂性就是怎样寻找包含互反句节的子句。不同的寻找方式就产生了各种方式的消解算法。,2019/10/16,计算机学院,7,例1-75,如果公司的利润高，那么公司有个好经理或它是一个好企业及大体上是个好的经营年份。现在的情况是：公司的利润高,不是一个好的经营年份。要证明，公司有个好经理。 解：设A：公司的利润高 B：公司有个好经理C：公司是个好企业 D：大体上是个
4、好的经营年份则原题可符号化为： （A(B（CD）AD B,2019/10/16,计算机学院,8,P1:A(B（CD） A（B（CD） A（BC）（BD） （ABC）（ABD） P2: A P3: D S=ABC，ABD，A，D，B 归结过程（消解步骤）,2019/10/16,计算机学院,9,（1） ABC P 引用子句 （2） ABD P （3） A P （4） D P （5） B P （6） BD 由（2),(3)归结 （7） B 由（4）,（6）归结 （8） FLASE 由（5）,（7）归结 导出空子句,2019/10/16,计算机学院,10,第一章小结,一、基本概念 命题 命题的解释 原
5、子命题、复合命题 逻辑联结词（、） 命题公式 公式的解释 永真式(重言式) 永假式(矛盾式，不可满足公式) 可满足式,2019/10/16,计算机学院,11,命题公式的等价 替换定理 对偶式 对偶原理 基本等价式命题定律 范式 句节、子句、短语、析取范式、合取范式 极小项-主析取范式 极大项-主合取范式 命题公式的蕴涵 基本蕴含（关系）式,2019/10/16,计算机学院,12,推理规则 P规则（称为前提引用规则） 规则（逻辑结果引用规则） 规则（附加前提规则）,2019/10/16,计算机学院,13,二、基本方法 1、应用基本等价式及置换规则进行等价演算 2、求主析取（主合取）范式的方法 1
6、）公式转换法 2）真值表技术法主合取范式-在命题公式的真值表中，使公式取值0时的解释所对应的全部极大项的合取式。主析取范式-在命题公式的真值表中，使公式取值1时的解释所对应的全部极小项的析取式。,2019/10/16,计算机学院,14,3、推理的各种方法 （1）直接法 （2）利用CP规则 （3）反证法 4、消解法,2019/10/16,计算机学院,15,三、典型例题,1、证明P(QR) (PQ)R,证：P(QR) P(QR)（蕴涵式） P(QR) （蕴涵式）(P Q)R (结合律) (PQ)R (De Morgan定律) (PQ)R （蕴涵式）,2019/10/16,计算机学院,16,2、试证
7、明(P(QR)(P Q R) P 证明： (P(QR)(P Q R) P(QR)(Q R)（分配律）P(QR)(QR) (De Morgan定律)PT（矛盾律）P (同一律),2019/10/16,计算机学院,17,3、证明 (PQ) (PQ) (PQ) (PQ)(PQ) (PQ)(PQ) (De Morgan定律) (PQ)P) (PQ)Q) （分配律） (PP)(QP)(PQ)(QQ) (QP)(PQ) （矛盾律） (QP)(PQ) (De Morgan定律) (QP)(PQ) （蕴涵式） (PQ) （等价式）,2019/10/16,计算机学院,18,4、 G=()，求主析取和主合取范式。
8、 解：首先列出其真值表如下：,极大项,极小项,PQR,PQR,PQR,PQR,PQR,PQR,PQR,PQR,主析取范式=（PQR）（PQR）（PQR）（PQR）（PQR） 主合取范式=（ PQR ）（ PQR ）（PQR）,2019/10/16,计算机学院,19,5、用公式转换法求上题中的主析取和主合取范式 ()（PQ）R （PQ）R （PR）（QR） （PR（QQ）（QR（PP） （PRQ）（PRQ）（QRP）（QRP） （PRQ）（PRQ）（QRP） （主合取范式）()（PQ）R （PQ）R （PQ（RR）（R（PP）（QQ） （PQR）（PQR）（RP）（RP） （PQR）（PQR）（
9、RP（QQ）（RP（QQ） （PQR）（PQR）（RPQ） （RPQ）（RPQ）（RPQ）,（主析取范式）,2019/10/16,计算机学院,20,6、将下面一段程序简化 If AB thenIf BC thenXElseYEnd ElseIf AC thenYElseXEnd End,执行程序段X 的条件为 (AB)（B C）（AB） （AC） （ABC）,If ABC thenYElseXEnd,执行程序段Y的条件为 (AB)（B C）（AB） （AC） ABC,2019/10/16,计算机学院,21,7、习题一 14题 解：由题设 A：A去，B：B去，C：C去，D：D去 则满足条件的选派
10、应满足如下范式： （A（CD）（BC）（CD） 构造和以上范式等价的主析取范式（为什么？） （A（CD）（BC）（CD） （AB C D ）（ABCD）（ABCD）（ABCD）（ABCD）（ABCD）（ABCD）（ABCD）,2019/10/16,计算机学院,22,共有八个极小项，但根据题意，需派两人出差，所以，只有其中三项满足要求：（ABCD），（ABCD），（ABCD）即有三种方案：A和C去或者A和D去或者B和D去。,2019/10/16,计算机学院,23,8、如果今天是星期一，则要进行离散数学或数据结构两门课程中的一门课的考试；如果数据结构课的老师生病，则不考数据结构；今天是星期一，并且
11、数据结构的老师生病。所以今天进行离散数学的考试。解：设P：今天是星期一；Q：要进行离散数学考试；R：要进行数据结构考试；S：数据结构课的老师生病；则PQR，SR，PSQ。,2019/10/16,计算机学院,24,证: PS S ,I2 SR R ,I3 P ,I2 PQR QR ,I3 Q ,I5,2019/10/16,计算机学院,25,9、一位计算机工作者协助公安员审查一件谋杀案，他认为下列情况是真的； （1）会计张某或邻居王某谋害了厂长。 （2）如果会计张某谋害了厂长，则谋害不能发生在半夜。 （3）如果邻居王某的证词是正确的，则谋害发生在半夜。 （4）如果邻居王某的证词不正确，则半夜时屋里
12、灯光未灭。 （5）半夜时屋里灯光灭了，且会计张某曾贪污过。 计算机工作者用他的数理逻辑知识，很快推断出谋害者是谁？请问:谁是谋害者？怎样推理发现他？,2019/10/16,计算机学院,26,解：设P：会计张某谋害了厂长 Q：邻居王某谋害了厂长N：谋害发生在半夜。 O：邻居王某的证词是正确的。R：半夜时屋里灯光灭了。 A：会计张某曾贪污过。 上述案情有如下命题公式：（1）PQ （2）PN （3）ON （4）OR （5）RA,2019/10/16,计算机学院,27,问题是需求证：PQ，PN，ON，OR，RA ？ 证： RA P R T，I2 OR P O T，I4，E19 ON P N T，I3
13、PN P P T，I4 PQ P Q T，I5, PQ，PN，ON，OR，RA Q 结论是：邻居王某谋害了厂长。,2019/10/16,计算机学院,28,10、证明下面论述的有效性。在意甲比赛中，假如有四只球队，其比赛情况如下：如果国际米兰队获得冠军，则AC米兰队或尤文图斯队获得亚军；若尤文图斯队获得亚军，国际米兰队不能获得冠军；若拉齐奥队获得亚军，则AC米兰队不能获得亚军；最后，国际米兰队获得冠军。所以，拉齐奥队不能获得亚军。 解：设P：国际米兰队获得冠军；Q：AC米兰队获得亚军；R：尤文图斯队获得亚军；S：拉齐奥队获得亚军；则原命题可符号化为：PQR，RP，SQ，PS,2019/10/16
14、,计算机学院,29, （S） P（附加前提） S T,E19 SQ P Q T,I2 PQR P P P QR T,I2 R T,I5 RP P P T,I2 PP( F) T,E18所以，拉齐奥队不能获得亚军,2019/10/16,计算机学院,30,11、P19 4 解：根据给定的条件有下述命题： P：珍宝藏在东厢房 Q：藏宝的房子靠近池塘 R：房子的前院栽有大柏树 S：珍宝藏在花园正中地下 T：后院栽有香樟树 M：珍宝藏在附近 根据题意，得出： （QP）（RP）Q（RS）（TM） ？,（QP）（RP）Q（RS）（TM） P（RP）（RS）（TM） R（RS）（TM） S（TM） S 即珍宝
15、藏在花园正中地下,2019/10/16,计算机学院,31,12、P24 2（2） 解：根据给定的条件有下述命题： P：现场无任何痕迹 Q：失窃时，小花在OK厅 R：失窃时，小英在OK厅 S：失窃时，小胖在附近 T：金刚是偷窃者 M：瘦子是偷窃者 则根据案情有如下命题公式： P，QR，S P，Q T， S R，R M,P PSP PS TISR PR TIQR PQ TIQT PT TI 即 金刚是偷窃者,2019/10/16,计算机学院,32,13、若n是偶数，并且n大于5，则m是奇数。只有n是偶数，m才大于6。n是大于5，所以，若m大于6，则m是奇数。 解：设p：n是偶数，q: n大于5,r: m是奇数, s: m大于6. 前提: (pq) r,sp,q 结论：sr 证明: q P sq 扩充法则 （关键）,2019/10/16,计算机学院,33,sq 蕴涵式 sp P (sp)(sq) 合取 s(pq) 蕴涵式 (pq)r P sr 假言三段论,
