普通邏輯入門

普通邏輯入門第一頁，共一百一十二頁，編輯于2023年，星期日第一章緒論對“邏輯”的理解邏輯一詞的來歷Logic邏輯一詞的含義4種含義邏輯學的分類邏輯學辯證形式傳統(tǒng)數理（現代）第二頁，共一百一十二頁，編輯于2023年，星期日思維——人在頭腦中運用概念做出判斷進行推理的過程

思維形式：概念、判斷（命題）、推理思維的形式結構——邏輯學的研究對象思維的邏輯形式所有的事物都是發(fā)展的所有的犯罪行為都是違法行為所有的楊樹都是落葉喬木所有的…都是…所有的S都是P第三頁，共一百一十二頁，編輯于2023年，星期日如果過度砍伐森林，那么就會破壞生態(tài)環(huán)境如果物體摩擦，那么物體生熱如果…那么…如果p，那么q思維的邏輯形式都有兩個部分構成邏輯常項邏輯變項所有的…都是…如果…那么…SPpq

A→

SAPp→q第四頁，共一百一十二頁，編輯于2023年，星期日思維的邏輯規(guī)律同一律矛盾律排中律思維的邏輯方法邏輯學——普通邏輯的研究對象思維的邏輯形式思維的邏輯規(guī)律思維的邏輯方法第五頁，共一百一十二頁，編輯于2023年，星期日第二章概念概念是反映對象特有屬性的思維形式

對象的屬性——對象自身的性質及事物之間的關系特有屬性和本質屬性概念與語詞第六頁，共一百一十二頁，編輯于2023年，星期日概念的內涵和外延內涵——反映在概念中的對象的特有(本質)屬性外延概念的質的規(guī)定性（是什么）——具有概念所反映的特有(本質)屬性的對象概念的量的規(guī)定性（有哪些）概念所指的對象——概念的邏輯特征第七頁，共一百一十二頁，編輯于2023年，星期日概念的種類單獨概念普遍概念——外延只有一個外延有兩個以上——外延數量集合概念非集合概念類—類分子(整體—部分)集合體—個體正概念負概念論域人是由猿猴進化而來的人是由父母所生的第八頁，共一百一十二頁，編輯于2023年，星期日

小結

根據概念外延的數量，概念分為單獨概念和普遍概念；根據概念內涵的不同：（1）概念分為集合概念和非集合概念（概念所反映的對象是否為集合體）（2）概念分為正概念和負概念（概念所反映的對象是否具有某種屬性）一個概念不只是屬于某種劃分中的一個種類，而是可以分別屬于幾種不同劃分中的三個種類。例如：“秘書”這個概念既是一個普遍概念，又是一個非集合概念，也是一個正概念。第九頁，共一百一十二頁，編輯于2023年，星期日概念間的關系——概念間的外延關系一、同一關系（全同關系）aab審判機關法院兩概念外延完全重合的關系外延相同：a=b，內涵是有差別的:a≠b所有的a都是b，并且所有的b也都是a第十頁，共一百一十二頁，編輯于2023年，星期日在語境許可的情況下，具有同一關系的概念可以交替使用，這樣既可以避免表述重復，又可以豐富表達的內容。例如：“中國”，“我的母親”，“世界上人口最多的國家”這三個概念是同一關系，使用在不同的場合會取得不同的修辭效果。內涵與外延完全相同的叫同物異名。如“馬鈴薯”和“土豆”。第十一頁，共一百一十二頁，編輯于2023年，星期日二、真包含關系一個概念的部分外延和另一個概念的全部外延相重合ab學生大學生二、真包含于關系一個概念的全部外延和另一個概念的部分外延相重合ab學生大學生屬種關系所有的b都是a，但有的a不是b所有的a都是b，但有的b不是a第十二頁，共一百一十二頁，編輯于2023年，星期日真包含關系與真包含于關系是相對互逆的，人們把它們合稱為屬種關系。在具有屬種關系的概念中，外延大的概念稱為屬概念，外延小的概念稱為種概念。第十三頁，共一百一十二頁，編輯于2023年，星期日四、交叉關系兩個概念各有部分外延相重合的關系ab教師科學家有的a是b，有的b是a五、全異關系(不相容關系)ab風馬所有的a都不是b，所有的b也不是是a第十四頁，共一百一十二頁，編輯于2023年，星期日

