离散数学命题逻辑的推理理论.ppt

上传人:石*** 文档编号:84113720 上传时间:2023-04-02 格式:PPT 页数:18 大小:1.12MB
返回 下载 相关 举报
离散数学命题逻辑的推理理论.ppt_第1页
第1页 / 共18页
离散数学命题逻辑的推理理论.ppt_第2页
第2页 / 共18页
点击查看更多>>
资源描述

《离散数学命题逻辑的推理理论.ppt》由会员分享,可在线阅读,更多相关《离散数学命题逻辑的推理理论.ppt(18页珍藏版)》请在taowenge.com淘文阁网|工程机械CAD图纸|机械工程制图|CAD装配图下载|SolidWorks_CaTia_CAD_UG_PROE_设计图分享下载上搜索。

1、1现在学习的是第1页,共18页推理的形式结构推理的形式结构问题的引入问题的引入推理推理:从前提出发推出结论的思维过程从前提出发推出结论的思维过程前提是指已知的命题公式,结论是推出的命题公式前提是指已知的命题公式,结论是推出的命题公式例例如果天气凉快,小王就不去游泳如果天气凉快,小王就不去游泳.天气凉快天气凉快.所以小王所以小王没有去游泳没有去游泳.p:天气凉快,天气凉快,q:小王去游泳小王去游泳前提:前提:(p q)p 结论:结论:q问题:如何判断推理的是否正确?问题:如何判断推理的是否正确?现在学习的是第2页,共18页推理的形式结构推理的形式结构定义定义“A1,A2,Ak推推B”的的推理正确

2、推理正确当且仅当当且仅当A1 A2 AkB为重言式为重言式.若对于每组赋值,若对于每组赋值,A1 A2 Ak为假,或为假,或当当A1 A2 Ak为真时为真时,B也为真也为真,则称由则称由A1,A2,Ak推推B的的推理正确推理正确,否则否则推理不正确(错误)推理不正确(错误).推理的形式结构推理的形式结构:A1 A2 AkB 或或前提:前提:A1,A2,Ak结论:结论:B若推理正确,则记作:若推理正确,则记作:A1 A2 AkB.现在学习的是第3页,共18页判断推理是否正确的方法判断推理是否正确的方法真值表法真值表法等值演算法等值演算法主析取范式法主析取范式法构造证明法构造证明法 说明:当命题变

3、项比较少时,用前说明:当命题变项比较少时,用前3 3个方法比较方个方法比较方 便便,此时采用此时采用形式结构形式结构“A1 A2 AkB”.当命题变项比较多时,用当命题变项比较多时,用构造证明法,构造证明法,采用采用“前提前提:A1,A2,Ak,结论结论:B”.现在学习的是第4页,共18页实例实例例例判断下面推理是否正确判断下面推理是否正确(1)若今天是若今天是1号,则明天是号,则明天是5号号.今天是今天是1号号.所所以明天是以明天是5号号.解解设设p:今天是:今天是1号,号,q:明天是:明天是5号号.证明的形式结构为证明的形式结构为:(pq)pq证明(用等值演算法)证明(用等值演算法)(pq

4、)pq(p q)p)q pq q1得证推理正确得证推理正确现在学习的是第5页,共18页实例实例(续续)(2)若今天是若今天是1号,则明天是号,则明天是5号号.明天是明天是5号号.所以今天是所以今天是1号号.解解设设p:今天是:今天是1号,号,q:明天是:明天是5号号.证明的形式结构为证明的形式结构为:(pq)qp证明(用主析取范式法)证明(用主析取范式法)(pq)qp(p q)qp(p q)q)p q p(pq)(pq)(pq)(p q)m0 m2 m3结果不含结果不含m1,故故01是成假赋值,所以推理不正确是成假赋值,所以推理不正确.现在学习的是第6页,共18页推理定律推理定律重言蕴涵式重言

5、蕴涵式 重要的推理定律重要的推理定律 A(A B)附加律附加律(A B)A化简律化简律(AB)AB假言推理假言推理(AB)B A拒取式拒取式(A B)BA析取三段论析取三段论(AB)(BC)(AC)假言三段论假言三段论(AB)(BC)(AC)等价三段论等价三段论(AB)(CD)(A C)(B D)构造性二难构造性二难现在学习的是第7页,共18页推理定律推理定律(续续)(AB)(AB)(AA)B构造性二难(特殊形式)构造性二难(特殊形式)(AB)(CD)(BD)(AC)破坏性二难破坏性二难说明:说明:若某推理符合某条推理定律,则它自然是正确的若某推理符合某条推理定律,则它自然是正确的AB产生两条

