假言连锁推理及其他

假言连锁推理及其他第一页，共十一页，2022年，8月28日2一、假言联锁推理由两个或两个的同种条件关系的假言判断作前提，推出一个新的假言判断作结论的推理充分假言联锁推理的肯定式为：如果p，那么q如果q，那么r

所以，如果p，那么r用蕴涵式表示为：（p→q）∧(q→r)→(p→r)否定式的有效式是什么？第二页，共十一页，2022年，8月28日3必要条件假言连锁推理以必要条件假言判断为前提的假言连锁推理其有效式为:1、否定式：只有p,才q只有q,才r只有r,才t所以，如果非p,则非q其蕴含式？2、肯定式？第三页，共十一页，2022年，8月28日4二、假言选言推理通常是由两个假言判断和一个选言判断作为前提推出结论的。由于这种推理常在辩论中使对方对于可选择的每一种可能情况都难以接受，陷于“进退两难”的境地，因而又称为二难推理。它主要有两种有效的推理形式。构成式假言选言推理的构成式是以选言前提的两个选言支分别肯定两个假言前提的前件，从而得出肯定这两个假言前提的后件的结论的推理形式。第四页，共十一页，2022年，8月28日5三、假言联言推理

假言联言推理是依据假言判断和联言判断的逻辑性质进行的复合判断推理。它通常是由两个假言判断和一个联言判断作为前提，推出一个联言判断结论。它有两种主要的推理形式。1、肯定式假言联言推理肯定式是联言前提肯定两个假言前提的前件，从而在结论中肯定两个假言前提的后件的推理形式。这种推理的形式为：如果p，那么r如果q，那么sp并且q

所以，r并且s用蕴涵式表示为：（p→r）∧(q→s)∧（p∧q）→（r∧s）第五页，共十一页，2022年，8月28日62、否定式假言联言推理的否定式是在联言前提中否定两个假言前提的后件，从而在结论中否定两个假言前提前件的推理形式。这种推理的形式为：如果p，那么r如果q，那么s非r并且非s

所以，非p并且非q用蕴涵式表示为：（p→r）∧（q→s）∧（r∧s）→(p∧q)第六页，共十一页，2022年，8月28日7四、不相容选言推理所谓不相容选言判断是指不仅陈述选言支至少一真而且还陈述了选言支不能同真的选言判断。这种选言判断也可称为不相容选言判断。排斥选言推理是根据排斥选言判断的选言支至少一真但不能同真这一逻辑性质所进行的选言推理。它有两种主要的推理形式：1、肯定否定式排斥选言推理肯定式是指在前提中肯定排斥选言判断的一个选言支，从而在结论中否定排斥选言判断的另一个选言支的推理形式。这种推理的形式为：要么p，要么qp（或q）所以，非q（或非p）用蕴涵式表示为：（p∨q）∧（p∧q）∧p→q

（p∨q）∧（p∧q）∧q→p第七页，共十一页，2022年，8月28日82、否定肯定式排斥选言推理否定肯定式是指在前提中否定排斥选言判断的一个选言支，从而在结论中肯定排斥选言判断的另一个选言支的推理形式。不相容选言推理的否定式的形式为：要么p，要么q非p（或非q）所以，q（或p）用蕴涵式表示为：（p∨q）∧（p∧q）∧p→q

（p∨q）∧（p∧q）∧q→p第八页，共十一页，2022年，8月28日9谁是凶手？在一起凶杀案中，侦查人员了解到以下一些情况：（1）凶手是甲或乙或丙；（2）只有是盗窃杀人案，甲才是凶手；（3）如果是盗窃杀人案，那么被害人的财物会丢失；（4）如果乙是凶手，那么案件发生在中午12点以后；（5）案件发生在中午12点以前，并且被害人的财物没有丢失。第九页，共十一页，2022年，8月28日10由这些情况，可推出什么结论

某侦查员掌握了以下情况：（1）如果A是凶手，则B和C不可能都不是凶手；（2）如果D不是凶手，则B也不可能是凶手；（3）或者C