特殊的全異關系——矛盾關系、反對關系

只有真包含于同一屬概念的兩個種概念之間，才會存在矛盾關系和反對關系

1.矛盾關系a+b=cabc2.反對關系abca+b＜c區(qū)別第十五頁，共一百一十二頁，編輯于2023年，星期日矛盾關系的特點：（1）兩個種概念之和等于屬概念的外延；（2）沒有第三個概念存在。反對關系也叫做對立關系，有三個以上則是并列關系。在語言的使用上，反對概念并列使用，可以起到很好的效果。

《可愛的中國》：“我相信到那時，到處都是活躍的創(chuàng)造，到處都是日新月異的進步，歡歌將代替了悲嘆，笑臉將代替了哭臉，富裕將代替了貧窮，康健將代替了疾苦，智慧將代替了愚昧，友愛將代替了仇殺，生之快樂將代替了死之悲哀，明媚的花園將代替了凄涼的荒地?！钡谑?，共一百一十二頁，編輯于2023年，星期日概念的限制與概括概念的內涵和外延間的內涵越多，外延越小；內涵越少，外延越大反變關系概念內涵外延學生大學生大、中、小在校生高校生大第十七頁，共一百一十二頁，編輯于2023年，星期日應注意的問題：1.這種反變關系不是數學上可以用數值精確計算的比例關系，只是一種大致趨勢。2.普通邏輯揭示的這種反變關系，目的是為明確概念提供一種邏輯方法，它是概念進行限制和概括的邏輯依據。3.這種反變關系只限于普通邏輯的眼界——只研究概念形式的抽象性，而撇開了概念內容的具體性。這與辯證邏輯的眼界不同。第十八頁，共一百一十二頁，編輯于2023年，星期日概念的限制增加內涵縮小外延屬→種政法機關→法院→→→→→→→人民法院高級人民法院上海市高級人民法院概念的概括減少內涵擴大外延種→屬上海市高級人民法院高級人民法院人民法院法院政法機關第十九頁，共一百一十二頁，編輯于2023年，星期日“三大紀律八項注意”中紀律的提法：由“不拿工人農民一點東西?！备臑椤安荒萌罕娨会樢痪€”。由“打土豪要歸公?！备臑椤盎I款要歸公”，又進一步改為“一切繳獲要歸公”。劉曉慶在《我的路》中說：“做人難。做女人難。做名女人更難。做單身的名女人，難乎其難。”第二十頁，共一百一十二頁，編輯于2023年，星期日定義定義是一種明確概念內涵的邏輯方法刑法定義的構成被定義項：某一個其內涵需要明確的概念是規(guī)定犯罪和刑罰的法律定義項：用來明確被定義概念的那些概念定義聯(lián)項：聯(lián)結被定義項和定義項的聯(lián)結詞定義的公式DS就是DP第二十一頁，共一百一十二頁，編輯于2023年，星期日定義的種類和下定義的方法真實定義語詞定義被定義概念=種差+鄰近的屬概念說明性規(guī)定性定義的規(guī)則1．定義項的外延和被定義項的外延應完全相同DS=DP定義過寬定義過窄DS＜

