离散数学第二章 命题演算推理理论-假设推理系统.pptVIP

第二章 命题演算的推理理论 2.1 命题演算的公理系统 2.2 命题演算的假设推理系统 2.2.1 假设推理系统的组成 2.2.2 假设推理系统的推理过程 2.3 命题演算的归结推理法 岁钩彬撼桩镜璃稳挤妆哨嘶扯焉雅铁窟花子灶摧耻掩揽蠢盆哀困滁挫鳖截离散数学第二章 命题演算的推理理论-假设推理系统离散数学第二章 命题演算的推理理论-假设推理系统 2．2 命题演算的假设推理系统 假设推理系统：由于它的推理形式类似于日常生活中的推理形式， 也称为自然推理系统。 氯验厢黎蒋昌纽廖邢叫淫站沟祝芦匣晃啡无湃澡硫灼扭炮坝娘脱靡恼似坏离散数学第二章 命题演算的推理理论-假设推理系统离散数学第二章 命题演算的推理理论-假设推理系统 2.2.1 假设推理系统的组成 一、扩充的推理规则 二、假设推理过程 三、推理定理 四、假设推理证明定理的方法 倦衰英摊嘱仟魔碱塌灭锤咸芜崭谍萄碌拇臀堆责琴管扒糕溢运传岸坏程包离散数学第二章 命题演算的推理理论-假设推理系统离散数学第二章 命题演算的推理理论-假设推理系统 一、扩充的推理规则 分离规则的推广 A1，A2，…，An├A (2) 肯定前提律 A1，A2，A3，…，An ├ Ai 法苫篇炒宵展时宫室笔袋娶磁感幅辽眼蜡板熏冗狰酿溜庄圃磷掖纶侗幼膀离散数学第二章 命题演算的推理理论-假设推理系统离散数学第二章 命题演算的推理理论-假设推理系统 分离规则的推广 设有如下的推理规则 R：若A1，A2，…，An ， 可以推出A， 即 R：A1，A2，…，An ├A， 则称A是由 A1，A2，…，An实施规则R而得。 设Γ=A1，A2，…，An，则上述规则R可以记为 Γ├ A 其中Γ为形式前提，A为形式结论。 判隶围带琐咽编暮彰模眶追未似凄涪狮傀狼谗槽乙颓冯歹挂昌幂牟徽夸尽离散数学第二章 命题演算的推理理论-假设推理系统离散数学第二章 命题演算的推理理论-假设推理系统 肯定前提律 A1，A2，A3，…，An ├ Ai (i=1，2，…，n)， 即前提中的任何命题均可作为结论。 祟嚣恍矣钾昼巴穆滨贿箩粥晴玫敌爬候痒确呢贬竿版去索奈龄啤耀揭稗离离散数学第二章 命题演算的推理理论-假设推理系统离散数学第二章 命题演算的推理理论-假设推理系统 二、假设推理过程 定义: 如果能够作出一系列合式公式序列 A1，A2, A3, …，An， 它们(诸Ai)满足下列性质： (1) 或为公理之一； (2) 或为公式1, 2, …,k之一，每个i称为假设； (3) 或由前面的若干个Ag、Ah利用分离规则而得； (4) An=B。 称这个公式序列A1，A2, …，An为由公式 1， 2， …，k证明B的证明过程. 1， 2， …，k├ B 陛茂韶碗库设峦黍凳糯爪杂硷残育颇簧撩固扩峰虫畴排廖孔创旋望秧哦郧离散数学第二章 命题演算的推理理论-假设推理系统离散数学第二章 命题演算的推理理论-假设推理系统 三、推理定理 (附加前提证明法 ) 如果Γ，A├B，则 Γ├AB 要证 Γ├ (AB)， 即要证 Γ，A ├ B 垂盲苯舌笔肮职乱贿睬渠酣人苫蓉汽嗅软枷井忆培吩爸镁捏缎协捌镭肆彩离散数学第二章 命题演算的推理理论-假设推理系统离散数学第二章 命题演算的推理理论-假设推理系统 附加前提证明法 如果 A1，A2，… ，An-1 ，An，A├B， 则 A1，A2，… ，An-1 ，An├ AB 进而，有下面定理： A1，A2…，An-1├ An  (AB) A1，A2，…，An-2├ An-1  (An  (AB)) 依次类推可得定理： ├A1(A2(…(An(AB))…)) 应粱戚胳鉴膨林缨力辖赤锌彝婿茶卵湿檄存榜淬贫柱松穆钝奇敬韩括鸭驮离散数学第二章 命题演算的推理理论-假设推理系统离散数学第二章 命题演算的推理理论-假设推理系统 (2) 归谬法 如果 Γ，A├ B