逻辑学全套课件

歸納邏輯（下）第一節類比推理第三節非單調推理與語用推理第二節溯因推理二01類比推理的含義及特徵02類比推理的類型03類比推理的作用什麼是命題命題的邏輯特徵命題間的真假關係肯定類比否定類比中性類比在構建中在現代仿生學中在科學說明中第一節類比推理04類比推理的邏輯要求三一類比推理的含義及特徵類比推理是指根據A、B兩個或兩類對象在一系列屬性上的相似，又已知A對象還有其他屬性，從而推出B對象也具有其他相似屬性的推理。實施過程1.肯定類比二類比推理的類型肯定類比(或正類比)是類比推理的最一般的形式。它根據兩個（或兩類）對象存在某些相似的屬性推出它們在另一屬性上也是相似的。肯定類比的思維模式也就是上文已述的類比思維的一般模式。實施過程2.否定類比二類比推理的類型否定類比(或負類比)，是根據兩個或兩類對象存在某些屬性的相異而推出它們在另一屬性上也是相異的。例如：實施過程3.中性類比二類比推理的類型中性類比是根據兩個對象在某些方面的相同而在另外一些方面的差異，在平衡兩者之間的相同點和差異點的基礎上，依據關鍵的相同或相異要素，推出兩個（或兩類）對象在其他方面的相同或相異的結論。所謂模型構建或稱模擬，就是根據研究對象即原型製造出與其類似的模型，再根據模型來研究其功能、性質和規律，或者說就是以模型與原型之間的相似性為根據，通過對模型的研究和實驗來把握原型的性質和規律。因此，類比推理在模型構建中有重要的模擬性作用。三類比推理的作用1.類比推理在模型構建中的作用仿生學是一門新興的科學，它是通過模仿生物系統的原理以建造技術系統，或者使人造技術系統具有生物系統特徵或類似特徵的科學。仿生學的邏輯基礎就是根據相似性原理，依據生物體的結構、功能和工作機理而設計製造出類似的人工產品，顯然這就是類比推理的應用。三類比推理的作用2.類比推理在現代仿生學中的作用科學研究的重要任務就是要說明或解釋未知現象或新的理論，這時類比推理常常發揮觸類旁通的作用。三類比推理的作用3.類比推理在科學說明中的作用四類比推理的邏輯要求類比推理以其特有的靈活性、創造性和開放性，在啟迪人類思維中起著重大作用。但類比推理終究是一種或然性推理，為了充分發揮類比推理在認識過程中的創新性意義，必須注意提高類比推理結論的可靠性。二實質一基本方法二邏輯要求三第二節溯因推理三一溯因推理的實質溯因推理是一種根據某現象的特徵推測該現象產生原因的推理。它具有推測的特徵，因而具有多元試錯性以及推論的或然性。實施過程1.溯因解釋法二溯因推理的基本方法溯因解釋法，是對已知現象的機理（或原因）做出回溯推測的思維方法，它是溯因推理方法的典型形式。實施過程2.多元溯因法二溯因推理的基本方法多元溯因法，是一種根據已觀察現象的特徵，從多個角度追溯可解釋該現象的可能原因的推理方法。多元溯因法，是一種根據已觀察現象的特徵，從多個角度追溯可解釋該現象的可能原因的推理方法。實施過程3.多級溯因法二溯因推理的基本方法多級溯因法，是一種逐層探索事物現象原因的溯因推理方法。換句話說，多級溯因法是一種連續的溯因模式，即根據事實E去猜測可以解釋E的原理H1；接著根據H1的特徵，去猜測蘊涵H1的原理H2，如此連續下去，不斷追求高一層次的理論。客觀世界中因果聯繫是非常複雜的。當我們說某一現象是原因，另一現象是結果時，這是僅就兩個單個現象而言的。正如恩格斯所指出的：“為了瞭解單個的現象，我們就必須把它們從普遍的聯繫中抽出來，孤立地考察它們，而且在這裏不斷更替的運動就顯現出來，一個是原因，一個是結果。”三溯因推理的邏輯要求1.充分認識因果聯繫的複雜性逆推時所設想的理論性假說H與待解釋現象E之間要有邏輯相關性，即從前者可導出後者（如果H真，則E可被解釋）。三溯因推理的邏輯要求2.科學把握解釋性理論與待解釋現象的邏輯關聯性逆推的解釋性理論不應是特設性的，而應是可經受經驗檢驗的。否則，如果逆推的理論不能進行經驗檢驗，那麼它就不能導出與實際相符的事實性解釋，因而它就不能為待解釋現象提供科學說明。三溯因推理的邏輯要求3.盡可能提高解釋性理論的可檢驗性二01非單調推理02缺省推理03語用推理什麼是缺省推理缺省推理的應用要求第三節非單調推理與語用推理什麼是非單調推理非單調推理的邏輯特點什麼是語用推理語用推理的應用要求語用推理與缺省推理三一非單調推理非單調推理，或稱具有非單調性的推理，它是指隨著新資訊（新知識和新事實）的增加，可能使原先推出的結論被否定的推理。這種非單調性就體現為，新資訊的加入會引起原有假設以及基於該假設的推理結果的修正。1.什麼是非單調推理三一非單調推理非單調推理的邏輯特點在於它的非單調性，即它不具有推理的邏輯必然性，已推出的結論會因前提依據的修正而被撤銷，進而得出新的結論。換句話說，當一個前提命題被否定而取消時，依該命題而導出的結論也必須重新檢查，倘若該結論的有效性不能獲得重新證明，那麼該結論必須取消；隨後再按新引入的前提進行推理。2.非單調推理的邏輯特點實施過程1.什麼是缺省推理二缺省推理缺省推理是以不足以必然得出結論的資訊為前提，並在缺乏可導致相反結論的資訊的條件下導出結論的推理。這種推理的特徵是試探性或猜測性的，倘若有新資訊加入，其結論可能會被撤銷。可見，缺省推理是一種非單調推理。實施過程2.缺省推理的應用要求二缺省推理儘管缺省推理是一種或然性推理，但有助於人們在不具備完備資訊的情境下也能做出合理的推論。語用推理是指依據話語在特定語境下的具體意義而導出結論的推理。三語用推理1.什麼是語用推理由於語用推理主要依賴於特定語境下對話語意義的設定及選擇，其結論的可靠性程度主要取決於推理者的這種設定及選擇的合理性。因此，為了盡可能克服主觀設定及選擇的隨意性，盡可能提高推理結論的可靠性程度，語用推理必須遵從以下合理性要求：三語用推理2.語用推理的應用要求語用推理本質上是一種缺省推理。當人們運用語用推理時，總是在不完備資訊條件下進行某種語境預設即缺省預設，以便導出結論；同時，當語境預設發生變化時，原有語用推理的結論就會改變。例如：三語用推理3.語用推理與缺省推理演繹邏輯：命題邏輯(上)第一節演繹邏輯概述第三節複合命題第二節命題及其種類第四節複合命題重言式與真值表第一節演繹邏輯概述提高科學思維能力。提高論辯水準和文字表達能力。一二演繹邏輯及其特徵演繹邏輯的種類演繹邏輯是關於演繹推理的邏輯學理論，它主要研究演繹推理的基本方法及其有效性問題。演繹推理，或稱為前提蘊涵結論的推理，即由真前提可必然導出真結論的推理。換言之，演繹推理，其結論所斷定的範圍不超出前提所斷定的範圍，因而，其前提與結論之間具有必然性聯繫。就思維進程而言，演繹推理常常是指由一般性知識導出個別性知識的推理。一演繹邏輯及其特徵實施過程二演繹邏輯的種類從研究內容與研究方法角度看，演繹邏輯可分為傳統演繹邏輯和現代演繹邏輯。傳統演繹邏輯研究的演繹推理包括簡單命題推理、複合命題推理與模態命題推理。簡單命題推理主要有直言三段論和關係命題推理；複合命題推理主要有聯言推理、選言推理、假言推理和二難推理等；模態命題推理主要有模態命題直接推理和模態三段論等。