DPDS＞DP第二十二頁，共一百一十二頁，編輯于2023年，星期日2．定義項不能直接或者間接包含被定義項同語反復定義循環(huán)3．定義必須清楚明確定義不清以比喻代定義4．定義一般用肯定形式定義否定第二十三頁，共一百一十二頁，編輯于2023年，星期日劃分劃分是一種明確概念外延的邏輯方法劃分的構成劃分的母項：某一個被劃分（外延需要明確）的概念劃分的子項：劃分以后所得到的概念劃分的標準：劃分所依據的對象的某種屬性思維形式可以分為概念、判斷、推理第二十四頁，共一百一十二頁，編輯于2023年，星期日劃分的種類和方法一次劃分連續(xù)劃分刑罰主刑附加刑有期徒刑無期徒刑死刑罰金剝奪政治權利……二分法劃分復分法劃分人可以分為成年人和非成年人法律可以分為國內法、國際法；古代法、現代法；實體法、程序法；憲法、刑法、民法等等第二十五頁，共一百一十二頁，編輯于2023年，星期日劃分的規(guī)則1．劃分后的母項和子項的外延要完全相等劃分不全多出子項2．每一次劃分須按統(tǒng)一標準進行標準不同一3．劃分后得到的子項應相互排斥子項相容第二十六頁，共一百一十二頁，編輯于2023年，星期日第三章判斷判斷判斷是對思維對象有所斷定的思維形式貪污罪是故意罪太平洋比印度洋的面積大如果天下雨，那么地上濕犯罪行為必然是違法行為第二十七頁，共一百一十二頁，編輯于2023年，星期日判斷的真假二值邏輯真假邏輯值真假值真第二十八頁，共一百一十二頁，編輯于2023年，星期日判斷的分類判斷模態(tài)判斷——包含有模態(tài)詞非模態(tài)判斷復合判斷簡單判斷復合判斷是判斷自身包含有其他判斷的判斷如果某人犯罪，那么某人就要受到法律的制裁肢判斷肢判斷聯(lián)結詞：如果…那么…（常項）肢判斷：p、q、r、s、t…（變項）第二十九頁，共一百一十二頁，編輯于2023年，星期日性質判斷性質判斷是斷定對象具有或不具有某種性質的判斷犯罪行為是危害社會的行為有些被告不是罪犯有的犯罪是故意犯罪過失犯罪沒有犯罪動機第三十頁，共一百一十二頁，編輯于2023年，星期日3．聯(lián)項：主、謂項之間的聯(lián)結詞性質判斷的形式結構有四個部分組成1．主項：判斷的陳述對象2．謂項：表示陳述對象的性質4．量項：表示主項數量范圍的概念（S）（P）聯(lián)項是不是——肯定——否定質全稱特稱單稱所有的、一切、凡…有的、有些、有…這個、那個…變項常項量第三十一頁，共一百一十二頁，編輯于2023年，星期日性質判斷的種類全稱肯定判斷犯罪行為是危害社會的行為凡S是PSAPA全稱否定判斷過失犯罪沒有犯罪動機凡S不是PSEPE特稱肯定判斷有些犯罪是故意犯罪有S是PSIPI特稱否定判斷有些罪犯不是男性有S不是PSOPO第三十二頁，共一百一十二頁，編輯于2023年，星期日性質判斷的真值表SP

SP

PSSP

SPSAPSEPSIPSOPFTTTTTTTTTFFFFFFFFFT第三十三頁，共一百一十二頁，編輯于2023年，星期日

A、O/E、I

不同真，不同假

——矛盾關系

A、E

同假，不同真

——（上）反對關系

I、O

同真，不同假

——下反對關系

A、I/E、O——差等關系●性質判斷的對當關系●性質判斷的對當關系是指同素材的性質判斷之間所具有的真假制約關系。第三十四頁，共一百一十二頁，編輯于2023年，星期日

A

(上)反對

E

差

差

等

等

I

下反對

O

◎

邏輯方陣圖

◎第三十五頁，共一百一十二頁，編輯于2023年，星期日性質判斷項的周延性問題周延性是判斷對其項的外延的斷定如果一個判斷對其某項的全部外延作斷定，則該項是周延的；如一判斷沒有對其某項的全部外延作斷定，則該項是不周延的。第三十六頁，共一百一十二頁，編輯于2023年，星期日項的周延性表主項（S）謂項（P）A周延不周延E周延周延I不周延不周延O不周延周延第三十七頁，共一百一十二頁，編輯于2023年，星期日關系判斷關系判斷是斷定對象之間關系的判斷一個關系判斷由關系者項、關系項、量項三部分組成

我比你年長。小張與小王是戀人。上海在北京的東南方向。很多人認識你哥哥。黃山比九華山高。第三十八頁，共一百一十二頁，編輯于2023年，星期日關系判斷的構成

關系者項

a、b、c…

關系項

R關系判斷的公式

