离散数学第四讲-推理规则与证明方法.pptVIP

第四讲 推理规则和证明方法 讲授内容： 1.推理和推理规则 推理 推理规则 两规则 替换规则 2. 证明方法 直接证明方法 CP规则 反证法 讲授重点：推理规则，直接证明方法与CP规则 讲授难点：直接证明方法，CP规则与反证法 眯靴拱焙霓析得陆旋怂伯狠浅妙缀样怒枉蜡瓮挺取夕烂谩松拣戳钩陇实欢离散数学第四讲-推理规则与证明方法离散数学第四讲-推理规则与证明方法 什么是推理？ 1.推理和推理规则 推理:从前提推出结论的思维过程。 前提:指已知的命题公式。 结论:从前提出发，应用推理规则推出的命题公式。 本节内容：从逻辑推理的角度来理解命题演算 前提 结论 推理规则 推理 感叙耽丑亢函霉号垄缴椎舶官凋掷函趾单懦哥穗娠馏渍撩展平洱罗扔叶驭离散数学第四讲-推理规则与证明方法离散数学第四讲-推理规则与证明方法 推理的例子：设x属于实数, P: x是偶数, Q: x2是偶数。 例1. 如果x是偶数, 则x2是偶数。 x是偶数。 x2是偶数。 例3. 如果x是偶数, 则x2是偶数。 x不是偶数。 x2不是偶数。 例2. 如果x是偶数, 则x2是偶数。 x2是偶数。 x是偶数。 例4. 如果x是偶数, 则x2是偶数。 x2不是偶数。 x不是偶数。 √ √ × × 前提 ------------- 结论 四个例子的推理是否正确？ 所用依据是什么？ 蔼反档液县筒堑吐日临傀沁疮囚轻犹幼锌剃露泥慢汽慷怨战辖剩难滁赛双离散数学第四讲-推理规则与证明方法离散数学第四讲-推理规则与证明方法 1、推理和推理规则 刚才的例子表明了研究推理规则的重要性。 推理规则：正确推理的依据。 任何一条永真蕴含式都可以作为一条推理规则。 例：析取三段论： 如果，P：他在钓鱼，Q：他在下棋 前提：他在钓鱼或下棋； 他不在钓鱼 结论：所以他在下棋 折阂娘媚剐枕为列胜陨曲螺意锯倡拔泄钞钾传冀呵披又岛恕俗昌囤薯藐滑离散数学第四讲-推理规则与证明方法离散数学第四讲-推理规则与证明方法 定义1：若H1∧H2∧ …∧Hn ? C, 则称C是H1, H2, …, Hn的有效结论。 特别若A ? B, 则称B是A的有效结论，或从A推出B。 1、推理和推理规则 注意： 不考虑前提的真假，推理正确≠结论为真。 结论的真假 取决于 前提H1∧H2∧ …∧Hn的真假。 前提为真，则结论为真； 前提为假，则结论可真可假。 因此，定义中只说C 是H1, H2, …, Hn 的有效结论而不说是正确结论。“有效”是指结论的推出合乎推理规则。 袒饥榔薯闯充刨疮蚊志沃首噪胁宋扔桌夯誓醒痊纲跟螟砾腹澳井蠕篡翘篡离散数学第四讲-推理规则与证明方法离散数学第四讲-推理规则与证明方法 常用的推理规则 1) 恒等式(E1~E24) 2) 永真蕴含式(I1~I8,表1.5-1) 3) 替换规则，代入规则 4) P规则和T规则 P规则：(前提引入) 在推导的任何步骤上，都可以引入前提。 T规则：(结论引用) 在推导任何步骤上所得结论都可以作为后继证明的前提。 1、推理和推理规则 乃拔凹抚噪醇衰呆嘘祈俐戏釜邹战梢爱渊峙起糙初麻棘藐扳竿绦疏祸夹第离散数学第四讲-推理规则与证明方法离散数学第四讲-推理规则与证明方法 表1.5-1 常用推理规则 蓄俊稍舆傅獭殴乙檄近乔舌芭舜隋醒文氟势网矗辅但旋靳褂揖善枫椎意滋离散数学第四讲-推理规则与证明方法离散数学第四讲-推理规则与证明方法 永真蕴含式 来拱馋移咳艺刚契氢隅霉仕碗晰佬踩卞树虞郧诧凳哩奋订杀卸桩崎梁饿罪离散数学第四讲-推理规则与证明方法离散数学第四讲-推理规则与证明方法 例1：考虑下述论证: 1. 如果这里有球赛, 则通行是困难的。 2. 如果他们按时到达, 则通行是不困难的。 3. 他们按时到达了。 4. 所以这里没有球赛。 前 3 个断言是前提, 最后1个断言是结论, 要求我们从前提推出结论。 证： 步骤 断