假言连锁推理及其他.ppt

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