aRbR（a、b、c…）第三十九頁，共一百一十二頁，編輯于2023年，星期日復合判斷之負性質判斷●負判斷：由否定一個判斷所構成的判斷所有的案件都是刑事案件P

并非所有的案件都是刑事案件并非P●負判斷的邏輯形式并非P﹁P

P●負判斷的邏輯特性負判斷的真假與其肢判斷的真假之間的關系第四十頁，共一百一十二頁，編輯于2023年，星期日負判斷的真值表FT并非P為真當且僅當P為假PTF﹁P﹁PP假﹁P﹁PP﹁P假P﹁﹁

P雙重否定律第四十一頁，共一百一十二頁，編輯于2023年，星期日負性質判斷

SAPSEPSIPSOP﹁SAP﹁SEP﹁SIP﹁SOP﹁SAPSOP﹁SEPSIP﹁SIPSEP﹁SOPSAP●任何一個判斷的負判斷都等值于原判斷的矛盾判斷第四十二頁，共一百一十二頁，編輯于2023年，星期日聯(lián)言判斷（并存關系）聯(lián)言判斷是陳述若干事物情況同時存在的復合判斷張三犯有搶劫罪和殺人罪雖然他的認罪態(tài)度較好，但是他的罪行是嚴重的聯(lián)言判斷的結構由肢判斷和聯(lián)結詞構成聯(lián)言判斷的肢判斷：p、q、r……聯(lián)言判斷的聯(lián)結詞：并且聯(lián)言判斷的邏輯形式：p并且qp∧q第四十三頁，共一百一十二頁，編輯于2023年，星期日聯(lián)言判斷的邏輯特性真值表：定義作用、判定作用

pq

TTTFFTFF第四十四頁，共一百一十二頁，編輯于2023年，星期日聯(lián)言判斷的邏輯特性pqTTTFFTFFp∧qTFFFp∧q真,當且僅當p真并且q真﹁(p∧q)p∨q第四十五頁，共一百一十二頁，編輯于2023年，星期日選言判斷（選擇關系）選言判斷是陳述幾種可能的事物情況中至少有一種情況存在的復合判斷

某人學習成績不好，或者是因為基礎差、或者是因為不努力、或者是因為方法欠佳……

某人要么是正常死亡，要么是非正常死亡相容的選言判斷邏輯形式：p或者q符號式：p∨q第四十六頁，共一百一十二頁，編輯于2023年，星期日相容選言判斷的邏輯特性pqp∧qp∨qTTTTFFFTFFFFTTTF第四十七頁，共一百一十二頁，編輯于2023年，星期日不相容選言判斷陳述幾種可能的情況中至少有一種情況存在并且只能有一種情況存在的選言判斷這個三角形，要么是直角的，要么是銳角的，要么是鈍角的。聯(lián)結詞：要么……要么……邏輯形式：要么p,要么q符號式：p∨q，第四十八頁，共一百一十二頁，編輯于2023年，星期日不相容選言判斷的邏輯特性pqp∧qp∨qp∨qTTTTTFFTFTFTFFFF，，﹁（p∨q）∨FTTF（p∧q）（p∧q）第四十九頁，共一百一十二頁，編輯于2023年，星期日假言判斷（條件關系）有條件地陳述事物情況的復合判斷肢判斷：p（前件）q（后件）對象間的條件聯(lián)系：

物體生熱摩擦火烤日曬通電……

特點：有前件必有后件，無前件未必無后件有p必有q，無p，q不定——充分條件第五十頁，共一百一十二頁，編輯于2023年，星期日莊稼豐收選擇良種精耕細作合理施肥水份適宜……特點：無前件必無后件，有前件未必有后件無p必無q，有p，q不定——必要條件三邊相等三角相等特點：有前件必有后件，無前件必無后件有p必有q，無p必無q——充要條件第五十一頁，共一百一十二頁，編輯于2023年，星期日充分條件假言判斷陳述某一事物情況是另一事物情況存在的充分條件的假言判斷

如果某人作案，那么某人就有作案時間聯(lián)結詞：如果……那么……邏輯形式：如果p，那么q符號式：

