推理復合判斷的推理

推理復合判斷的推理第1頁，課件共22頁，創(chuàng)作于2023年2月聯(lián)言推理思考題有三張牌，已知有這樣幾個情況⒈K右邊的兩張牌中至少有一張是A。⒉A左邊的兩張牌中也有一張是A。⒊方塊左邊的兩張牌中至少有一張紅桃。⒋紅桃右邊的兩張牌中也有一張紅桃。問：這三張牌分別是什么？

2第2頁，課件共22頁，創(chuàng)作于2023年2月分析：

先確定左邊的第一張牌，從前提1知，是K，從前提4知，是紅桃。得是紅桃K。再確定右邊的第一張牌，從前提2知，是A，從前提3知，是方塊。得是方塊A。最后確定中間的牌，從前提2知，或是A，或左邊第一張是A，從前提1知，左邊第一張是K，所以，這張牌是A。同理，從前提4知，或是紅桃，或右邊第一張是紅桃但由前提3可知右邊第一張是方塊，所以這一張是紅桃A。3第3頁，課件共22頁，創(chuàng)作于2023年2月二、

選言推理

選言推理是前提中有一選言判斷，依選言判斷的邏輯性質(zhì)進行的推理。分兩種：相容選言推理和不相容選言推理。⒈相容選言推理前提中有一相容判斷，依選言判斷的性質(zhì)進行推理。相容選言判斷斷定選言支至少有一真，也可以都真。4第4頁，課件共22頁，創(chuàng)作于2023年2月相容選言推理規(guī)則

⑴否定一部分選言支，可以肯定另一部分選言支。⑵肯定一部分選言支，不能否定另一部分選言支。大前提為相容選言判斷，小前提和結(jié)論為直言判斷。相容選言推理只有一種正確式，即否定肯定式。（排除法）形式：

p或者qp或者q非p或非q所以，q所以，p符號：

p∨qp∨q┐p或┐q∴q∴p。

5第5頁，課件共22頁，創(chuàng)作于2023年2月⒉不相容選言推理是前提中有一個不相容選言判斷，按不相容選言判斷的規(guī)律進行的推理。不相容選言判斷選言支中至少有且只能有一真，因此規(guī)則如下：⑴否定一個選言支以外的選言支，可以肯定余下的那個選言支。⑵肯定一個選言支，可以否定其他的選言支。其大前提為不相容選言判斷。小前提和結(jié)論為直言判斷。有兩種形式：否定肯定式和肯定否定式

6第6頁，課件共22頁，創(chuàng)作于2023年2月

形式：要么p，要么q要么p，要么q非p或非q所以，q所以，p符號：

p∨qp∨q┐p或┐q∴q∴p否定肯定式

前提中否定一個以外的其余選言支，而結(jié)論中肯定那個未被否定的選言支。注意：這種否定肯定式的規(guī)則①否定除一個以外的其余選言支，就要肯定那個未被否定的選言支。②大前提選言判斷必須窮盡一切可能情況.7第7頁，課件共22頁，創(chuàng)作于2023年2月

形式：要么p，要么q要么p，要么q

p或q所以，非q所以，非p符號：

p∨qp∨q

p或q∴┐q∴┐p肯定否定式其前提中肯定一個選言支，結(jié)論中否定其他選言支。注意：這種肯定否定式的規(guī)則：肯定一個選言支，就要否定其他選言支。要么…要么只用于表達不相容選言判斷?；蛘摺蛘呦嗳?、不相容均可。要根據(jù)語言形式和語境分出。8第8頁，課件共22頁，創(chuàng)作于2023年2月思考題：

四對夫妻，分別姓王、錢、李、周、孫、陳、吳、徐。有以下幾個前提⒈王結(jié)婚的時候，周在做客。⒉周與錢的大衣尺寸、款式、顏色是一樣的。⒊李的愛人是陳的愛人的親表兄。⒋未結(jié)婚前，周、李、徐曾經(jīng)住在一起。⒌陳氏夫妻外出時，吳、徐、周的愛人曾去碼頭送行。問：誰和誰是一對夫妻？（選言推理否定肯定式，排除法）9第9頁，課件共22頁，創(chuàng)作于2023年2月三、假言推理假言推理是前提中有一假言判斷，并依其規(guī)律進行的推理。三種形式：⒈充分條件的假言推理⒉必要條件假言判斷⒊充分必要條件假言判斷10第10頁，課件共22頁，創(chuàng)作于2023年2月⒈充分條件的假言推理前提中有一個充分條件的假言判斷，并依其規(guī)律的推理。充分條件中前、后件的關(guān)系有這樣幾種情況：⑴有前件一定有后件。⑵無前件未必無后件。⑶有后件未必有前件。（簡單記：有p一定有q；）⑷無后件一定無前件。