現代演繹邏輯在傳統演繹邏輯的基礎上既增加了演繹推理及其種類的研究內容，也更新了演繹推理的研究手段。二01命題及其邏輯特徵02命題與語句及判斷03命題的種類第二節命題及其種類三

一命題及其邏輯特徵命題是表達思維對象的情況並具有真假之分的語句。任何思維對象都具有諸多不同的性質，並且相互之間總是存在或不存在某種關係。思維對象的這些性質或關係反映到人的頭腦中，就形成了各種思想。一旦這些思想以語句的形式表達出來，就形成了命題。什麼是命題三

一命題及其邏輯特徵第一，命題總是對思維對象的情況有所斷定。第二，命題的最基本的邏輯特徵是有真假之分。2.命題的邏輯特徵三

一命題及其邏輯特徵（1）等值關係：既同真，又同假；（2）矛盾關係：既不同真，也不同假；（3）反對關係：不同真，可同假；（4）下反對關係：不同假，可同真；（5）差等關係：可同真，也可同假。3.命題間的真假關係實施過程1.命題與語句二命題與語句及判斷首先，命題與語句有著密切的聯繫，命題要通過語句來表達。其次，命題與語句又存在根本性的區別，具體表現為以下四個方面：第一，命題與語句因其各自的特點不同，分別成為不同學科的研究對象。

第二，並非任何語句都直接表達命題。

第三，同一語句可以表達不同的命題。第四，同一命題可以用不同的語句來表達。實施過程2.命題與判斷二命題與語句及判斷一個命題所陳述的思維對象情況，如果被認識主體所肯定或否定，這個命題就是判斷。命題與判斷既有共性又存在差別。概言之，一個陳述思維對象情況的語句，既可以說它是一個命題，也可以說它是一個判斷。因此，有的邏輯學文獻把“命題”與“判斷”看作同義語。首先，根據命題是否含有模態詞（即模態算子或模態聯結詞，如必然、可能、必須、允許等），命題可分為模態命題與非模態命題。其次，對模態命題，根據模態詞的性質不同，模態命題又可分為真值模態命題與規範模態命題等。最後，在非模態命題中，根據命題中是否包含其他命題，可將其分為簡單命題與複合命題。三命題的種類相容不相容種類及特徵聯言命題，也叫合取命題選言命題假言命題必要條件充分條件充要條件負命題其他形式定義形式除外命題多重複合無聯結詞第三節複合命題三

一什麼是複合命題所謂複合命題，指包含其他命題的命題。複合命題以命題為其最基本單元。對作為複合命題的組成部分的命題，不再分析組成它的具體成分，即不分析包含於其中的詞項如主詞、謂詞等。作為複合命題的組成成分的命題，我們稱之為子（肢）命題。子命題可以是多重的，因而複合命題也可以是多重的。如果子命題為一個簡單命題，則稱之為原子命題。實施過程二複合命題聯結詞複合命題聯結詞複合命題是由命題聯結詞聯結子命題而構成的。在複合命題的邏輯形式中，子命題是變項，聯結子命題的聯結詞是常項。在自然語言中，命題聯結詞是一類特殊的詞項，它使各自獨立的語句組合成一個整體，表達一個特殊的意義。由命題聯結詞“並且”聯結若干子命題構成的複合命題，即為聯言命題，它是斷定若干事物情況同時存在（即各子命題同真）的命題。三複合命題的種類及特徵1.聯言命題（1）相容選言命題。（2）不相容選言命題。三複合命題的種類及特徵2.選言命題（1）假言命題與條件關係。（2）充分條件假言命題。（3）必要條件假言命題。三複合命題的種類及特徵3.假言命題由命題聯結詞“並非”聯結一個子命題構成的複合命題，即為負命題，它是否定一個命題的命題。三複合命題的種類及特徵4.負命題（1）定義形式的命題。（2）除外命題。（3）多重複合命題。（4）無聯結詞複合命題。三複合命題的種類及特徵5.其他形式的命題二01重言式和真值函項02真值表判定法真值函數重言式與非重言式真值表法歸謬賦值法第四節複合命題重言式與真值表三

一重言式和真值函項真值函項，也稱真值函數。它是這樣一種命題形式：它的真值取決於變項的真假情況。真值函項三

一重言式和真值函項（1）重言式。（2）非重言式。重言式與非重言式實施過程1.真值表法二真值表判定法命題公式是真值函項的表達形式，判定一個公式是否為重言式，可以採用真值表法。