p→q第五十二頁，共一百一十二頁，編輯于2023年，星期日充分條件假言判斷的邏輯特性pqp→qTTTFFTFFTFTT﹁（p→q）（p→q）﹁（p∧q）（p→q）p∨qp∧q第五十三頁，共一百一十二頁，編輯于2023年，星期日必要條件假言判斷陳述某一事物情況是另一事物情況存在的必要條件的假言判斷

只有認識錯誤，才能改正錯誤聯(lián)結詞：

只有……才……邏輯形式：

只有p，才q符號式：

p←q第五十四頁，共一百一十二頁，編輯于2023年，星期日必要條件假言判斷的邏輯特性pqp→qp←qTTTTFFFTTFFTTTFT﹁（p←q）（p←q）﹁（p∧q）（p←q）p∧qp∨q第五十五頁，共一百一十二頁，編輯于2023年，星期日充分和必要假言判斷的轉換pqp→qp←qTTTTTFFTFTTFFFTT（p←q）（p→q）（p→q）（q→p）（q←p）（p→q）（q←p）第五十六頁，共一百一十二頁，編輯于2023年，星期日充要條件假言判斷陳述某一事物情況是另一事物情況存在的充要條件的假言判斷偶數，當且僅當能被2整除聯(lián)結詞：…當且僅當…

當且僅當…才…邏輯形式：p當且僅當q

當且僅當p，才q符號式：pq第五十七頁，共一百一十二頁，編輯于2023年，星期日充要條件假言判斷的邏輯特性pqp→qp←qpqTTTTTFFTFTTFFFTTTFFT（pq）（p→q）∧（p←q）﹁（pq）（p→q）∧（p←q）﹁（pq）﹁（pq）（p→q）∨（p←q）（p∧q）∨（p∧q）（pq）（p∧q）（p∧q）∨第五十八頁，共一百一十二頁，編輯于2023年，星期日復合判斷關系的真值表判定

﹁（p→q）p∧qpqpqTTFFTFFTFTTFFFTTTFTT﹁（p→q）FTFFFTFFp→qp∧q第五十九頁，共一百一十二頁，編輯于2023年，星期日復合判斷關系的真值表判定pqpqTTFFTFFTFTTFFFTT﹁（p

q）（p∧q）∨（p∧q）﹁（pq）（p∧q）∨（p∧q）TTFFFFTTTTFFFFFFFFTT第六十頁，共一百一十二頁，編輯于2023年，星期日第四章演繹推理推理：從一個或幾個已知判斷中得出一個新判斷的思維形式推理的結構成分：

前提

結論前提、結論（……所以……）推出→第六十一頁，共一百一十二頁，編輯于2023年，星期日推理結論的真實由前提推出結論的過程合乎推理規(guī)則

——推理形式有效(與前提真假無關)推理結論真實的條件：

1、前提真實

2、推理合乎邏輯第六十二頁，共一百一十二頁，編輯于2023年，星期日推理的分類推理必然性推理或然性推理(演繹推理)(非演繹推理)簡單判斷的推理復合判斷的推理歸納推理類比推理一般到個別個別到一般個別到個別或一般到一般第六十三頁，共一百一十二頁，編輯于2023年，星期日直接推理前提是一個性質判斷，結論直接從前提判斷中推導出來的一種演繹推理直接推理有兩種：對當關系推理判斷變形推理對當關系直接推理

根據性質判斷之間的對當關系所進行的直接推理第六十四頁，共一百一十二頁，編輯于2023年，星期日

A

(上)反對

E

差

差

等

等

I

下反對

O

◎

邏輯方陣圖

◎第六十五頁，共一百一十二頁，編輯于2023年，星期日對當關系推理的類型例舉1、反對關系SAP→﹁SEP/SEP→﹁SAP2、下反對關系﹁SIP→SOP/﹁SOP→SIP3、差等關系

SAP→SIP/﹁SIP→﹁SAPSEP→SOP/﹁SOP→﹁SEP

4、矛盾關系

SAP→﹁SOP/SOP→﹁SAP﹁SAP→SOP/﹁SOP→SAPSEP→﹁SIP/SIP→﹁SEP﹁SEP→SIP/﹁SIP→SEP

