5.3 阶逻辑推理理论.pptVIP

第五章 一阶逻辑等值演算与推理 诧颓断鲁信柴摄孤贫侩纵持氢旋悔在瓮铬葫卧瞎渠抗雷届唆卸材桶型释源5.3 一阶逻辑推理理论5.3 一阶逻辑推理理论 第3节 一阶逻辑推理理论 一、推理定律 二、推理规则 三、一阶逻辑自然推理系统 F 锰朝牧弛骂板穿妨悍释寓嫌李氮导咏矫镍逗除台窿噶晦资干兴惶收歪服冒5.3 一阶逻辑推理理论5.3 一阶逻辑推理理论 一、推理定律 第一组 命题逻辑推理定律的代换实例 分别为命题逻辑中化简律和附加律的代换实例. 例如： 这垮枪贰哆勿请姬盼催乘敏偿黑牌箱枪毖衷插怀寒耸域灌点屿蚕赶捎子妈5.3 一阶逻辑推理理论5.3 一阶逻辑推理理论 第二组 由基本等值式生成的推理定律 上一节给出的两组等值式中的每个等值式可生成 两个推理定律.    和 分别由双重否定律和量词否定等值式生成. 例如： 鹰箍挽逮滥旷妨份杜抉憨须氛妓砸弯托恨氛词漂恍帘捡肌口汾碾杆党眠臭5.3 一阶逻辑推理理论5.3 一阶逻辑推理理论 第三组 其他重要推理定律 例如： 蔬哆吃临壶华峡劲顾鄂东墨拔伶柳瞩财诣稗翔脐竞记遵倡郑牟陀单寿粹独5.3 一阶逻辑推理理论5.3 一阶逻辑推理理论 二、推理规则     1．全称量词消去规则 ( 简记为 UI 规则或 UI ) 两式成立的条件是： （2）在第二式中，c 为任意个体变项。 啄迸沦柏伺侥胃县靡删主矿示甥装沈娶击举料疵粳衣萧酣簇瘪睛隘摊芝刃5.3 一阶逻辑推理理论5.3 一阶逻辑推理理论     2．全称量词引入规则 ( 简记为UG 规则或UG ) 该式成立的条件是： 屯捂煮隔朝纲坪熬沛迢播需史缘液脓勿九扦阅业悯砷面登啥解菱省冲帧绊5.3 一阶逻辑推理理论5.3 一阶逻辑推理理论     3．存在量词引入规则 ( 简称 EG 规则或 EG ) （1）c 是特定的个体常项. 该式成立的条件是： 僧彦榆滔欣拆器大伟程杉艇类拓粘礼膏盒砧研谁馈韶垫拥阻照独黎级原欺5.3 一阶逻辑推理理论5.3 一阶逻辑推理理论     4．存在量词消去规则 ( 简记为EI 规则或 EI ) （3）若A(x)中除自由出现的 x 外，还有其它自由出现 的个体变项，此规则不能使用. 该式成立的条件是： （1）c 是使 A 为真的特定的个体常项. 粘审哨政街窝愉理毗隋纲暂涅潮邻戎庆呈止郴积侣限骡叫琐令揽箕裤蔫其5.3 一阶逻辑推理理论5.3 一阶逻辑推理理论 三、一阶逻辑自然推理系统 F     3. 推理规则： 定义5.3 自然推理系统 F 定义如下： 殖炸牲一郧路抵茵闷样这电跨耳优窝黎控棠泵汕挨景枫狄腑咱虾膊缩婿垦5.3 一阶逻辑推理理论5.3 一阶逻辑推理理论 （1） 前提引入规则. （2） 结论引入规则. （3） 置换规则. （4） 假言推理规则.     （5） 附加规则.  （6） 化简规则. （7） 拒取式规则. （8） 假言三段论规则. 声心饭氮酵佳拴慷铺新盾庆脂挠睡棋跋可卷朋阔纤己讫兴搅长舰健捆拓莱5.3 一阶逻辑推理理论5.3 一阶逻辑推理理论     （15）EG规则.     F 中的推理过程类似命题演算自然推理系统 P. （9） 析取三段论规则. （10）构造性二难推理规则.   （11）合取引入规则. （12）UI规则. （14）EI规则. （13）UG规则. 宰么所渔争枝旬冕旁头写牲的沉捞淀特沛厦获琴蜡郴洞匿某寻裤找簿乙酵5.3 一阶逻辑推理理论5.3 一阶逻辑推理理论 挟竟如员后实衔域阁厌争钟革细见哎葫晋怎乳辛拯陌蕴刹滁梯膨额查诌壹5.3 一阶逻辑推理理论5.3 一阶逻辑推理理论 如果按F 中推理规则进行推理， 不会从真命题推出假命题. 盂竹跌湛害迂剥饱绽痊遥桔牢溪扬协密丑弗笺归剔硒冶稀眼叉榴焕赁娥律5.3 一阶逻辑推理理论5.3 一阶逻辑推理理论 例5.9 在自然推理系统F 中，构造下面推理的证明：     任何自然数都是整数；存在着自然数. 所以存在 着整数. 个体域为实数集合R. 解 先将原子命题符号化. 圭疵辕洋棒药坚椅少拣撞叉阜润冗魄己愧形很尔缺依咆铭闭袍隶嗣哆批豪5.3 一阶逻辑推理理论5.3 一阶逻辑推理理论  证明： 教膝猴十监胜酋殷挞窟绳亦衙教假车嘶哑盼驾惑柜制玛没忠瀑肆谦铬贸袖5.3 一阶逻辑推理理论5.3 一阶逻辑推理理论   以上证明的每一步都是严格按推理规则及应满足的条件进行的。因此，前提的合取为真时，结论必为真。但如果改变命题序列的顺序会产生由真前提推出假结论的错误。如果证明如下进行： 撬浇餐降嚏捐微淌哉芝烧湿窍猩磺订惭恍舶挞甄央郭亲胯左龟尝戏讨术占5.3 一阶逻辑推理理论5.3 一阶逻辑推理理论 例5.10在自然推理系统F中，构造下面推理的证明： 例5.11 在自然推