真值表法是一種表格真值指派賦值法。它按照一定的次序，對一個公式的各個組成部分分別指派真值或賦值，求得該公式的真值。例如：實施過程2．歸謬賦值法二真值表判定法歸謬賦值法是一種簡化真值表法，它用來判定一個蘊涵式是否為重言式。一個蘊涵式，如果是重言式，那意味著其變項在任一真值指派下，該蘊涵式的真值均為1，即不會出現其真值為0的情況。歸謬賦值法即以此為據。要判定一個蘊涵式是否為重言式，先假定該公式真值為0，由此得出，其前件真值指派為1，後件真值指派為0。科學邏輯第一節科學邏輯概述第三節科學假說第二節科學解釋與科學預測第一節科學邏輯概述二一邏輯與科學方法什麼是科學邏輯三一什麼是科學邏輯這裏所說的科學邏輯，是關於科學研究活動中的思維模式與方法的邏輯理論。或者說，科學邏輯是以經驗科學的認識活動作為研究對象，主要探討經驗科學研究活動的模式、程式、途徑、手段及其合理性標準的理論。實施過程二邏輯與科學方法科學研究活動是一種富有創造性的活動，其目的是要探索客觀事物的內在本質和發展規律，這就需要運用各種各樣的科學方法。那麼，什麼是科學方法呢？一般說來，科學方法是人們為實現認識客觀事物的內在本質和發展規律這一基本目的而採取的手段和途徑，諸如觀察、實驗、概括、抽象、分析、綜合、歸納、演繹、模擬和假說等。三二科學預測的邏輯方法一科學解釋的邏輯方法命題及其推理演繹預測溯因預測第二節科學解釋與科學預測並案歸納溯因預測類比預測三一科學解釋的邏輯方法科學解釋，或稱為科學說明，它是運用科學理論去說明某一事件或現象何以產生或何以存在的機理。通常情況下，它是依據作為背景知識的科學理論，結合特定的具體條件，進行邏輯推導的過程。例如：實施過程二科學預測的邏輯方法所謂科學預測，是指根據已知的科學理論與相關條件陳述或事實陳述，對未知事實或規律做出推測。實施過程1．演繹預測二科學預測的邏輯方法所謂演繹預測，就是運用理論原理與相關條件陳述合乎邏輯地推導出未知事實或規律。例如上例中，泡利關於中微子的預測就是一種演繹預測。實施過程2.溯因預測二科學預測的邏輯方法溯因預測是指根據某事物現象特徵去推測該現象原因的邏輯方法。這種邏輯方法通常稱為“溯因推理”或“回溯推理”。實施過程3.並案歸納溯因預測二科學預測的邏輯方法並案歸納溯因預測，是指根據若干案例現象都具有相同屬性的特徵，進而推測這種相同屬性特徵是由同一原因所導致的邏輯方法。這種方法是並案歸納與並案溯因的綜合使用方法，它在並案歸納概括基礎上，再推測若干案例之所以具有相同特徵的原因。實施過程4．類比預測二科學預測的邏輯方法類比預測是指運用類比推理進行的預測，也就是根據A、B兩對象在若干屬性方面相同或相似，而且又知A對象具有另一屬性，由此推測B對象也具有另一屬性的邏輯方法。二01假說及其基本特徵02假說的形成03假說的檢驗假說形成的過程與邏輯方法假說形成的啟發性原則第三節科學假說假說的檢驗及其途徑假說檢驗的邏輯方法三一假說及其基本特徵假說是對未知現象或規律性的一種猜測性解釋。它有工作假設與科學假說之分。實施過程1.假說形成的過程與邏輯方法二假說的形成假說形成的過程與邏輯方法是複雜多樣的，既沒有唯一的邏輯“通道”，也無普適性機械程式。但是，就科學認識活動的一般程式或規律來說，假說的形成大致有兩個基本的階段，即初始階段和完成階段。實施過程2．假說形成的啟發性原則二假說的形成

從假說形成的兩個階段中，我們可以看出，假說的形成具有幾條啟發性原則。假說檢驗是為了檢驗假說的真理性，而真理性檢驗的唯一標準是社會實踐，如科學實驗等。然而，假說是不可直接進行檢驗的，它需要運用邏輯方法推導出可經驗檢驗的事實陳述，然後通過觀察和實驗來驗證所導出的事實陳述，進而驗證原假說。三假說的檢驗1．假說的檢驗及其途徑檢驗假說的基本邏輯方法，通常稱為“假說—演繹法”。假說—演繹法的基本思想是：從被檢驗假說(H)和輔助性假說或條件陳述(C)中演繹地導出一個推測(E)，即“如果H且C，則E”；然後對E進行檢驗，如果E真，那麼被檢驗假說H被確證；如果E假，那麼被檢驗假說H被否證。因此，經驗事實對假說的檢驗，通常有兩種情形：一是對假說的確證，二是對假說的證偽。三假說的檢驗2

.假說檢驗的邏輯方法（1）假說的確證及其邏輯方法。（2）假說的證偽及其邏輯方法。三假說的檢驗2