第六十六頁，共一百一十二頁，編輯于2023年，星期日判斷變形推理通過改變性質判斷的邏輯形式所進行的直接推理SIPSAP→SEPSEP→SAPSIP

→SOPSOP→換質法第六十七頁，共一百一十二頁，編輯于2023年，星期日換位法SEP→PESSIP→PISSAP→PIS判斷變形推理SEP→PES→SOPPAS→SAP→SIP→PIS→SAP→SAP→PISPOS第六十八頁，共一百一十二頁，編輯于2023年，星期日關系判斷的推理1．對稱性對稱（必然）aRb→bRa反對稱（必然不）aRb→﹁bRa非對稱（不必然）aRb→bRa？2．傳遞性傳遞（必然）aRb∧bRc→aRc反傳遞（必然不）aRb∧bRc→﹁aRc非傳遞（不必然）aRb∧bRc→aRc？第六十九頁，共一百一十二頁，編輯于2023年，星期日演繹推理的三個特征從一般到個別

結論所斷定的范圍不會超過前提前提蘊涵結論

前提真結論一定為真結論是必然的

前提已定，結論是一定的第七十頁，共一百一十二頁，編輯于2023年，星期日三段論三個性質判斷——大前提、小前提、結論三個項——大項、中項、小項

MPSM∴SP結論小項大項大前提小前提中項三段論的公理遍有遍無律SMPSMP第七十一頁，共一百一十二頁，編輯于2023年，星期日三段論的一般規(guī)則一個三段論必須有而且只能有三個項

物質是永恒不滅的，恐龍是物質所以，恐龍是永恒不滅的中項在前提中至少周延一次魚都是會游水的鯨魚是會游水的所以，鯨魚是魚

PAMSAM∴SAPMP第七十二頁，共一百一十二頁，編輯于2023年，星期日前提中不周延的項在結論中不能周延1.大項不當周延（大項擴大）警察是應當守法的

我不是警察所以，我不應當守法

MAPSEM∴SEPMP

2.小項不當周延（小項擴大）水銀是液體水銀是金屬

所以，金屬都是液體

MAPMAS∴SAPPMS第七十三頁，共一百一十二頁，編輯于2023年，星期日兩個否定的前提推不出結論張三不是殺人犯李四不是張三所以，？三犯四

否定判斷的主謂項是相互排斥的SPSSPP第七十四頁，共一百一十二頁，編輯于2023年，星期日前提之一為否定，結論為否定兩個否定的前提得不出結論前提之一為特稱，結論為特稱兩個特稱的前提得不出結論

第七十五頁，共一百一十二頁，編輯于2023年，星期日中項周延項有三大項小項莫擴展一特得特否得否特否成雙推論難第七十六頁，共一百一十二頁，編輯于2023年，星期日三段論的格與式格：由中項在前提中不同的位置所決定的三段論的不同的形式中項在前提中的位置：

MPPMMPPMSMSMMSMSSPSPSPSP第一格第二格第三格第四格第七十七頁，共一百一十二頁，編輯于2023年，星期日三段論第一格的規(guī)則小前提必肯定大前提必全稱證明：若小前提否定——結論必否定——大項必周延——大前提必否定——兩否定前提不能得出結論——所以，小前提必肯定若小前提肯定——謂項（中項）不周延——大前提中的中項必周延——大前提中的中項為主項——所以，大前提必全稱典型格、完善格、審判格第七十八頁，共一百一十二頁，編輯于2023年，星期日第一格為何又叫審判格？

是因為第一格在司法實踐中的特殊地位審案時，都是以法律條文為大前提（準繩）以行為事實為小前提（依據），運用該格推出具體對象應承擔什么樣的法律責任（是否有罪及應受何處罰等）例：所有的故意犯罪都不是過失犯罪受賄是故意犯罪所以，受賄不是過失犯罪第七十九頁，共一百一十二頁，編輯于2023年，星期日三段論第二格的規(guī)則必有一前提為否定大前提必全稱證明：若兩前提都肯定——中項必不周延——犯了“中項不周延的錯誤”；若兩前提都否定——犯了“兩否定前提的錯誤”；前提既有一為否定——結論必否定——大項必周延——大項在大前提中為主項——主項周延的判斷必為全稱判斷

