假言連鎖推理及其他課件

1、假言連鎖推理及其他假言連鎖推理及其他假言連鎖推理及其他2一、假言聯(lián)鎖推理一、假言聯(lián)鎖推理由兩個或兩個的同種條件關(guān)系的假言判斷作前由兩個或兩個的同種條件關(guān)系的假言判斷作前提，推出一個新的假言判斷作結(jié)論的推理提，推出一個新的假言判斷作結(jié)論的推理充分假言聯(lián)鎖推理的肯定式為：充分假言聯(lián)鎖推理的肯定式為：如果如果p，那么，那么q如果如果q，那么，那么r 所以，如果所以，如果p，那么，那么r用蘊涵式表示為：用蘊涵式表示為： （pq）(qr) (pr)否定式的有效式是什么？否定式的有效式是什么？假言連鎖推理及其他3必要條件假言連鎖推理必要條件假言連鎖推理以必要條件假言判斷為前提的假言連鎖推理其以必要條件假言

2、判斷為前提的假言連鎖推理其有效式為有效式為:1、否定式：、否定式：只有只有p,才才q只有只有q,才才r只有只有r,才才t所以，如果非所以，如果非p,則非則非q其蘊含式？其蘊含式？2、肯定式？、肯定式？假言連鎖推理及其他4二、假言選言推理二、假言選言推理 通常是由兩個假言判斷和一個選言判斷作為通常是由兩個假言判斷和一個選言判斷作為前提推出結(jié)論的。由于這種推理常在辯論中前提推出結(jié)論的。由于這種推理常在辯論中使對方對于可選擇的每一種可能情況都難以使對方對于可選擇的每一種可能情況都難以接受，陷于接受，陷于“進退兩難進退兩難”的境地，因而又稱的境地，因而又稱為二難推理。它主要有兩種有效的推理形式。為二難

3、推理。它主要有兩種有效的推理形式。構(gòu)成式構(gòu)成式 假言選言推理的構(gòu)成式是以選言前提的兩個假言選言推理的構(gòu)成式是以選言前提的兩個選言支分別肯定兩個假言前提的前件，從而選言支分別肯定兩個假言前提的前件，從而得出肯定這兩個假言前提的后件的結(jié)論的推得出肯定這兩個假言前提的后件的結(jié)論的推理形式。理形式。假言連鎖推理及其他5三、假言聯(lián)言推理 假言聯(lián)言推理是依據(jù)假言判斷和聯(lián)言判斷的邏輯性假言聯(lián)言推理是依據(jù)假言判斷和聯(lián)言判斷的邏輯性質(zhì)進行的復合判斷推理。它通常是由兩個假言判斷質(zhì)進行的復合判斷推理。它通常是由兩個假言判斷和一個聯(lián)言判斷作為前提，推出一個聯(lián)言判斷結(jié)論。和一個聯(lián)言判斷作為前提，推出一個聯(lián)言判斷結(jié)論。它

4、有兩種主要的推理形式。它有兩種主要的推理形式。 1、肯定式、肯定式 假言聯(lián)言推理肯定式是聯(lián)言前提肯定兩個假言前提假言聯(lián)言推理肯定式是聯(lián)言前提肯定兩個假言前提的前件，從而在結(jié)論中肯定兩個假言前提的后件的的前件，從而在結(jié)論中肯定兩個假言前提的后件的推理形式。推理形式。 這種推理的形式為：這種推理的形式為：如果如果p，那么，那么r如果如果q，那么，那么sp并且并且q 所以，所以，r并且并且s 用蘊涵式表示為：用蘊涵式表示為： （pr）(qs)（pq）（rs）假言連鎖推理及其他62、否定式假言聯(lián)言推理的否定式是在聯(lián)言前提中否定兩假言聯(lián)言推理的否定式是在聯(lián)言前提中否定兩個假言前提的后件，從而在結(jié)論中否定

5、兩個個假言前提的后件，從而在結(jié)論中否定兩個假言前提前件的推理形式。假言前提前件的推理形式。 這種推理的形式為：這種推理的形式為：如果如果p，那么，那么r如果如果q，那么，那么s非非r并且非并且非s 所以，非所以，非p并且非并且非q 用蘊涵式表示為：用蘊涵式表示為：（pr）（qs）（ r s）( p q) 假言連鎖推理及其他7四、不相容選言推理 所謂不相容選言判斷是指不僅陳述選言支至少一真所謂不相容選言判斷是指不僅陳述選言支至少一真而且還陳述了選言支不能同真的選言判斷。這種選而且還陳述了選言支不能同真的選言判斷。這種選言判斷也可稱為不相容選言判斷。排斥選言推理是言判斷也可稱為不相容選言判斷。排斥

6、選言推理是根據(jù)排斥選言判斷的選言支至少一真但不能同真這根據(jù)排斥選言判斷的選言支至少一真但不能同真這一邏輯性質(zhì)所進行的選言推理。它有兩種主要的推一邏輯性質(zhì)所進行的選言推理。它有兩種主要的推理形式：理形式： 1、肯定否定式、肯定否定式 排斥選言推理肯定式是指在前提中肯定排斥選言判排斥選言推理肯定式是指在前提中肯定排斥選言判斷的一個選言支，從而在結(jié)論中否定排斥選言判斷斷的一個選言支，從而在結(jié)論中否定排斥選言判斷的另一個選言支的推理形式。的另一個選言支的推理形式。 這種推理的形式為：這種推理的形式為： 要么要么p，要么，要么q p（或（或q ） 所以，非所以，非q（或非（或非p） 用蘊涵式表示為：用蘊

7、涵式表示為： （pq） （pq）p q （pq） （pq）q p假言連鎖推理及其他82、否定肯定式 排斥選言推理否定肯定式是指在前提中否定排斥選言推理否定肯定式是指在前提中否定排斥選言判斷的一個選言支，從而在結(jié)論中排斥選言判斷的一個選言支，從而在結(jié)論中肯定排斥選言判斷的另一個選言支的推理形肯定排斥選言判斷的另一個選言支的推理形式。式。 不相容選言推理的否定式的形式為：不相容選言推理的否定式的形式為： 要么要么p，要么，要么q 非非p（或非（或非q） 所以，所以，q（或（或p） 用蘊涵式表示為：用蘊涵式表示為： （pq） （pq） pq （pq） （pq） qp假言連鎖推理及其他9誰是兇手？ 在

8、一起兇殺案中，偵查人員了解到以下一些情況：在一起兇殺案中，偵查人員了解到以下一些情況： （1）兇手是甲或乙或丙；）兇手是甲或乙或丙； （2）只有是盜竊殺人案，甲才是兇手；）只有是盜竊殺人案，甲才是兇手； （3）如果是盜竊殺人案，那么被害人的財物會丟失；）如果是盜竊殺人案，那么被害人的財物會丟失； （4）如果乙是兇手，那么案件發(fā)生在中午）如果乙是兇手，那么案件發(fā)生在中午12點以點以后；后； （5）案件發(fā)生在中午）案件發(fā)生在中午12點以前，并且被害人的財點以前，并且被害人的財物沒有丟失。物沒有丟失。假言連鎖推理及其他10由這些情況，可推出什么結(jié)論 某偵查員掌握了以下情況：某偵查員掌握了以下情況： （1）如果）如果A是兇手，則是兇手，則B和和C不可能都不是兇不可能都不是兇手