推理-復合判斷的推理.pptVIP

1,第六章 復合判斷的推理,一、聯(lián)言推理 其一：合成式 p 結論是聯(lián)言判斷， q 前提是該聯(lián)言判斷的各個聯(lián)言支。 pq 其二：分解式 pq 前提是聯(lián)言判斷， 結論是該聯(lián)言判斷得聯(lián)言支。 p（或q）,2,聯(lián)言推理思考題,有三張牌，已知有這樣幾個情況 K右邊的兩張牌中至少有一張是A。 A左邊的兩張牌中也有一張是A。 方塊左邊的兩張牌中至少有一張紅桃。 紅桃右邊的兩張牌中也有一張紅桃。 問：這三張牌分別是什么？,3,分 析：,先確定左邊的第一張牌，從前提1知，是K，從前提4知，是紅桃。得是紅桃K。 再確定右邊的第一張牌，從前提2知，是A，從前提3知，是方塊。得是方塊A。 最后確定中間的牌，從前提2知，或是A，或左邊第一張是A，從前提1知，左邊第一張是K，所以，這張牌是A。 同理，從前提4知，或是紅桃，或右邊第一張是紅桃但由前提3可知右邊第一張是方塊，所以這一張是紅桃A。,4,二、 選言推理,選言推理是前提中有一選言判斷，依選言判斷的邏輯性質進行的推理。分兩種：相容選言推理和不相容選言推理。 相容選言推理 前提中有一相容判斷，依選言判斷的性質進行推理。相容選言判斷斷定選言支至少有一真，也可以都真。,5,相容選言推理規(guī)則,否定一部分選言支，可以肯定另一部分選言支。 肯定一部分選言支，不能否定另一部分選言支。大前提為相容選言判斷，小前提和結論為直言判斷。相容選言推理只有一種正確式，即否定肯定式。（排除法） 形式： p或者q p或者q 非p 或 非q 所以，q 所以，p,符號： pq pq p 或 q q p。,6,不相容選言推理,是前提中有一個不相容選言判斷，按不相容選言判斷的規(guī)律進行的推理。不相容選言判斷選言支中至少有且只能有一真，因此規(guī)則如下： 否定一個選言支以外的選言支，可以肯定余下的那個選言支。 肯定一個選言支，可以否定其他的選言支。其大前提為不相容選言判斷。小前提和結論為直言判斷。有兩種形式：否定肯定式和肯定否定式,7,否定肯定式,前提中否定一個以外的其余選言支，而結論中肯定那個未被否定的選言支。,注意：這種否定肯定式的規(guī)則否定除一個以外的其余選言支，就要肯定那個未被否定的選言支。大前提選言判斷必須窮盡一切可能情況.,8,肯定否定式,其前提中肯定一個選言支，結論中否定其他選言支。,注意：這種肯定否定式的規(guī)則：肯定一個選言支，就要否定其他選言支。 要么要么只用于表達不相容選言判斷。或者或者相容、不相容均可。要根據語言形式和語境分出。,9,思考題：,四對夫妻，分別姓王、錢、李、周、孫、陳、吳、徐。有以下幾個前提 王結婚的時候，周在做客。 周與錢的大衣尺寸、款式、顏色是一樣的。 李的愛人是陳的愛人的親表兄。 未結婚前，周、李、徐曾經住在一起。 陳氏夫妻外出時，吳、徐、周的愛人曾去碼頭送行。 問：誰和誰是一對夫妻？（選言推理否定肯定式，排除法）,10,三、假言推理,假言推理是前提中有一假言判斷，并依其規(guī)律進行的推理。三種形式： 充分條件的假言推理 必要條件假言判斷 充分必要條件假言判斷,11,充分條件的假言推理,前提中有一個充分條件的假言判斷，并依其規(guī)律的推理。 充分條件中前、后件的關系有這樣幾種情況： 有前件一定有后件。 無前件未必無后件。 有后件未必有前件。（簡單記：有p一定有q；） 無后件一定無前件。 無q一定無p 規(guī)則：肯定前件可以肯定后件。 否定前件不能否定后件。 肯定后件不能肯定前件。 無效 否定后件不能肯定前件。 所以，有兩個有效式：肯定前件式。否定后件式。,12,形式注意,注意：對一個充分條件假言判斷來說，其后件是其前件的必要條件。,13,必要條件假言判斷,前提中有一個必要條件假言判斷，并依其規(guī)律進行的推理。必要條件假言判斷斷定前、后件的關系是以下幾種情況： 無前件一定無后件。 有前件未必有后件。 有后件一定有前件。（簡單記：無p一定無q） 無后件未必無前件。 有q一定有p 規(guī)則：否定前件可以否定后件。 肯定前件不能肯定后件。（無效） 肯定后件可以肯定前件。 否定后件不能否定前件。（無效） 注意：必要條件的假言判斷，前件是后件的必要條件，那么， 后件一定是前件的充分條件。 所以，有兩個有效式：否定前件式和肯定后件式,14,兩個有效式,15,兩個無效式,形式 只有p，才q 只有p，才q p 非p 所以， q 所以，非q,16,充分必要條件假言判斷,前提中有一個充要條件的假言判斷，依其規(guī)律進行推理。充要條件判斷斷定前、后件的關系有以下幾種情況： 有前件必有后件。 無前件必無后件。 有后件必有前件。 無后件必無前件。 規(guī)則：肯定前件可以肯定后件。 否定前件可以否定后件。 肯定后件可以肯定前件。 否定后件可以否定前件。,17,四個有效式 1&2,18,四個有效式 3&4,19,四、二難推理,是由兩個假言判斷和一個二支選言判斷為前提的推理，有兩種形式：簡單構成式和簡單破壞式。,簡單構成式： 形式： 符號： 如果p，那么r pr 如果q，那么r qr p或者q pq 所以，r r,特點: 前提中兩個假言判斷的前件不同，后件相同。 前提中選言判斷的兩個選言支分別肯定兩個假言判斷的前件。 結論是一個直言判斷，它肯定前提中兩個假言判斷的共同的后件。,20,簡單破壞式,特點: 兩個充分條件假言前提的前件相同，后件不同。 選言前提的兩個選言支分別否定兩個假言前提的后件。,結論為一個簡單判斷，它否定兩個假言前提相同的前件。,21,思考題：聰明的囚徒,國王在要