區(qū)別格第八十頁，共一百一十二頁，編輯于2023年，星期日區(qū)別格的作用因為該格的結論一定是否定判斷（前提中必有一否定），所以常用來推斷某事物不屬于某類。例：鳥都是卵生動物蝙蝠不是卵生動物所以，蝙蝠不是鳥第八十一頁，共一百一十二頁，編輯于2023年，星期日三段論第三格的規(guī)則小前提必肯定結論必特稱證明：若小前提為否定——結論必否定——大項必周延——大前提必否定——犯了“兩否定前提的錯誤”；小前提肯定——小項不周延——小項是結論的主項——結論必特稱

例證格、反駁格第八十二頁，共一百一十二頁，編輯于2023年，星期日例證格、反駁格的作用該格的結論一定是特稱。該格是通過對某些具體事例的考察，得出特稱的結論，從而推翻另一與之矛盾的全稱判斷。例：汞是液體雷鋒不自私汞是金屬雷鋒是人所以，有的金屬是液體/有的人不自私(推翻與之矛盾的全稱判斷：金屬都是固體/

人都是自私的)第八十三頁，共一百一十二頁，編輯于2023年，星期日三段論第四格的規(guī)則若大前提肯定，則小前提必全稱若小前提肯定，則結論必特稱前提中有一否定，則大前提必全稱證明：若大前提肯定——中項在大前提不周延——中項在小前提必周延——則小前提必全稱若小前提肯定——小項不周延——則結論必特稱前提中有一否定——結論必否定——大項必周延——則大前提必全稱第八十四頁，共一百一十二頁，編輯于2023年，星期日式：由四種不同的性質判斷在前提和結論中不同的組合所決定的三段論的不同的形式。例如：

MAPPEMMAPSAMSAMMIS∴SAP∴SEP∴SIP

64式中大多是無效式，例如：

EOAIEOAIEOOA第八十五頁，共一百一十二頁，編輯于2023年，星期日三段論的正確式第一格第二格第三格第四格ＡＡＡＡＥＥＡＡＩＡＡＩＡＩＩＥＡＥＡＩＩＡＥＥＥＡＥＥＩＯＥＡＯＥＡＯＥＩＯＡＯＯＥＩＯＥＩＯ（ＡＡＩ）（ＡＥＯ）ＩＡＩＩＡＩ（ＥＡＯ）（ＥＡＯ）ＯＡＯ（ＡＥＯ）表中帶括號的為弱式，三段論有19個正確的式第八十六頁，共一百一十二頁，編輯于2023年，星期日省略三段論在表達中把不言自明的部分省去的三段論

1、省略大前提例：經濟規(guī)律是客觀規(guī)律，它是不以人的意志為轉移的。

2、省略小前提例：任何公民都要遵守法律，領導干部也得遵守。

3、省略結論例：沒有文化的軍隊是愚蠢的軍隊，而愚蠢的軍隊是不能戰(zhàn)勝敵人的。第八十七頁，共一百一十二頁，編輯于2023年，星期日省略三段論的補足補足前提找出結論并明確小項（S）和大項（P），確定省略的前提（大或?。?，補足例：小王是唯物主義者，因為他是無神論者。補足：所有唯物主義者都是無神論者小王是無神論者所以，小王是唯物主義者（中項不周延）第八十八頁，共一百一十二頁，編輯于2023年，星期日省略三段論的補足補足結論在前提所含的三個項中找出中項根據規(guī)則由前提中其余兩個項組成結論例：南方人喜歡吃甜食，小李不喜歡吃甜食。補足：南方人喜歡吃甜食小李不喜歡吃甜食所以，小李不是南方人第八十九頁，共一百一十二頁，編輯于2023年，星期日復合判斷的推理以復合判斷為前提并且根據復合判斷的邏輯特性所進行的演繹推理