6、推理定律产生两条推理定律:A B,B A现在学习的是第8页,共18页推理规则推理规则 (1)前提引入规则前提引入规则(2)结论引入规则结论引入规则(3)置换规则置换规则(4)假言推理规则假言推理规则 AB A B(5)附加规则附加规则AA B(6)化简规则化简规则 A B A(7)拒取式规则拒取式规则 AB BA(8)假言三段论规则假言三段论规则ABBCAC现在学习的是第9页,共18页推理规则推理规则(续续)(11)破破坏坏性性二二难难推推理理规则规则ABCD BDAC(12)合取引入规则合取引入规则ABA B(9)析取三段论规则析取三段论规则A B BA(10)构构造造性性二二难难推推理理规

7、则规则ABCDA CB D现在学习的是第10页,共18页构造证明构造证明直接证明法直接证明法例例构造下面推理的证明:构造下面推理的证明:若明天是星期一或星期三,我就有课若明天是星期一或星期三,我就有课.若有课,今若有课,今天必备课天必备课.我今天下午没备课我今天下午没备课.所以,所以,明天不是星期一和星期三明天不是星期一和星期三.解解设设p:明天是星期一,:明天是星期一,q:明天是星期三,:明天是星期三,r:我有课,:我有课,s:我备课:我备课形式结构为形式结构为前提:前提:(p q)r,rs,s结论:结论:pq现在学习的是第11页,共18页直接证明法直接证明法(续续)证明证明rs前提引入前提

8、引入 s前提引入前提引入 r拒取式拒取式(p q)r前提引入前提引入(p q)拒取式拒取式 pq置换置换现在学习的是第12页,共18页构造证明构造证明附加前提证明法附加前提证明法 欲证明欲证明前提:前提:A1,A2,Ak结论:结论:CB等价地证明等价地证明前提:前提:A1,A2,Ak,C结论:结论:B理由:理由:(A1 A2 Ak)(CB)(A1 A2 Ak)(C B)(A1 A2 Ak C)B(A1 A2 Ak C)B现在学习的是第13页,共18页附加前提证明法附加前提证明法(续续)例例构造下面推理的证明构造下面推理的证明:2是素数或合数是素数或合数.若若2是素数,则是素数,则是无理数是无理

9、数.若若是无理数,则是无理数,则4不是素数不是素数.所以,如果所以,如果4是是素数,则素数,则2是合数是合数.用附加前提证明法构造证明用附加前提证明法构造证明解解设设p:2是素数,是素数,q:2是合数,是合数,r:是无理数,是无理数,s:4是素数是素数形式结构形式结构前提:前提:p q,pr,rs结论:结论:sq现在学习的是第14页,共18页附加前提证明法附加前提证明法(续续)证明证明s附加前提引入附加前提引入pr前提引入前提引入rs前提引入前提引入ps假言三段论假言三段论 p拒取式拒取式p q前提引入前提引入q析取三段论析取三段论请用直接证明法证明之请用直接证明法证明之现在学习的是第15页,

10、共18页构造证明构造证明归谬法(反证法)归谬法(反证法)欲证明欲证明前提:前提:A1,A2,Ak结论:结论:B将将 B加入前提,若推出矛盾,则得证推理正确加入前提,若推出矛盾,则得证推理正确.理由理由:A1 A2 AkB(A1 A2 Ak)B(A1 A2 AkB)括号内部为矛盾式当且仅当括号内部为矛盾式当且仅当(A1 A2 AkB)为为重言式重言式现在学习的是第16页,共18页归谬法归谬法(续续)例例构造下面推理的证明构造下面推理的证明前提:前提:(p q)r,rs,s,p结论:结论:q证明(用归缪法)证明(用归缪法)q结论否定引入结论否定引入rs前提引入前提引入 s前提引入前提引入 r拒取式拒取式现在学习的是第17页,共18页归谬法归谬法(续续)(p q)r前提引入前提引入(p q)析取三段论析取三段论 pq置换置换 p析取三段论析取三段论p前提引入前提引入 p p合取合取请用直接证明法证明之请用直接证明法证明之现在学习的是第18页,共18页

展开阅读全文
相关资源
相关搜索

当前位置:首页 > 教育专区 > 大学资料

本站为文档C TO C交易模式,本站只提供存储空间、用户上传的文档直接被用户下载,本站只是中间服务平台,本站所有文档下载所得的收益归上传人(含作者)所有。本站仅对用户上传内容的表现方式做保护处理,对上载内容本身不做任何修改或编辑。若文档所含内容侵犯了您的版权或隐私,请立即通知淘文阁网,我们立即给予删除!客服QQ:136780468 微信:18945177775 电话:18904686070

工信部备案号:黑ICP备15003705号© 2020-2023 www.taowenge.com 淘文阁