.假說檢驗的邏輯方法演繹邏輯：模態邏輯第一節模態邏輯概述第三節規範模態命題及其推理第二節真值模態命題及其推理第四節模態命題邏輯自然推理方法第一節模態邏輯概述二一模態邏輯的種類模態邏輯的特徵三一模態邏輯的特徵模態邏輯是研究基於模態詞屬性的命題及其推理的學科。實施過程二模態邏輯的種類模態邏輯有多種類型。如果根據是否應用形式化方法，模態邏輯可分為傳統模態邏輯和現代模態邏輯。三二真值模態推理一真值模態命題命題及其推理真值模態直接推理真值模態三段論第二節真值模態命題及其推理三一真值模態命題真值模態命題即指包含“必然”和“可能”這兩個模態詞的、斷定事物情況具有必然性或可能性的命題。根據所含模態詞的不同，真值模態命題分為必然命題與可能命題。實施過程二真值模態推理真值模態直接推理，是指以一個真值模態命題為前提，根據模態對當關係推出一個真值模態命題作為結論的推理。例如：1.真值模態直接推理實施過程二真值模態推理（1）必然真值模態三段論。（2）必然與可能相結合的真值模態三段論。（3）混合真值模態三段論。2.真值模態三段論三一二規範模態命題規範模態推理第三節真值模態命題及其推理規範模態直接推理規範模態三段論推理負命題的等值置換法三一規範模態命題規範模態命題是指包含必須、禁止、允許等規範模態詞的命題（以下簡稱規範命題）。我們可以把必須、禁止、允許這些概念看作邏輯常項（或算子）。含有這些常項的命題，如“中華人民共和國公民必須遵守我國憲法和法律”“允許外商到中國境內投資”“禁止在公共場合吸煙”等，都是規範命題。實施過程1.規範模態直接推理二規範模態推理規範模態直接推理，是指以一個規範模態命題為前提，根據規範模態對當關係推出一個規範模態命題作為結論的推理。實施過程2.規範模態三段論推理二規範模態推理（1）必須規範模態三段論推理。（2）必須與允許相結合的規範模態三段論推理。（3）混合規範模態三段論推理。實施過程3.負命題的等值置換法二規範模態推理規範命題的負命題的等值置換法，是指根據規範命題間的矛盾關係進行的對錯值意義上的等值推理方法。按規範命題邏輯方陣所表示的對錯制約的矛盾關係，這種推理有如下這些形式：第四節課題研究成果12形式語言推理規則與推理方法初始符號合式公式的形成規則推理規則形式推演三一形式語言（1）命題邏輯自然推理系統NP的所有符號（2）模態命題邏輯自然推理系統的特徵符號：L、M、O、P、F1.初始符號三一形式語言（1）命題邏輯自然推理系統NP的所有形成規則（2）模態命題邏輯自然推理系統的特徵形成規則：如果A、B是公式，則LA、MA、OA、PA、FA是公式。2．合式公式的形成規則三一形式語言Mp=df﹁L﹁pM﹁p=df﹁LpPp=df﹁O﹁pP﹁p=df﹁OpFp=dfO﹁pF﹁p=dfOp3.定義實施過程1．推理規則二推理規則與推理方法（1）命題邏輯自然推理系統NP推理的所有規則（2）模態命題邏輯自然推理的特徵規則：實施過程2.形式推演二推理規則與推理方法模態命題邏輯自然推理中的一個推理形式，相當於一個蘊涵式，推理的前提與結論分別是蘊涵式的前件與後件。因此，要證明一個模態命題邏輯自然推理的有效性，就轉化為對一個蘊涵式的演算。歸納邏輯（上）第五節特稱預測歸納推理第三節求因果關係歸納推理第二節全稱歸納推理第四節概率與統計歸納推理第一節歸納邏輯概述一二三歸納邏輯及其特徵歸納與演繹的關係歸納邏輯的種類第一節歸納邏輯概述三一歸納邏輯及其特徵“歸納”一詞來自拉丁文induction（誘導）。後來它泛指從個別到一般的思維方法，即以某些個別性（特殊性）的知識為前提，由此推出一般性（普遍性）的知識的結論。實施過程二歸納與演繹的關係歸納和演繹，通常指兩類邏輯，或指兩類思維方法，或指兩類推理，二者之間既有區別又有聯繫。下麵主要從推理的角度介紹二者之間的區別與聯繫。歸納邏輯從研究範圍來看，有廣義與狹義之分，狹義歸納邏輯是指僅研究歸納推理的邏輯理論；廣義歸納邏輯是指研究或然性推理的邏輯理論，它不僅研究歸納推理，還研究類比推理、溯因推理等。三歸納邏輯的種類概述一全稱歸納推理的特徵與種類二完全歸納推理三不完全枚舉歸納推理四典型歸納推理第二節全稱歸納推理三一全稱歸納推理的特徵與種類全稱歸納推理是指，根據某類事物中某個、某些或全部對象具有某種屬性，從而推出以全稱命題形式來陳述該類事物都具有該屬性的結論。實施過程二完全歸納推理完全歸納推理是根據某類事物中每一個對象都具有（或不具有）某種屬性，推出該類事物全部對象都具有（或不具有）該屬性的推理。不完全枚舉歸納推理是在經驗認識基礎上考察了一類事物中的部分對象，發現它們都具有某種屬性，並且沒有遇到與之相反的情況，從而推出關於該類對象都具有某種屬性的歸納推理。三不完全枚舉歸納推理四典型歸納推理典型歸納推理是指根據某類事物中某個典型代表性對象具有某種屬性，從而推出該類事物全部對象都具有該屬性的推理。就前提所考察的對象數量而言，典型歸納推理是不完全枚舉歸納推理的下限極端情形。二第三節求因果關係歸納推理12求因果關係歸納推理及其特徵穆勒五法求同法求異法求同求異並用法共變法剩餘法三一求因果關係歸納推理及其特徵求因果關係歸納推理，簡稱求因果歸納推理，它是根據部分場合某一研究現象與該現象出現之前或其後的若干情況之間具有某種關係，推出所有場合該現象與其所有的先行或後行情況之間都具有這種關係的結論。實施過程1．求同法二穆勒五法求同法是指，如果在被研究現象出現的若干不同場合中，僅有一個共同的情況，其他情況都不相同，那麼這個唯一的共同情況就是被研究現象的原因（或結果）。實施過程2．求異法二穆勒五法求異法是指，如果在被研究現象出現和不出現的兩個場合中，只有一個情況不同並且只出現在被研究現象出現的場合，那麼這個唯一不同的情況是被研究現象的原因（或結果）或必不可少的部分原因（或結果）。實施過程3．求同求異並用法二穆勒五法求同求異並用法是指，如果只有某一情況在被研究現象出現的若干場合中出現，而在被研究現象不出現的若干場合中不出現，那麼這一情況是被研究現象的原因（或結果）或必不可少的部分原因（或結果）。實施過程4.共變法二穆勒五法共變法是指，如果在被研究對象發生量變的若干場合中只有一個情況也發生變化，那麼這唯一變化的情況是被研究現象的原因（或結果）。實施過程5．剩餘法二穆勒五法剩餘法是指，如果已知某一複合的被研究現象中的部分是某種情況作用的結果，那麼該複合現象的剩餘部分就是其他情況作用的結果。二01經典概率歸納推理02貝葉斯概率歸納推理03統計歸納推理驗前概率與驗後概率否定規則合取規則析取規則條件概率貝葉斯定理的簡單式貝葉斯定理的一般模式第四節概率與統計歸納推理三一經典概率歸納推理經典概率歸納推理，即狹義上的概率歸納推理，是根據某類事物已觀察到的部分對象具有某屬性的頻率，進而推出所有該類對象（或該類中某個對象）也具有該屬性的概率的一種推理形式，其結論是一個統計命題。實施過程二貝葉斯概率歸納推理貝葉斯概率歸納推理，又稱為貝葉斯推理，其實質是一種概率演算歸納推理，即它是在對隨機現象及其特性做定量描述的歸納法中引進概率運算的一種思維方法。確切地說，這種思維方法以貝葉斯定理為核心原理，依託概率演算，實現驗前概率到驗後概率的過渡。其主要創始人是英國數學家貝葉斯，他最早以歸納的方式來使用概率。三統計歸納推理所謂統計歸納推理，就是由樣本所具有的某種屬性推出對象總體具有某種屬性的推理。二三一二特稱預測歸納推理及其特徵特稱預測歸納推理的邏輯要求第五節特稱預測歸納推理三一特稱預測歸納推理及其特徵特稱預測歸納推理，是指根據過去或當前已知的某些事物對象具有某屬性，推測同類事物其他未知的某些（或某個）對象也會具有該屬性的推理。這種歸納推理方法常常用於天氣預報、災情預測、經濟活動趨勢推測等人類認識活動之中，也常被用於涉法思維過程中。實施過程二特稱預測歸納推理的邏輯要求第一，盡可能增加前提中作為推理依據對象的數量，並注意考察已知同類對象是否都具有某種相同屬性而無反例。這是因為，如果前提中作為推理依據對象的數量很少，那麼預測結論的可靠性程度就較低；另外，如果已知同類對象在某種屬性上相反，那麼預測結論的可靠性程度就不可靠。實施過程二特稱預測歸納推理的邏輯要求第二，結論中的預測對象與前提中的已知對象應是同類事物。如果已知的對象不同類，或者預測對象與已知對象不同類，那麼預測結論就不可靠實施過程二特稱預測歸納推理的邏輯要求第三，盡可能掌握能夠體現已知對象與預測對象的本質特徵或規律性的那種共同屬性。如果已知對象與預測對象的那種共同屬性，不是本質的而是非本質的，不是固有的而是偶有的，那麼預測結論也會不可靠。演繹邏輯：命題邏輯(下)第一節複合命題推理第二節命題邏輯自然推理課堂作業什麼是複合命題推理概念概述三寫一說選言推理聯言推理假言推理複合命題推理的種類充分條件肯定前件式否定後件式推理式組合式分解式第一節複合命題推理相容不相容必要條件否定前件式肯定後件式充分必要條件肯定前件式否定後件式肯定後件式否定後件式其他等值假言聯鎖二難三一複合命題推理概述按推理中所依據的複合命題及其聯結詞的不同，複合命題推理有聯言推理、選言推理、假言推理等。此外，複合命題推理除了上述單一形式的聯結詞推理外，還有綜合形式的聯結詞推理，如等值推理、假言聯鎖推理與二難推理等。2.複合命題推理的種類實施過程1.什麼是聯言推理二聯言推理聯言推理就是前提或者結論中包含著聯言命題，依據聯言命題的邏輯性質進行推演的推理。實施過程2.聯言推理的推理式二聯言推理（1）聯言推理的組合式。（2）聯言推理的分解式。不相容選言推理是包含一個不相容選言命題，並以不相容選言命題的邏輯性質為依據進行推演的推理。三選言推理2．不相容選言推理四假言推理充分條件假言推理就是前提中包含充分條件假言命題，並依據充分條件假言命題前後件間的邏輯關係進行的推理。1.充分條件假言推理二四假言推理充分條件假言推理就是前提中包含充分條件假言命題，並依據充分條件假言命題前後件間的邏輯關係進行的推理。（1）肯定前件式。（2）否定後件式。1.充分條件假言推理二四假言推理充分必要條件假言推理，簡稱充要條件假言推理，它是以充要條件假言命題為前提，並按充要條件假言命題前後件間的邏輯關係進行的推理。（1）否定前件式。（2）肯定必要條件假言推理就是前提中包含必要條件假言命題，並按必要條件假言命題前後件間的邏輯關係進行的推理。後件式。2.必要條件假言推理二五其他複合命題推理等值推理是這樣一種直接推理，前提中只有一個命題，並且前提與結論具有等值關係，因而前提與結論可以互推。1.等值推理五其他複合命題推理（1）充分條件假言聯鎖推理。（2）必要條件假言聯鎖推理。2.假言聯鎖推理五其他複合命題推理（1）簡單構成式。（2）複雜構成式。（3）簡單破壞式。（4）複雜破壞式。3.二難推理二難推理簡單構成式一複雜構成式二簡單破壞式三複雜破壞式四一二三初始符號形成規則形式語言推導規則與形式推演NP系統的可靠性和完全性推導規則NP系統的形式推演第二節命題邏輯自然推理三一形式語言初始符號有三類：（1）變項符號：p、q、r、s、t、p1、p2、……（2）常項符號：（3）技術性符號：（、）1．初始符號三一形式語言有了上述初始符號，可構成無限多的有窮長度的符號序列，即符號串。2．形成規則實施過程1．推導規則二推導規則與形式推演自然推理的特點是，貼近自然語言，推理演繹的過程直觀。在推理過程中，它以人們日常推理中常見的推理形式作為模式，據此給出變形規則即推導規則，使我們能按照給定的程式，在有窮步驟之內推演出定理來。三推導規則肯定前提規則否定引入規則否定消去規則蘊涵引入規則蘊涵消去規則合取引入規則合取消去規則析取引入規則析取消去規則10.等值引入規則11.等值消去法則12.三段論規則13.假言易位規則14.二難推理規則15.雙否引入規則16.雙否消去規則17.等值置換規則實施過程2.系統的形式推演二推導規則與形式推演一般來說，在命題邏輯自然推理中，一個複合命題推理的形式，相當於一個蘊涵式，推理的前提與結論，分別是蘊涵式的前件與後件。因此，要證明一個複合命題推理的有效性，在命題邏輯自然推理中，就轉化為對一個蘊涵式的演算。當然，一個非蘊涵式的定理的證明，可看作一個有0前件的蘊涵式的演算證明。嚴格地說，上文所展示的自然推理系統NP的形式演繹，只是一種語法推論關係。這種語法推論關係，是否具有語義推論關係的有效性（即能否保證從真前提推出真結論），能否包含所有的有效的語義推論關係，等等，都是需要進一步加以論述的。然而，考慮到本教材使用對象的特點，這裏對上述問題僅做簡要說明。三NP系統的可靠性和完全性論辯邏輯（下）第一節論辯的建構第二節論辯的評價一一二論辯的建構模式論辯的建構方法與要求論辯的一般結構幾種常見的論證圖式單元遞推式單元發散式多元收斂式多元並列遞推式論辯的建構方法第一節論辯的構建論辯建構的邏輯要求三一論辯的建構模式論辯的建構是指根據論辯的目的與中心問題，通過一定的步驟與方法，將論證材料組織成為一個有論證性的語言結構系統。換句話說，論辯的建構就是關於如何構建一個有論證性的論辯的步驟與方法的問題。1.論辯的一般結構三一論辯的建構模式根據論證中論據數目與論題數目的對應關係，在簡單論證中，一個前提導出一個結論，一個前提導出多個結論，多個前提導出一個結論，多個前提導出多個結論，我們可將這四種形式分別稱為單元遞推式、單元發散式、多元收斂式、多元並列遞推式。2.幾種常見的論證圖式二論辯的建構方法與要求首先，確立論題觀點。其次，運用材料組織論證。最後，明確清晰地表述論證。1.論辯的建構方法二二論辯的建構方法與要求從論辯邏輯的角度看，一般還要符合這些邏輯要求：論題觀點明確，論據材料充分，論述結構合邏輯，語言明晰規範。2.論辯建構的邏輯要求二二01論辯的評價及其步驟02論辯的要素評價什麼是辯護辯護的特點論題的確定性評價論據的真實性評價論據效用評價論證方式的有效性評價第二節論辯的評價03論辯的綜合強度評價三一論辯的評價及其步驟論辯的評價是指依據一定的標準與步驟對某一具體論辯的有效性進行的評價。論辯的有效性包括內容的有效性評價和論證方式的有效性評價，前者是指內容的真實性，後者是指論證方式符合論辯規律與規則。二論辯的要素評價論題的確定性評價是根據論辯的論證規範，側重於論題觀點自身是否明確清晰、有無暗含、有無矛盾、是否具有合法性、是否保持同一等方面做出分析評價。1．論題的確定性評價二論辯的要素評價論據的真實性評價是根據論辯的論證規範，側重於事實性論據是否真實、理論性論據是否可靠。2．論據的真實性評價論辯的綜合強度評價，是指在綜合某一論辯的論題的確定性評價、論據的真實性評價和論證方式的有效性評價之基礎上，對該論辯做出總的評價。三論辯的綜合強度評價論辯邏輯（中）第一節論證第三節辯論第二節辯護二01演繹證明法02歸納確證法反證法選言證法第一節論證03反駁法與破斥詭辯法直接反駁法間接反駁法歸謬反駁法破斥詭辯法三一演繹證明法演繹證明法就是引用一般性的原理、原則，並通過運用演繹推理證明論題真實性的方法。三一演繹證明法反證法就是通過說明與自己所主張的論點相矛盾的論題為假，再根據排中律確定原論點正確的論證方法。1.反證法三一演繹證明法選言證法，也稱排除證法，它是把所論證的論點看成是諸多可能成立命題中的一個，然後尋找論據把其他的命題一一否定，進而確定所欲論述的論點是正確的一種論證方法。2.選言證法實施過程二歸納確證法歸納確證法是指運用歸納、類比等或然性推理，通過引用一系列事實的或較為特殊性的判斷，對論題的真實性給予一定程度的支持的論證方法。歸納確證法，有時稱為例證法。所謂直接反駁法，就是用論據從正面說明某一命題是不正確的或某個論證方式是無效的。直接反駁的對象可以是對方主張的論點，也可以是對方提出的論據或其論辯方式。直接反駁可以借助各種推理形式進行。三反駁法與破斥詭辯法1

