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