假言连锁推理及其他课件

《假言连锁推理及其他课件》由会员分享，可在线阅读，更多相关《假言连锁推理及其他课件（11页珍藏版）》请在装配图网上搜索。

1、假言连锁推理及其他假言连锁推理及其他假言连锁推理及其他2一、假言联锁推理一、假言联锁推理由两个或两个的同种条件关系的假言判断作前由两个或两个的同种条件关系的假言判断作前提，推出一个新的假言判断作结论的推理提，推出一个新的假言判断作结论的推理充分假言联锁推理的肯定式为：充分假言联锁推理的肯定式为：如果如果p，那么，那么q如果如果q，那么，那么r 所以，如果所以，如果p，那么，那么r用蕴涵式表示为：用蕴涵式表示为：（pq）(qr)(pr)否定式的有效式是什么？否定式的有效式是什么？假言连锁推理及其他3必要条件假言连锁推理必要条件假言连锁推理以必要条件假言判断为前提的假言连锁推理其以必要条件假言判断

2、为前提的假言连锁推理其有效式为有效式为:1、否定式：、否定式：只有只有p,才才q只有只有q,才才r只有只有r,才才t所以，如果非所以，如果非p,则非则非q其蕴含式？其蕴含式？2、肯定式？、肯定式？假言连锁推理及其他4二、假言选言推理二、假言选言推理 通常是由两个假言判断和一个选言判断作为通常是由两个假言判断和一个选言判断作为前提推出结论的。由于这种推理常在辩论中前提推出结论的。由于这种推理常在辩论中使对方对于可选择的每一种可能情况都难以使对方对于可选择的每一种可能情况都难以接受，陷于接受，陷于“进退两难进退两难”的境地，因而又称的境地，因而又称为二难推理。它主要有两种有效的推理形式。为二难推理

3、。它主要有两种有效的推理形式。构成式构成式 假言选言推理的构成式是以选言前提的两个假言选言推理的构成式是以选言前提的两个选言支分别肯定两个假言前提的前件，从而选言支分别肯定两个假言前提的前件，从而得出肯定这两个假言前提的后件的结论的推得出肯定这两个假言前提的后件的结论的推理形式。理形式。假言连锁推理及其他5三、假言联言推理 假言联言推理是依据假言判断和联言判断的逻辑性假言联言推理是依据假言判断和联言判断的逻辑性质进行的复合判断推理。它通常是由两个假言判断质进行的复合判断推理。它通常是由两个假言判断和一个联言判断作为前提，推出一个联言判断结论。和一个联言判断作为前提，推出一个联言判断结论。它有两

4、种主要的推理形式。它有两种主要的推理形式。1、肯定式、肯定式 假言联言推理肯定式是联言前提肯定两个假言前提假言联言推理肯定式是联言前提肯定两个假言前提的前件，从而在结论中肯定两个假言前提的后件的的前件，从而在结论中肯定两个假言前提的后件的推理形式。推理形式。这种推理的形式为：这种推理的形式为：如果如果p，那么，那么r如果如果q，那么，那么sp并且并且q 所以，所以，r并且并且s 用蕴涵式表示为：用蕴涵式表示为：（pr）(qs)（pq）（rs）假言连锁推理及其他62、否定式假言联言推理的否定式是在联言前提中否定两假言联言推理的否定式是在联言前提中否定两个假言前提的后件，从而在结论中否定两个个假言

5、前提的后件，从而在结论中否定两个假言前提前件的推理形式。假言前提前件的推理形式。这种推理的形式为：这种推理的形式为：如果如果p，那么，那么r如果如果q，那么，那么s非非r并且非并且非s 所以，非所以，非p并且非并且非q 用蕴涵式表示为：用蕴涵式表示为：（pr）（qs）（r s）(p q)假言连锁推理及其他7四、不相容选言推理 所谓不相容选言判断是指不仅陈述选言支至少一真所谓不相容选言判断是指不仅陈述选言支至少一真而且还陈述了选言支不能同真的选言判断。这种选而且还陈述了选言支不能同真的选言判断。这种选言判断也可称为不相容选言判断。排斥选言推理是言判断也可称为不相容选言判断。排斥选言推理是根据排斥

6、选言判断的选言支至少一真但不能同真这根据排斥选言判断的选言支至少一真但不能同真这一逻辑性质所进行的选言推理。它有两种主要的推一逻辑性质所进行的选言推理。它有两种主要的推理形式：理形式：1、肯定否定式、肯定否定式 排斥选言推理肯定式是指在前提中肯定排斥选言判排斥选言推理肯定式是指在前提中肯定排斥选言判断的一个选言支，从而在结论中否定排斥选言判断断的一个选言支，从而在结论中否定排斥选言判断的另一个选言支的推理形式。的另一个选言支的推理形式。这种推理的形式为：这种推理的形式为：要么要么p，要么，要么q p（或（或q）所以，非所以，非q（或非（或非p）用蕴涵式表示为：用蕴涵式表示为：（pq）（pq）p

7、 q （pq）（pq）q p假言连锁推理及其他82、否定肯定式 排斥选言推理否定肯定式是指在前提中否定排斥选言推理否定肯定式是指在前提中否定排斥选言判断的一个选言支，从而在结论中排斥选言判断的一个选言支，从而在结论中肯定排斥选言判断的另一个选言支的推理形肯定排斥选言判断的另一个选言支的推理形式。式。不相容选言推理的否定式的形式为：不相容选言推理的否定式的形式为：要么要么p，要么，要么q 非非p（或非（或非q）所以，所以，q（或（或p）用蕴涵式表示为：用蕴涵式表示为：（pq）（pq）pq （pq）（pq）qp假言连锁推理及其他9谁是凶手？在一起凶杀案中，侦查人员了解到以下一些情况：在一起凶杀案中

8、，侦查人员了解到以下一些情况：（1）凶手是甲或乙或丙；）凶手是甲或乙或丙；（2）只有是盗窃杀人案，甲才是凶手；）只有是盗窃杀人案，甲才是凶手；（3）如果是盗窃杀人案，那么被害人的财物会丢失；）如果是盗窃杀人案，那么被害人的财物会丢失；（4）如果乙是凶手，那么案件发生在中午）如果乙是凶手，那么案件发生在中午12点以点以后；后；（5）案件发生在中午）案件发生在中午12点以前，并且被害人的财点以前，并且被害人的财物没有丢失。物没有丢失。假言连锁推理及其他10由这些情况，可推出什么结论 某侦查员掌握了以下情况：某侦查员掌握了以下情况：（1）如果）如果A是凶手，则是凶手，则B和和C不可能都不是凶不可能都不是凶手；手；（2）如果）如果D不是凶手，则不是凶手，则B也不可能是凶手；也不可能是凶手；（3）或者）或者C不是凶手，或者不是凶手，或者D是凶手；是凶手；（4）只有）只有A是凶手，是凶手，E才是凶手；才是凶手；（5）E是凶手。是凶手。假言连锁推理及其他11