.直接反駁法所謂間接反駁法，是先提出一個與所要反駁的論點具有矛盾或反對關係的命題，並獨立地證明它的真實性，然後根據矛盾律關於兩個相互矛盾或反對的思想必有一假的原理，從反面說明對方主張的論點是不成立的。三反駁法與破斥詭辯法2

.間接反駁法歸謬反駁法是指，為了反駁某一命題，先假定它是對的，然後由它推出一個或若干明顯荒誕的結論，再運用充分條件假言推理的否定後件式來確定被反駁的命題是不正確、不合法的。歸謬反駁法是一種特殊的直接反駁法。三反駁法與破斥詭辯法3

.歸謬反駁法破斥詭辯法是論辯中常用的反駁方法。詭辯是論證過程中一種很嚴重的邏輯謬誤，它是一種人為地故意製造“貌似有理”的偽論證，以“貌似合乎邏輯”實為故意違反邏輯的手法，狡黠地向真理進攻或為謬論進行辯護的言論行為。三反駁法與破斥詭辯法4

.破斥詭辯法二01辯護的特點02辯護的常用方法什麼是辯護辯護的特點證明式辯護法反駁式辯護法第二節辯護解釋說明法補充強化法轉換法援引法逆辯法辨析法語義分離法斥偽法移植法類比法三一辯護的特點論題必須保持同一，就是要求在論證過程中，始終保持論題一致，不得隨意變換。這條規則是同一律邏輯要求的具體體現。1.什麼是辯護三一辯護的特點首先，從論辯的一般特性來看，任何辯護都有其具體起因、具體指向、基本任務與基本方法等要件。其二，從論辯的特殊性來看，有的論辯還有自身的特性。2.辯護的特點實施過程1.證明式辯護法二辯護的常用方法（1）解釋說明法。（2）補充強化法。（3）轉換法。（4）援引法。（5）逆辯法。實施過程2.反駁式辯護法二辯護的常用方法（1）辨析法。（2）語義分離法。（3）斥偽法。（4）移植法。（5）類比法。二01辯論的特點02辯論的常用方法03答辯的技巧反駁的方法質詢的方法第三節辯論準確把握問題的具體語境與預設清晰地辨明問題慎選合宜的答辯詞句避免不必要的抗拒性防禦合理閃避問題有效反擊虛假預設三一辯論的特點辯論是指對抗情境下的辯護，它是持對抗性觀點的參與人通過運用證明、反駁等方法，為己方觀點進行辯護的論辯過程。美國辯論學家弗裏萊認為，辯論是質問和論爭的過程，是對某個辯題做出合理判斷的追求，因此，“我們應該把辯論看作一種批判性思維的方法”三二質詢的方法一反駁的方法辯論的常用方法質詢的功能質詢的基本方法與要求事實反駁法揭示矛盾法讓步反駁法二難反駁法比較反駁法比喻反駁法隱含推論反駁法幽默反駁法論辯邏輯（上）第一節論辯概述第三節論辯的規則論辯的規則第二節論辯的邏輯規律第一節論辯概述提高科學思維能力。提高論辯水準和文字表達能力。一二什麼是論辯論辯與推理的關係三一什麼是論辯論辯是指運用一個或一些命題對待證命題進行論證與辯護的思維過程。這裏的待證命題是指需要證明的陳述某個觀點或事實的命題。下麵用一個案例予以說明：實施過程二論辯與推理的關係論辯與推理有著密切的聯繫。論辯必須運用推理，離開了推理，論辯就無法進行。論辯的論題相當於推理的結論，其論據相當於推理的前提，而論辯中所使用的論證方式則相當於推理形式。實質客觀性一概述內容與要求邏輯錯誤作用二同一律內容與要求邏輯錯誤作用三矛盾律內容與要求邏輯錯誤作用四排中律第二節論辯的邏輯規律內容與要求邏輯錯誤作用一概述三一邏輯規律的概述人類在長期的進化過程中，隨著思維能力的提高，逐步形成了用以指導人類思維的思維規律，如形式邏輯的基本規律。這些思維規律體現了人類思維的主觀能動性，並對人類的思維包括推理和論辯等思維起著指導與制約作用。1.邏輯規律的實質三一邏輯規律的概述邏輯思維的基本規律是思維領域的主觀規律，它是對客觀事物規律的反映，同時又是對客觀事物質的相對穩定性的反映。2.邏輯規律的客觀性實施過程1.同一律的基本內容與邏輯要求二同一律同一律的基本內容是：在同一思維過程中，每一思想必須與其自身是同一的。實施過程2.違反同一律要求的邏輯錯誤二同一律違反同一律要求的邏輯錯誤，一般有以下四種情形：（1）偷換概念。（2）混淆概念。（3）偷換論題。（4）轉移論題。實施過程3.同一律在論辯中的作用二同一律同一律在論辯中的作用，就在於保證思維的同一性。（1）運用矛盾律，有助於揭示錯誤表述中的自相矛盾。（2）運用矛盾律，揭露詭辯者自相矛盾的狡辯。三矛盾律1

