命题逻辑的推理理论-证明方法.ppt
《命题逻辑的推理理论-证明方法.ppt》由会员分享,可在线阅读,更多相关《命题逻辑的推理理论-证明方法.ppt(43页珍藏版)》请在咨信网上搜索。
1、2.4 命题逻辑推理理论n2.4.1 推理的形式结构推理的形式结构n推理及其形式结构推理及其形式结构n推理定律推理定律n2.4.2 自然推理系统自然推理系统Pn自然推理系统的定义自然推理系统的定义n证明方法证明方法1.2.4.1 推理的形式结构推理的形式结构一、什么是推理一、什么是推理定定义义2.19 设设A1,A2,Ak,B都都是是命命题题公公式式,若若对对于于每每组组赋赋值值,A1 A2 Ak为为假假,或或者者当当A1 A2 Ak为为真真时时,B也也为为真真,则则称称由由前前提提A1,A2,,Ak推推B的的推推理有效理有效或或推理正确推理正确,并称并称B是是有效的结论。有效的结论。2.定理
2、定理2.8 由前提由前提A1,A2,Ak 推出推出B 的推理正确当且仅当的推理正确当且仅当 A1 A2 Ak B为重言式为重言式.如果把(如果把(A1 A2 Ak)B为永真式记为:为永真式记为:上式的含义?上式的含义?3.二、推理的形式结构二、推理的形式结构定定义义2.20 称称(A1 A2 Ak)B为为由由前前提提 A1,A2,Ak推结论推结论 B 的推理的形式结构。的推理的形式结构。推理的形式结构一般有以下三种:推理的形式结构一般有以下三种:形式形式(1)A1 A2 Ak B 形式形式(2)前提前提:A1,A2,Ak 结论结论:B 形式形式(3)A1,A2,Ak B4.n真值表法真值表法n
3、等值演算法等值演算法n主析取范式法主析取范式法n构造证明法构造证明法判断推理是否正确的方法判断推理是否正确的方法:真值表的方法参见真值表的方法参见P.67例例2.23。5.例例1 判断下面推理是否正确判断下面推理是否正确:(1)若若今今天天是是1号号,则则明明天天是是5号号.今今天天是是1号号.所所以以,明明天天是是5号号.解解 设设 p:今天是今天是1号号,q:明天是明天是5号号 推理的形式结构为推理的形式结构为证明证明 用等值演算法用等值演算法 所以,原推理正确。所以,原推理正确。6.例例1(2)若若今今天天是是1号号,则则明明天天是是5号号.明明天天是是5号号.所所以以,今天是今天是1号
4、。号。解解 设设 p:今天是今天是1号号,q:明天是明天是5号号 推理的形式结构为推理的形式结构为证明证明 用主析取范式法用主析取范式法 这不是一个永真式,这不是一个永真式,01是该公式成假的赋值,是该公式成假的赋值,所以推理不正确。所以推理不正确。7.三、推理规则三、推理规则1、推理规则的定义、推理规则的定义 是一个是一个推理规则推理规则,当且仅当当且仅当 ,其中其中,A1,A2,An 称称为推理规则的为推理规则的前提前提,B 称为推理规则的称为推理规则的结论。结论。8.1)附加规则)附加规则2)化简规则)化简规则3)MP规则规则(假言推理)(假言推理)4)拒取式)拒取式2、常用的推理规则、
5、常用的推理规则9.5)析取三段论)析取三段论6)假言三段论)假言三段论7)合取引入)合取引入8)构造性二难)构造性二难2、常见的推理规则(续)、常见的推理规则(续)10.n注意:注意:(1)推理规则中出现的)推理规则中出现的A、B、C 等是元语言符号;等是元语言符号;(2)直接引用而不需证明,只要说明所引用规则的名称;)直接引用而不需证明,只要说明所引用规则的名称;(3)24个永真公式每个都可以等效为个永真公式每个都可以等效为2个推理规则。个推理规则。11.2.4.2 自然推理系统自然推理系统P自然推理系统自然推理系统P由下述由下述3部分组成部分组成:1.字母表字母表 (1)命题变项符号命题变
6、项符号:p,q,r,pi,qi,ri,(2)联结词联结词:,(3)括号与逗号括号与逗号:(),2.合式公式合式公式一、自然推理系统一、自然推理系统P的定义的定义12.3.推理规则推理规则 (1)前提引入规则前提引入规则 (2)结论引入规则结论引入规则 (3)置换规则置换规则 (4)假言推理规则假言推理规则 (5)附加规则附加规则 (6)化简规则化简规则一、自然推理系统一、自然推理系统P的定义(续)的定义(续)(7)拒取式规则拒取式规则(8)假言三段论规则假言三段论规则(9)析取三段论规则析取三段论规则(10)构造性二难推理构造性二难推理规则规则(11)破坏性二难推理破坏性二难推理规则规则 (1
7、2)合取引入规则合取引入规则13.证证例例2 证明证明前提前提前提前提、,假言三段,假言三段前提前提、,拒取式,拒取式14.二、证明方法二、证明方法 用推理的概念说明一些证明方法的正确性。用推理的概念说明一些证明方法的正确性。为了证明为了证明 ,只需证明,只需证明 A 永假永假即可。即可。(2)后件真证明法)后件真证明法 为了证明为了证明 ,只需证明,只需证明 B 永真永真即可。即可。(1)前件假证明法)前件假证明法15.(3)直接证明法)直接证明法 为了证明为了证明 ,只需证明若,只需证明若 A 为真为真,则,则 B 亦为真亦为真。为了证明为了证明 ,只需证明若,只需证明若 B 为假为假,则
8、,则 A 亦为假。亦为假。(4)间接证明法)间接证明法16.(5)分情况证明法)分情况证明法只需证明对任意的只需证明对任意的 ,均有,均有 。为了证明为了证明 ,(6)附加前提证明法)附加前提证明法只需证明只需证明为了证明为了证明 ,17.附加前提证明法的说明:附加前提证明法的说明:理由理由:(A1 A2 Ak)(CB)(A1 A2 Ak)(C B)(A1 A2 Ak C)B (A1 A2 Ak C)B欲证明欲证明 等价地证明等价地证明前提前提:A1,A2,Ak 前提前提:A1,A2,Ak,C结论结论:CB 结论结论:B18.不相容的概念:不相容的概念:定义定义 若若 是可满足式,则称公是可满
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 命题逻辑 推理 理论 证明 方法
1、咨信平台为文档C2C交易模式,即用户上传的文档直接被用户下载,收益归上传人(含作者)所有;本站仅是提供信息存储空间和展示预览,仅对用户上传内容的表现方式做保护处理,对上载内容不做任何修改或编辑。所展示的作品文档包括内容和图片全部来源于网络用户和作者上传投稿,我们不确定上传用户享有完全著作权,根据《信息网络传播权保护条例》,如果侵犯了您的版权、权益或隐私,请联系我们,核实后会尽快下架及时删除,并可随时和客服了解处理情况,尊重保护知识产权我们共同努力。
2、文档的总页数、文档格式和文档大小以系统显示为准(内容中显示的页数不一定正确),网站客服只以系统显示的页数、文件格式、文档大小作为仲裁依据,平台无法对文档的真实性、完整性、权威性、准确性、专业性及其观点立场做任何保证或承诺,下载前须认真查看,确认无误后再购买,务必慎重购买;若有违法违纪将进行移交司法处理,若涉侵权平台将进行基本处罚并下架。
3、本站所有内容均由用户上传,付费前请自行鉴别,如您付费,意味着您已接受本站规则且自行承担风险,本站不进行额外附加服务,虚拟产品一经售出概不退款(未进行购买下载可退充值款),文档一经付费(服务费)、不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
4、如你看到网页展示的文档有www.zixin.com.cn水印,是因预览和防盗链等技术需要对页面进行转换压缩成图而已,我们并不对上传的文档进行任何编辑或修改,文档下载后都不会有水印标识(原文档上传前个别存留的除外),下载后原文更清晰;试题试卷类文档,如果标题没有明确说明有答案则都视为没有答案,请知晓;PPT和DOC文档可被视为“模板”,允许上传人保留章节、目录结构的情况下删减部份的内容;PDF文档不管是原文档转换或图片扫描而得,本站不作要求视为允许,下载前自行私信或留言给上传者【精****】。
5、本文档所展示的图片、画像、字体、音乐的版权可能需版权方额外授权,请谨慎使用;网站提供的党政主题相关内容(国旗、国徽、党徽--等)目的在于配合国家政策宣传,仅限个人学习分享使用,禁止用于任何广告和商用目的。
6、文档遇到问题,请及时私信或留言给本站上传会员【精****】,需本站解决可联系【 微信客服】、【 QQ客服】,若有其他问题请点击或扫码反馈【 服务填表】;文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“【 版权申诉】”(推荐),意见反馈和侵权处理邮箱:1219186828@qq.com;也可以拔打客服电话:4008-655-100;投诉/维权电话:4009-655-100。