無q一定無p規(guī)則：肯定前件可以肯定后件。

否定前件不能否定后件。

肯定后件不能肯定前件。無效

否定后件不能肯定前件。所以，有兩個有效式：肯定前件式。否定后件式。

11第11頁，課件共22頁，創(chuàng)作于2023年2月形式\注意①肯定前件式：形式：符號：如果p，則qp→qpp所以，q?！鄎規(guī)則：肯定前件，就要肯定后件。因前件存在，后件一定存在。②否定后件式：形式：符號：如果p，則qp→q

非p

┐p所以，非q?！喋磓否定后件就要否定前件。注意：對一個充分條件假言判斷來說，其后件是其前件的必要條件。

12第12頁，課件共22頁，創(chuàng)作于2023年2月⒉必要條件假言判斷前提中有一個必要條件假言判斷，并依其規(guī)律進行的推理。必要條件假言判斷斷定前、后件的關(guān)系是以下幾種情況：⑴無前件一定無后件。⑵有前件未必有后件。⑶有后件一定有前件。（簡單記：無p一定無q）⑷無后件未必無前件。

有q一定有p規(guī)則：否定前件可以否定后件?？隙ㄇ凹荒芸隙ê蠹＃o效）肯定后件可以肯定前件。否定后件不能否定前件。（無效）

注意：必要條件的假言判斷，前件是后件的必要條件，那么，后件一定是前件的充分條件。所以，有兩個有效式：否定前件式和肯定后件式

13第13頁，課件共22頁，創(chuàng)作于2023年2月兩個有效式①否定前件式：形式：符號：只有p，才qp←q

非p┐p所以，非q?！喋磓規(guī)則：否定前件就要否定后件。②肯定后件式：形式：符號：只有p，才qp←qqq所以，p。∴p規(guī)則：肯定后件，就要肯定前件。14第14頁，課件共22頁，創(chuàng)作于2023年2月兩個無效式

形式只有p，才q只有p，才qp非p所以，q所以，非q15第15頁，課件共22頁，創(chuàng)作于2023年2月⒊充分必要條件假言判斷

前提中有一個充要條件的假言判斷，依其規(guī)律進行推理。充要條件判斷斷定前、后件的關(guān)系有以下幾種情況：⑴有前件必有后件。⑵無前件必無后件。⑶有后件必有前件。⑷無后件必無前件。規(guī)則：肯定前件可以肯定后件。否定前件可以否定后件?？隙ê蠹梢钥隙ㄇ凹７穸ê蠹梢苑穸ㄇ凹?。16第16頁，課件共22頁，創(chuàng)作于2023年2月四個有效式1&2

①肯定前件式：形式：符號：當且僅當p，則qp←→qpp所以，q?！鄎規(guī)則：肯定前件可以肯定后件。②否定前件式形式：符號：當且僅當p，則qp←→q非p┐p所以，非q?！喋磓規(guī)則：否定前件就要否定后件。17第17頁，課件共22頁，創(chuàng)作于2023年2月四個有效式3&4③肯定后件式

形式：符號：當且僅當p，則qp←→qqq所以，p。∴p規(guī)則：肯定后件就要肯定前件。④否定后件式

形式：符號：當且僅當p，則qp←→q非p┐p所以，非q?！喋磓規(guī)則：否定后件就要否定前件。18第18頁，課件共22頁，創(chuàng)作于2023年2月四、二難推理

是由兩個假言判斷和一個二支選言判斷為前提的推理，有兩種形式：簡單構(gòu)成式和簡單破壞式。①簡單構(gòu)成式：形式：符號：如果p，那么rp→r如果q，那么rq→rp或者qp∨q所以，r∴r

特點:⑴前提中兩個假言判斷的前件不同，后件相同。⑵前提中選言判斷的兩個選言支分別肯定兩個假言判斷的前件。⑶結(jié)論是一個直言判斷，它肯定前提中兩個假言判斷的共同的后件。19第19頁，課件共22頁，創(chuàng)作于2023年2月簡單破壞式②簡單破壞式：形式：符號：如果p，則qp→q如果p，則rp→r

或者非q，或者非rp∨q所以，非p∴p

特點:⑴兩個充分條件假言前提的前件相同，后件不同。⑵選言前提的兩個選言支分別否定兩個假言前提的后件。⑶結(jié)論為一個簡單判斷，它否定兩個假言前提相同的前件。20第20頁，課件