.矛盾律在論辯中的作用違反矛盾律要求的邏輯錯誤稱為“自相矛盾”。例如，我們經常說的“前言不搭後語”“出爾反爾”“不能自圓其說”等就是指違反矛盾律的自相矛盾錯誤。三矛盾律2

.違反矛盾律要求的邏輯錯誤違反矛盾律要求的邏輯錯誤稱為“自相矛盾”。例如，我們經常說的“前言不搭後語”“出爾反爾”“不能自圓其說”等就是指違反矛盾律的自相矛盾錯誤。三矛盾律2

.違反矛盾律要求的邏輯錯誤四排中律排中律的基本內容是：在同一思維過程中，兩個互相矛盾的思想不可同假。1

.排中律的基本內容與邏輯要求二四排中律違反排中律要求的邏輯錯誤稱為“模棱兩可”。模棱兩可就是對兩個互相矛盾的概念或命題都加以否定，故又稱“兩不可”。2.違反排中律要求的邏輯錯誤二四排中律（1）運用排中律，揭露、制止模棱兩可行為。（2）正確運用排中律，防止濫用複雜問語。3

.排中律在論辯中的作用二五充足理由律充足理由律的內容是，在論辯過程中要確定一個論斷是真的，就必須有充足的理由。如果沒有充足理由，那就沒有論證性。1

