【正文】 判斷處理。對當關系邏輯方陣 A 反對關系 E差 等 關 系矛 盾 關 系差 等 關 系 I 下反對關系 O 真值表S、P關系真假判斷的類型S=P全同SP真包含于SP真包含Samp。P交叉S%P全異A++___E+___+I_+++_O__+++性質(zhì)判斷主、謂項的周延性周延：在一個性質(zhì)判斷中，其主項（或謂項）的全部外延都得到形式的斷定。反之，不周延。結論：第一、 全稱判斷的主項都周延（A、E主周）第二、 特稱判斷的主項都不周延（I、O主不周）第三、 肯定判斷的謂項都不周延（A、I謂不周）第四、 否定判斷的謂項都周延（E、O謂周）周延表（前不周，后不周；后不周，前可周可不周）判斷類型主項謂項全肯A周延不周延全否E周延周延特肯I不周延不周延 特否O不周延周延⑥關系判斷：斷定對象之間關系的判斷 構成：關系者項、關系項、量項 二元關系：R（a、b）對稱性——對稱、反對稱、非對稱 傳遞性——傳遞、反傳遞、非傳遞⑦聯(lián)言判斷：斷定幾種事物情況同時存在的判斷。構成：聯(lián)言支，聯(lián)結詞。邏輯形式：p并且q。寫作p∧q （p合取q）。聯(lián)言詞：不但……而且……；既 ……又……；不僅……還……；雖然……但是……⑧選言判斷：斷定幾種可能事物情況至少有一種存在的判斷。構成：選言支，聯(lián)結詞。 相容的選言判斷：斷定幾個選言支中至少有一個為真并且可以同真的選言判斷。邏輯形式 p或者q。寫作p∨q （p析取q）。聯(lián)言詞：也許……也許……等 不相容的選言判斷：斷定幾個選言判斷就是斷定幾個選言支中有并且只有一個為真的選言判斷。邏輯形式：p∨q （p不相容析取q）。聯(lián)言詞：要么……要么……⑨假言判斷：條件判斷。斷定某一事物情況的存在（或不存在）是另一個事物情況存在（或不存在）的條件的判斷。p前件，q后件 充分條件假言判斷：斷定事物情況之間具有充分條件關系的假言判斷。邏輯形式：如果p,那么q。寫作p→q （p蘊涵q）。聯(lián)言詞：如果……那么……；一旦……就…… 必要條件假言判斷：斷定事物情況之間具有必要條件關系的假言判斷。邏輯形式：只有p，才有q。寫作p←q （p逆蘊涵q）。聯(lián)言詞：除非……才……；只有……才…… 充分必要條件假言判斷：斷定事物情況之間具有充分必要條件關系的假言判斷。邏輯形式：p當且僅當q。p223。q （p等值q）。聯(lián)言詞：如果……那么……并且只有…才▲ 如果p是q的充分條件，那么q就是p的必要條件；如果q是p的必要條件，那么p就是q的充分條件。充分條件：p→q有p必有q，沒p未必沒q；沒q必然沒p,有q未必有p 必要條件：p←q沒p必沒q，有p未必有q；有q必有p,沒q未必沒p 充分必要條件：p223。q 有p必有q，沒p必沒q⑩負判斷：否定某個判斷的判斷，又叫判斷的否定。邏輯形式：并非p。寫作﹁p 簡單判斷的負判斷：并非所有S是P 等值于 有些S不是P (非A→O) 并非所有S不是P 等值于 有些S是P (非E→I) 并非有些S是P 等值于 所有S不是P（非I→E） 并非有些S不是P 等值于 所有S是P （非O→A） 并非某個S是P 等值于 某個S不是P 并非某個S不是P 等值于 某個S是P 復合判斷的負判斷：并非（p并且q） 等值于 非p或非q ←都真時真 并非（p或者q） 等值于 非p且非q ←都假時假 并非（要么p，要么q）等值于（p且q）或（非p且非q）一真時真 并非（如果p，那么q）等值于 p并且非q ←前真后假時假 并非（只有p，才q） 等值于非p并且q ←前假后真時假 并非（p當且僅當q）等值于（p且非q）或（非p且q）一真一假時假 并非（并非p） 等值于p←雙重否定 聯(lián)言判斷 選言判斷 假言判斷 負判斷真值表聯(lián)言判斷相容的選言判斷不相容的選言判斷充分條件假言判斷必要條件假言判斷充分必要條件假言負判斷Pqp∧qp∨qP∨qp→qp←qP223。q﹁p++++_+++_+__++_+___+_+++__+_____++++合取析取不相容析取蘊涵逆蘊涵等值非都真時真都假時假一真時真前真后假時假前假后真時假一真一假時假推理2推理：依據(jù)一個或幾個已知的判斷得到另一個新判斷的思維形式。2推理的構成：前提（推理所依據(jù)的判斷）；結論（推理所得到的判斷） 推理的有效性：形式有效性。當且僅當有此推理形式的任一推理都不出現(xiàn)真前提和假結論。（不能通過結論的真假來看有效無效）（推理有效，前提真實）2推理的種類演繹推理：從一般到個別歸納推理：從個別到一般 }根據(jù)思維進程不同類比推理：從個別到個別必然性推理：前提蘊涵結論，前提真，結論一定真或然性推理：前提不蘊涵結論，前提真，結論僅僅可能為真} 前提結論是否有必然聯(lián)系直接推理：以一個判斷為前提推出結論的推理。前提和結論都是性質(zhì)判斷① 對當關系的直接推理：在同一素材的各種性質(zhì)判斷之間進行的推理。（16個有效式）→矛盾關系的推理SAP→￣SOP；SEP→￣SIP； SIP→￣SEP；SOP→￣SAP(技術有限) ￣SAP→SOP；￣SEP→SIP ；￣SIP→SEP；￣SOP→SAP.→差等關系的推理SAP→SIP；SEP→SOP；￣SIP→￣SAP；￣SOP→￣SEP→反對關系的推理SAP→￣SEP；SEP→￣SAP→下反對關系的推理￣SIP→SOP；￣SOP→SIP② 判斷變形的直接推理：通過改變前提的直言判斷的形式從而推出結論的直接推理→改變前提的質(zhì)?？献兎瘢褡兛?換質(zhì)法：通過改變前提的質(zhì)，從而得出結論的直接推理方法 SAP→SE￣P；SEP→SA￣P；SIP→SO￣P；SOP→SI￣P→改變前提的主、謂的位置。 質(zhì)相同，主謂換，前不周后不得周 換位法：通過交換前提中主、謂項的位置從而推出結論的直接推理方法。SAP→PIS； SEP→PES； SIP→PIS ▲O判斷不能換位間接推理：簡單判斷的推理：復合判斷的推理：三段論：由兩個包含著一個共同項的性質(zhì)判斷推出一個新的性質(zhì)判斷的推理。又稱直言三段論。S小項，M中項，P大項；有S的是小前提，有P的是大前提。 三段論的公理：一類對象的全部是什么或不是什么，那么對象中的部分是什么或不是什么。 ▲三段論的一般規(guī)則：三個概念中周延，大項小項莫擴展。一特得特否得否，兩特兩否結論難。 一個正確三段論，有且只有三個不同的項。違反，則犯“四項錯誤”。 中項至少要周延一次。違反，則犯“中項兩次不周延錯誤” 在前提中不周延的項，到結論中不得周延。違反，則犯“大項或小項不當周延” 兩個否定前提推不出結論。 如果前提有一否定，則結論否定；如果結論否定，則前提有一否定。 兩個特稱前提不能推出結論。 如果兩個前提中有一個是特稱的，那么，結論也是特稱的。三段論的格（由中項在前提中的不同位置所構成的三段論的不同形式） 大前提第一格M PS MS —P第二格P MS MS —P第三格M PM SS —P第四格P MM SS —P小前提結論小前提須是肯定的大前提須是全稱的前提中須有一個是否定的大前提須是全稱的小前提須是肯定的結論須是特稱的兩前提有一否定，則大前提全稱若大前提肯定，則小前提全稱如小前提肯定，則結論特稱任何一個前提都不能是特稱否定結論不能是全稱肯定A證明：先把某一格的圖畫出來→用反證法，假設對立面→找出不符合規(guī)則的地方→得出假設不成立題型：，推導具體格三段論的式（前提和結論的質(zhì)、量組合形式）可能式256個，有效式24個，弱式5個第一格第二格第三格第四格AAAAEEAAIAAIEAEEAEEAOEAOAIIAOOAIIAEEEIOEIOEIOEIO（AAI）（AEO）IAIIAI(EAO)(EAO)OAO(AEO)2聯(lián)言推理：前提或結論為聯(lián)言判斷的推理。種類：→分解式：由前提中聯(lián)言判斷的真，推出其任一支判斷真的聯(lián)言推理。 p∧q →p 或 p∧q ∴ q→組合式：由前提中全部支判斷真，推出聯(lián)言判斷真的聯(lián)言推理。 p ，q ∴ p∧q選言推理：前提中有一個是選言判斷的推理。種類：→不相容的選言推理規(guī)則：否定一部分選言支，就要肯定另一部分選言支 肯定一部分選言支，就要否定另一部分選言支否定肯定式：p不相容析取 q ，非p ∴q肯定否定式：p不相容析取 q ， p ∴ 非q→相容的選言推理規(guī)則：否定一部分選言支，就要肯定另一部分選言支 肯定一部分選言支，不能否定另一部分選言支否定肯定式：p∨q ，非p ∴q假言推理：前提中有一個是假言判斷并且根據(jù)假言判斷前后件之間的關系而推出結論的推理。種類→充分條件假言推理（有p必有q）（沒q必沒p）（沒p未必沒q）（有q未必有p）規(guī)則：肯定前件就要肯定后件，否定后件就要否定前件 否定前件不能否定后件，肯定后件不能肯定前件肯定前件式：p→q ，p ∴ q 否定后件式：p→q ，非q ∴非p→必要條件假言判斷（沒p必沒q）（有q必有p）（有p未必有q）（沒q未必沒p） 規(guī)則：否定前件就要否定后件，肯定后件就要肯定前件 肯定前件不能肯定后件，否定后件不能否定前件 否定前件式：p←q ，非p ∴非q 肯定后件式：p←q ，q ∴p→充分必要條件假言判斷（有p必有q）（沒q必沒p）（沒p必沒q）（有q必有p） 規(guī)則：肯定前件就要肯定后件，否定后件就要否定前件 否定前件就要否定后件，肯定后件就要肯定前件 肯定前件式：p223。q ，p ∴q 否定后件式：p223。q ，非q ∴非p 否定前件式：p223。q ，非p ∴非q 肯定后件式：p223。q ，q ∴p