假言连锁推理及其他优秀PPT.ppt
假言连锁推理及其他第1页，本讲稿共11页Free Template from 2一、假言联锁推理一、假言联锁推理由两个或两个的同种条件关系的假言判断作前由两个或两个的同种条件关系的假言判断作前提，推出一个新的假言判断作结论的推理提，推出一个新的假言判断作结论的推理充分假言联锁推理的肯定式为：充分假言联锁推理的肯定式为：如果如果p，那么，那么q如果如果q，那么，那么r 所以，如果所以，如果p，那么，那么r用蕴涵式表示为：用蕴涵式表示为：（pq）(qr)(pr)否定式的有效式是什么？否定式的有效式是什么？第2页，本讲稿共11页Free Template from 3必要条件假言连锁推理必要条件假言连锁推理以必要条件假言判断为前提的假言连锁推理其以必要条件假言判断为前提的假言连锁推理其有效式为有效式为:1、否定式：、否定式：只有只有p,才才q只有只有q,才才r只有只有r,才才t所以，如果非所以，如果非p,则非则非q其蕴含式？其蕴含式？2、肯定式？、肯定式？第3页，本讲稿共11页Free Template from 4二、假言选言推理二、假言选言推理通常是由两个假言判断和一个选言判断作为前通常是由两个假言判断和一个选言判断作为前提推出结论的。由于这种推理常在辩论中使对提推出结论的。由于这种推理常在辩论中使对方对于可选择的每一种可能情况都难以接受，方对于可选择的每一种可能情况都难以接受，陷于陷于“进退两难进退两难”的境地，因而又称为二难推的境地，因而又称为二难推理。它主要有两种有效的推理形式。理。它主要有两种有效的推理形式。构成式构成式假言选言推理的构成式是以选言前提的两个选假言选言推理的构成式是以选言前提的两个选言支分别肯定两个假言前提的前件，从而得出言支分别肯定两个假言前提的前件，从而得出肯定这两个假言前提的后件的结论的推理形式。肯定这两个假言前提的后件的结论的推理形式。第4页，本讲稿共11页Free Template from 5三、假言联言推理假言联言推理是依据假言判断和联言判断的逻辑性质假言联言推理是依据假言判断和联言判断的逻辑性质进行的复合判断推理。它通常是由两个假言判断和一进行的复合判断推理。它通常是由两个假言判断和一个联言判断作为前提，推出一个联言判断结论。它有个联言判断作为前提，推出一个联言判断结论。它有两种主要的推理形式。两种主要的推理形式。1、肯定式、肯定式假言联言推理肯定式是联言前提肯定两个假言前提的前件，假言联言推理肯定式是联言前提肯定两个假言前提的前件，从而在结论中肯定两个假言前提的后件的推理形式。从而在结论中肯定两个假言前提的后件的推理形式。这种推理的形式为：这种推理的形式为：如果如果p，那么，那么r如果如果q，那么，那么sp并且并且q 所以，所以，r并且并且s用蕴涵式表示为：用蕴涵式表示为：（pr）(qs)（p q）（r s）第5页，本讲稿共11页Free Template from 62、否定式假言联言推理的否定式是在联言前提中否定两假言联言推理的否定式是在联言前提中否定两个假言前提的后件，从而在结论中否定两个个假言前提的后件，从而在结论中否定两个假言前提前件的推理形式。假言前提前件的推理形式。这种推理的形式为：这种推理的形式为：如果如果p，那么，那么r如果如果q，那么，那么s非非r并且非并且非s 所以，非所以，非p并且非并且非q用蕴涵式表示为：用蕴涵式表示为：（pr）（qs）（r s）(p q)第6页，本讲稿共11页Free Template from 7四、不相容选言推理所谓不相容选言判断是指不仅陈述选言支至少一真而且所谓不相容选言判断是指不仅陈述选言支至少一真而且还陈述了选言支不能同真的选言判断。这种选言判断也还陈述了选言支不能同真的选言判断。这种选言判断也可称为不相容选言判断。排斥选言推理是根据排斥选言可称为不相容选言判断。排斥选言推理是根据排斥选言判断的选言支至少一真但不能同真这一逻辑性质所进行判断的选言支至少一真但不能同真这一逻辑性质所进行的选言推理。它有两种主要的推理形式：的选言推理。它有两种主要的推理形式：1、肯定否定式、肯定否定式排斥选言推理肯定式是指在前提中肯定排斥选言判断排斥选言推理肯定式是指在前提中肯定排斥选言判断的一个选言支，从而在结论中否定排斥选言判断的另的一个选言支，从而在结论中否定排斥选言判断的另一个选言支的推理形式。一个选言支的推理形式。这种推理的形式为：这种推理的形式为：要么要么p，要么，要么qp（或（或q）所以，非所以，非q（或非（或非p）用蕴涵式表示为：用蕴涵式表示为：（p q）（p q）p q （p q）（p q）q p第7页，本讲稿共11页Free Template from 82、否定肯定式排斥选言推理否定肯定式是指在前提中否定排斥选言推理否定肯定式是指在前提中否定排斥选言判断的一个选言支，从而在结论中排斥选言判断的一个选言支，从而在结论中肯定排斥选言判断的另一个选言支的推理形肯定排斥选言判断的另一个选言支的推理形式。式。不相容选言推理的否定式的形式为：不相容选言推理的否定式的形式为：要么要么p，要么，要么q非非p（或非（或非q）所以，所以，q（或（或p）用蕴涵式表示为：用蕴涵式表示为：（p q）（p q）pq （p q）（p q）qp第8页，本讲稿共11页Free Template from 9谁是凶手？在一起凶杀案中，侦查人员了解到以下一些情况：在一起凶杀案中，侦查人员了解到以下一些情况：（1）凶手是甲或乙或丙；）凶手是甲或乙或丙；（2）只有是盗窃杀人案，甲才是凶手；）只有是盗窃杀人案，甲才是凶手；（3）如果是盗窃杀人案，那么被害人的财物会丢失；）如果是盗窃杀人案，那么被害人的财物会丢失；（4）如果乙是凶手，那么案件发生在中午）如果乙是凶手，那么案件发生在中午12点以后；点以后；（5）案件发生在中午）案件发生在中午12点以前，并且被害人的财物没点以前，并且被害人的财物没有丢失。有丢失。第9页，本讲稿共11页Free Template from 10由这些情况，可推出什么结论 某侦查员掌握了以下情况：某侦查员掌握了以下情况：（1）如果）如果A是凶手，则是凶手，则B和和C不可能都不是凶不可能都不是凶手；手；（2）如果）如果D不是凶手，则不是凶手，则B也不可能是凶手；也不可能是凶手；（3）或者）或者C不是凶手，或者不是凶手，或者D是凶手；是凶手；（4）只有）只有A是凶手，是凶手，E才是凶手；才是凶手；（5）E是凶手。是凶手。第10页，本讲稿共11页Free Template from 11第11页，本讲稿共11页