.充足理由律的內容和要求五充足理由律（1）理由虛假。（2）推不出。2.違反充足理由律要求的邏輯錯誤五充足理由律（1）遵循充足理由律，有助於加強論辯的論證性和說服力。（2）運用充足理由律，有助於全面把握案件中的因果聯繫。3.充足理由律在論辯中的作用清楚、明確同一一論題規則真實不應該依賴於論題二論據規則相干充分符合規則三論證方式規則第三節論辯的規則三一論題規則論題必須清楚、明確，是指論題不可含混不清，不應當有歧義，不能模棱兩可，也不可自相矛盾。如果論題含混不清、不知所云、模棱兩可或自相矛盾，那麼論辯的目標就不明確，自然就談不上運用適當的論據和論證方式來論證論題。1.論題必須清楚、明確三一論題規則論題必須保持同一，就是要求在論證過程中，始終保持論題一致，不得隨意變換。這條規則是同一律邏輯要求的具體體現。2.論題必須保持同一實施過程1.論據必須是已被證明過的真實命題二論據規則論據是確定論題真實性的根據，論據真實是確定論題真實性的必要條件，論題的真實性不能從虛假的論據中得到確定。論據不能是假的命題，也不能是真實性尚未得到證實的命題。否則，其所犯的邏輯錯誤就是：“虛假理由”或“預期理由”。實施過程2.論據的真實性不應該依賴於論題二論據規則論據是論題真實性的根據，論題在論辯中是有待論據來證明的命題。如果論據的真實性的判定又依賴於論題，那麼論題就不可能得到證明。這一規則就是要求論據與論題相一致，並且是證明論題所必需的。三論證方式規則1

.論據與論題必須相干論據對於論題的導出必須充分，是充足理由律的具體要求。論據是否充分就表現為從論據能否必然推出論題，如果從論據不能必然推出論題，那麼論據是不充分的。三論證方式規則2

.論據對於論題的導出必須是充分的論證方式是由論證過程中所運用的推理式構成的。論證必須遵守有關推理的規則。違反這一規則所犯的邏輯錯誤叫“論證的推理形式不正確”。例如：三論證方式規則3

