普通邏輯入門

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

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

A→

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

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

小結(jié)

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

特殊的全異關(guān)系——矛盾關(guān)系、反對(duì)關(guān)系

只有真包含于同一屬概念的兩個(gè)種概念之間，才會(huì)存在矛盾關(guān)系和反對(duì)關(guān)系

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

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

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

SP

PSSP

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

A、O/E、I

不同真，不同假

——矛盾關(guān)系

A、E

同假，不同真

——（上）反對(duì)關(guān)系

I、O

同真，不同假

——下反對(duì)關(guān)系

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

A

(上)反對(duì)

E

差

差

等

等

I

下反對(duì)

O

◎

邏輯方陣圖

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

我比你年長(zhǎng)。小張與小王是戀人。上海在北京的東南方向。很多人認(rèn)識(shí)你哥哥。黃山比九華山高。第三十八頁，共一百一十二頁，編輯于2023年，星期日關(guān)系判斷的構(gòu)成

關(guān)系者項(xiàng)

a、b、c…

關(guān)系項(xiàng)

R關(guān)系判斷的公式

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

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

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

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

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

pq

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

某人學(xué)習(xí)成績(jī)不好，或者是因?yàn)榛A(chǔ)差、或者是因?yàn)椴慌?、或者是因?yàn)榉椒ㄇ芳选?/p>

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

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

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

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

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

只有認(rèn)識(shí)錯(cuò)誤，才能改正錯(cuò)誤聯(lián)結(jié)詞：

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

只有p，才q符號(hào)式：

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

當(dāng)且僅當(dāng)…才…邏輯形式：p當(dāng)且僅當(dāng)q

當(dāng)且僅當(dāng)p，才q符號(hào)式：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年，星期日復(fù)合判斷關(guān)系的真值表判定

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

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

前提

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

——推理形式有效(與前提真假無關(guān))推理結(jié)論真實(shí)的條件：

1、前提真實(shí)

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

根據(jù)性質(zhì)判斷之間的對(duì)當(dāng)關(guān)系所進(jìn)行的直接推理第六十四頁，共一百一十二頁，編輯于2023年，星期日

A

(上)反對(duì)

E

差

差

等

等

I

下反對(duì)

O

◎

邏輯方陣圖

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

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

4、矛盾關(guān)系

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

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

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

結(jié)論所斷定的范圍不會(huì)超過前提前提蘊(yùn)涵結(jié)論

前提真結(jié)論一定為真結(jié)論是必然的

前提已定，結(jié)論是一定的第七十頁，共一百一十二頁，編輯于2023年，星期日三段論三個(gè)性質(zhì)判斷——大前提、小前提、結(jié)論三個(gè)項(xiàng)——大項(xiàng)、中項(xiàng)、小項(xiàng)

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

物質(zhì)是永恒不滅的，恐龍是物質(zhì)所以，恐龍是永恒不滅的中項(xiàng)在前提中至少周延一次魚都是會(huì)游水的鯨魚是會(huì)游水的所以，鯨魚是魚

PAMSAM∴SAPMP第七十二頁，共一百一十二頁，編輯于2023年，星期日前提中不周延的項(xiàng)在結(jié)論中不能周延1.大項(xiàng)不當(dāng)周延（大項(xiàng)擴(kuò)大）警察是應(yīng)當(dāng)守法的

我不是警察所以，我不應(yīng)當(dāng)守法

MAPSEM∴SEPMP

2.小項(xiàng)不當(dāng)周延（小項(xiàng)擴(kuò)大）水銀是液體水銀是金屬

所以，金屬都是液體

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

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

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

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

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

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

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

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

MAPPEMMAPSAMSAMMIS∴SAP∴SEP∴SIP

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

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

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

2、省略小前提例：任何公民都要遵守法律，領(lǐng)導(dǎo)干部也得遵守。

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

小王是青年，小王是律師；所以小王是青年律師這些證據(jù)要么是直接證據(jù)，要么是間接證據(jù)；這些證據(jù)是直接證據(jù)；所以，這些證據(jù)不是間接證據(jù)。只有年滿十八歲，才有選舉權(quán)；某人有選舉權(quán)；所以，某人已滿十八歲。第九十頁，共一百一十二頁，編輯于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年，星期日二難推理由兩個(gè)假言判斷和一個(gè)二支的選言判斷為前提的假言選言推理簡(jiǎn)單構(gòu)成式（p→q）∧（r→q）∧（p∨r）→q簡(jiǎn)單破壞式（p→q）∧（p→r）∧（﹁q∨﹁

r）→

﹁p復(fù)雜構(gòu)成式（p→q）∧（r→s）∧（p∨r）→（q∨s）復(fù)雜破壞式（p→q）∧（r→s）∧（﹁q∨﹁

s）→（﹁p∨﹁

r）第九十九頁，共一百一十二頁，編輯于2023年，星期日二難推理構(gòu)成式的總體邏輯框架就是充分條件假言推理的有效式——肯定前件式（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)造一塊連他自已也舉不起來的石頭，那么，上帝就不是全能的（因?yàn)橛幸粔K石頭他舉不起來）；如果上帝不能創(chuàng)造一塊連他自已也舉不起來的石頭，那么，上帝也不是全能的（因?yàn)橛幸粔K石頭他不能創(chuàng)造）；或者上帝能創(chuàng)造一塊連他自已也舉不起來的石頭，或者上帝不能創(chuàng)造一塊連他自已也舉不起來的石頭，總之，上帝不會(huì)是全能的。第一百零一頁，共一百一十二頁，編輯于2023年，星期日第五章