小王是青年，小王是律師；所以小王是青年律師這些證據要么是直接證據，要么是間接證據；這些證據是直接證據；所以，這些證據不是間接證據。只有年滿十八歲，才有選舉權；某人有選舉權；所以，某人已滿十八歲。第九十頁，共一百一十二頁，編輯于2023年，星期日聯(lián)言推理pqp∧qTTTTFFFTFFFFp∧q→p（分解式）p∧q→q（分解式）p，q

→p∧q（合成式）第九十一頁，共一百一十二頁，編輯于2023年，星期日不相容選言推理pqp∨qTTFTFTFTTFFF，，，，，（p∨q）∧p→q（肯否式）（p∨q）∧p→q（否肯式）（p∨q）∧q→p（p∨q）∧q→p第九十二頁，共一百一十二頁，編輯于2023年，星期日相容選言推理（p∨q）∧p→q（肯否式）×pqp∨qTTTTFTFTTFFF（p∨q）∧p→q（否肯式）第九十三頁，共一百一十二頁，編輯于2023年，星期日充分條件假言推理pqp→qTTTTFFFTTFFT（p→q）∧p→q（順肯式）（逆否式）（p→q）∧q→p（p→q）∧q→p×（p→q）∧p→q×第九十四頁，共一百一十二頁，編輯于2023年，星期日必要條件假言推理pqp←qTTTTFTFTFFFT（順否式）（p←q）∧p→q（p←q）∧q→→→pp（逆肯式）（p←q）（p←q）∧∧qqp××第九十五頁，共一百一十二頁，編輯于2023年，星期日充要條件假言推理pqp→qp←qpqTTTTTTFFTFFTTFFFFTTT（順肯式）（pq）∧p→q（pq）（pq）（pq）∧∧∧pp→→→qqq（順否式）（逆肯式）（逆否式）p第九十六頁，共一百一十二頁，編輯于2023年，星期日（p→q）∧p→q（順肯式）充分（p→q）∧∧∧∧∧∧∧q→→→→→→→p（逆否式）（p←q）（p←q）pqqqqq（順否式）必要pppp（逆肯式）充要（pq）（pq）（pq）（pq）qp（順肯式）（逆否式）（順否式）（逆肯式）第九十七頁，共一百一十二頁，編輯于2023年，星期日假言易位推理（p→q）（q→p）→假言連鎖推理（p→q）∧（q→r）→（p→r）（p→q）∧（q→r）→（r→p）第九十八頁，共一百一十二頁，編輯于2023年，星期日二難推理由兩個假言判斷和一個二支的選言判斷為前提的假言選言推理簡單構成式（p→q）∧（r→q）∧（p∨r）→q簡單破壞式（p→q）∧（p→r）∧（﹁q∨﹁

r）→

﹁p復雜構成式（p→q）∧（r→s）∧（p∨r）→（q∨s）復雜破壞式（p→q）∧（r→s）∧（﹁q∨﹁

s）→（﹁p∨﹁

r）第九十九頁，共一百一十二頁，編輯于2023年，星期日二難推理構成式的總體邏輯框架就是充分條件假言推理的有效式——肯定前件式（p→q）∧（r→q）∧（p∨r）→q（p→q）∧（r→s）∧（p∨r）→（q∨s）破壞式的總體邏輯框架就是充分條件假言推理的另一有效式——否定后件式（p→q）∧（p→r）∧（﹁q∨﹁

r）→﹁p

（p→q）∧（r→s）∧（﹁q∨﹁

s）→（﹁p∨﹁

r）第一百頁，共一百一十二頁，編輯于2023年，星期日上帝能否創(chuàng)造一塊連他自已也舉不起來的石頭？如果上帝能創(chuàng)造一塊連他自已也舉不起來的石頭，那么，上帝就不是全能的（因為有一塊石頭他舉不起來）；如果上帝不能創(chuàng)造一塊連他自已也舉不起來的石頭，那么，上帝也不是全能的（因為有一塊石頭他不能創(chuàng)造）；或者上帝能創(chuàng)造一塊連他自已也舉不起來的石頭，或者上帝不能創(chuàng)造一塊連他自已也舉不起來的石頭，總之，上帝不會是全能的。第一百零一頁，共一百一十二頁，編輯于2023年，星期日第五章