.從論據導出論題時必須符合有關的推導規則演繹邏輯：詞項邏輯(上)第一節詞項概述第三節詞項外延間的關係第二節詞項的種類第四節明確詞項的邏輯方法概述一詞項及其特徵二語詞、詞項和概念第一節詞項概述什麼是詞項詞項的內涵和外延三一詞項及其特徵這裏所講的詞項，是指在主、謂式語句所陳述的命題（性質命題）中，充當命題的主項和謂項的語詞。例如：這裏所講的詞項，是指在主、謂式語句所陳述的命題（性質命題）中，充當命題的主項和謂項的語詞。1.什麼是詞項三一詞項及其特徵詞項是對語詞的邏輯抽象，是意義確定了的語詞。詞項表達特定的概念，即有客觀的內容；同時它又指稱具體的事物，即有反映的對象。這兩方面分別構成了詞項的內涵和外延。2.詞項的內涵和外延實施過程二語詞、詞項和概念語詞是指詞、片語一類的語言成分，它分為實詞和虛詞兩大類。凡具有確定意義的語詞就叫詞項，因而語詞中的實詞都是詞項。詞項的內涵就是詞項所表達的思想，即所反映的事物的本質屬性或特有屬性。在傳統邏輯中，將反映事物的本質屬性或特有屬性的思想稱為概念。單獨詞項、普遍詞項和空詞項一集合詞項和非集合詞項二正詞項和負詞項三第二節詞項的種類三一普遍詞項和空詞項根據詞項指稱事物外延的數量不同，詞項可以分為單獨詞項、普遍詞項和空詞項。實施過程二集合詞項和非集合詞項根據詞項指稱的對象是事物的群體還是某類事物中的分子，詞項可分為集合詞項和非集合詞項。根據詞項所指稱的事物是否具有某種屬性，詞項可分為正詞項和負詞項。三正詞項和負詞項二01相容關係02不相容關係全同關係真包含關係真包含於關係交叉關係矛盾關係反對關係第三節詞項外延間的關係三一相容關係如果S、P兩個不同詞項的外延完全重合，則S、P兩個詞項的外延間就是全同關係。全同關係也稱同一關係。1.全同關係三一相容關係如果詞項S的外延大於並包含了詞項P的全部外延，則S、P兩個詞項的外延間關係就是真包含關係。2.真包含關係全同關係三一相容關係如果S、P兩個詞項的外延有且只有一部分重合，則S、P兩詞項的外延間關係就是交叉關係。4.交叉關係實施過程1.矛盾關係二不相容關係如果S、P兩個不相容詞項被包含於同一屬詞項I中，並且S、P兩個詞項的外延之和等於其屬詞項I的外延，則S、P兩個詞項的外延間就是矛盾關係。實施過程2.反對關係二不相容關係如果S、P兩個不相容詞項被包含於同一屬詞項I中，並且S、P兩個詞項的外延之和小於其屬詞項I的外延，則S、P兩個詞項的外延間就是反對關係。二01限制和概括02定義詞項間的內涵與外延的反變關係詞項的限制詞項的概況什麼是定義下定義的方法定義的規則第四節明確詞項的邏輯方法03劃分什麼是劃分劃分的方法劃分的規則實質定義外延定義語詞定義相應相稱不得直接或間接包含被定義項。定義項一般不能用否定詞項。定義必須簡潔確切。相應對稱實質定義統一子項不同三一限制和概括任何詞項都有其確定的內涵和外延，具有屬性關係的詞項之間，它們的內涵和外延間構成一種反變關係，即一個詞項的外延越大，則它的內涵就越少；反之，一個詞項的外延越小，則它的內涵就越多。1.詞項間的內涵與外延的反變關係三一限制和概括詞項的限制就是通過增加詞項的內涵以縮小詞項的外延的邏輯方法，即由一個外延較大的詞項過渡到一個外延較小的詞項，或者說是由屬詞項過渡到種詞項的邏輯方法。2.詞項的限制三一限制和概括詞項的概括就是通過減少詞項的內涵以擴大詞項的外延的邏輯方法，即由一個外延較小的詞項過渡到一個外延較大的詞項，或者說是由種詞項過渡到屬詞項的邏輯方法。3.詞項的概括實施過程1.什麼是定義二定義定義是以簡明的方式揭示詞項內涵或外延的邏輯方法。換言之，定義就是通過揭示某一詞項所反映的對象的本質屬性或特有對象範圍來明確詞項的邏輯方法。實施過程2.下定義的方法二定義（1）實質定義。（2）外延定義。（3）語詞定義。實施過程3.定義的規則二定義（1）定義必須相應相稱。（2）定義項中不得直接或間接包含被定義項。（3）除非必要，定義項一般不能用否定詞項。（4）定義必須簡潔確切。劃分是揭示詞項外延的邏輯方法。它是把一個外延較大的屬詞項所包含的若干個種詞項揭示出來，或者說是將一個詞項所反映的一類事物分為若干個小類。三劃分1.什麼是劃分（1）一次劃分與連續劃分。（2）二分法。（3）分類。三劃分2.劃分的方法（1）劃分必須相應相稱。（2）劃分標準必須同一。（3）劃分的子項不得相容。三劃分3.劃分的規則演繹邏輯：詞項邏輯(下)第一節直言命題第三節三段論第二節直言命題的直接推理第四節謂詞邏輯自然推理直言命題間的真假關係04直言命題主、謂項的周延性03直言命題的種類02直言命題及其結構01第一節直言命題三直言命題的構成什麼是直言命題直言命題及其結構針對性靈活性層次性三一直言命題及其結構所謂直言命題，就是反映思維對象具有或不具有某種性質的命題。它是以主謂式語句表達的命題。直言命題又稱性質命題。1．什麼是直言命題三一直言命題及其結構詞項是構成直言命題最基本的單位。具體而言，直言命題分別是由主項、謂項、量項和聯項四個部分組成的。2．直言命題的構成直言命題的種類123全稱肯定命題全稱否定命題特稱肯定命題46特稱否定命題單稱否定命題5特稱肯定命題二01直言命題對當關係推理02直言命題變形推理根據矛盾關係的推理根據反對關係的推理根據下反對關係的推理換質法換位法第二節直言命題的直接推理三一直言命題對當關係推理在具有矛盾關係的A與O、E與I命題之間，可以由其中一個命題為真，推知另一個命題為假；可以由其中一個命題為假，推知另一個命題為真。1．根據矛盾關係的推理三一直言命題對當關係推理在具有反對關係的命題A與E之間，可以由其中一個為真，推知另一命題為假。因此，基於反對關係的直接推理有如下兩種：SAP├﹁SEPSEP├﹁SAP2．根據反對關係的推理三一直言命題對當關係推理在具有下反對關係的直言命題I與O之間，可以由其中一個命題為假，推知另一個命題為真。因此，基於下反對關係的直接推理有如下兩種：﹁SIP├SOP﹁SOP├SIP3．根據下反對關係的推理三一直言命題對當關係推理在具有差等關係的直言命題A與I、E與O之間，可以由全稱命題為真推知特稱命題為真，也可以由特稱命題為假推知全稱命題為假。基於差等關係的直接推理有如下四種：SAP├SIP﹁SIP├﹁SAPSEP├SOP﹁SOP├﹁SEP4．根據差等關係的推理實施過程1．換質法二直言命題變形推理（1）換質法的定義。（2）換質法的基本規則。（3）換質法的推理形式。（4）換質法的基本功能。實施過程2.換位法二直言命題變形推理（1）換位法的定義。（2）換位法的基本規則。（3）換位法的推理形式。（4）換位法的基本功能。二01什麼是三段論02三段論的規則03三段論在司法審判中的作用三段論的定義三段論的特點三段論的格和式三段論的一般規則三段論各格的具體規則第三節三段論三一什麼是三段論三段論是由包含一個共同項的兩個直言命題作為前提，推出一個新的直言命題作為結論的推理。1.三段論的定義三一什麼是三段論