演繹推理、正向推理在傳統的亞里士多德邏輯中是「結論，可從叫做前提的已知事實，必然地得出的推理」。如果前提為真，則結論必然為真。這區別於溯因推理和歸納推理：它們的前提可以預測出高機率的結論，但是不確保結論為真。 演繹推理 還可以定義為結論在普遍性上不大於前提的推理，或「結論在確定性上，同前提一樣」的推理。 例子 任何三角形只可能是銳角三角形、直角三角形和鈍角三角形。 大前提 這個三角形既不是銳角三角形，也不是鈍角三角形。 小前提 所以，它是一個直角三角形。 結論 常用的基本論證形式 演算的基本論證形式 演算的基本論證形式 演算的基本論證形式 名字 相繼式 描述 肯定前件論式 p q p q 如果 p 則 q p 所以 q 否定後件論式 p q q p 如果 p 則 q 非 q 所以，非 p 假言三段論式 p q q r p r 如果 p 則 q 如果 q 則 r 所以，如果 p 則 r 選言三段論式 p q p q 要麼 p 要麼 q 非 p 所以，q 創造性二難論式 p qr s p r q s 如果 p 則 q 並且如果 r 則 s 但是要麼 p 要麼 r 所以，要麼 q 要麼 s 破壞性二難論式 p qr s q s p r 如果 p 則 q 並且如果 r 則 s 但是要麼非 q 要麼非 s 所以，要麼非 p 要麼非 r 簡化論式 p q p p 與 q 為真；所以，p 為真 合取式 p q p q p 與 q 分別為真；所以，它們結合起來是真 增加論式 p p q p 是真；所以析取式 p 或 q 為真 合成論式 p q p r p q r 如果 p 則 q 並且如果 p 則 r 所以，如果 p 是真則 q 與 r 為真 德摩根定律 1 p q p q p 與 q 的否定等價於 非 p 或非 q 德摩根定律 2 p q p q p 或 q 的否定等價於 非 p 與非 q 交換律 1 p q q p p 或 q 等價於 q 或 p 交換律 2 p q q p p 與 q 等價於 q 與 p 結合律 1 p q r p q r p 或 q 或 r 等價於 p 或 q 或 r 結合律 2 p q r p q r p 與 q 與 r 等價於 p 與 q 與 r 分配律 1 p q r p q p r p 與 q 或 r 等價於 p 與 q 或 p 與 r 分配律 2 p q r p q p r p 或 q 與 r 等價於 p 或 q 與 p 或 r 雙重否定律 p p p 等價於非 p 的否定 換位律 p q q p 如果 p 則 q 等價於如果非 q 則非 p 實質蘊涵律（蘊析律） p q p q 如果 p 則 q 等價於要麼非 p 要麼 q 實質等價律 1 p q p q q p p 當且僅當 q 意味著，如果 p 是真則 q 是真 與 如果 q 是真則 p 是真 實質等價律 2 p q p q q p p 當且僅當 q 意味著，要麼 p 與 q 都是真 要麼 p 和 q 都是假 輸出律 p q r p q r 從 如 p 與 q 是真則 r 是真 可推出 如果 q 是真則 r 為真的條件是 p 為真 輸入律 p q r p q r 如果 p，則 q 為真時，r 為真 可推出如果（p 與 q）為真，則 r 為真 重言式 p p p p 是真等價於 p 是真或 p 是真 排中律 p pTrue p 或非 p 是真 indiscernibility of identicals p q p r q r p q 且 如果 p 則 r 等價 如果 q 則 r 吸收律 p q p p q 如果 p 則 q，可以推出如果 p 則 p 且 q 公理化 更加形式化的說，演繹是陳述的序列，每個陳述都可以從它前面的陳述推匯出來。本質上，這導致 了 如何證明第一個句子的公開問題 因為它不能從任何事物得到。公理化命題邏輯透過要求證明滿足下列條件來解決這個問題 來自 wff 的全體 Σ 的證明 α 是一個 wff 的有限序列 β1βiβn 這裡的 βn α 一 並且對於每個 βi 1 i n， 要麼 βi Σ 要麼 βi 是一個公理。 要麼 βi 是兩個前面的 wff βig 和 βih 的肯定前件的輸出。 不同版本的公理化命題邏輯都包含一些公理，通常是三個或多於三個，除了一個或更多的推理規則之外。例如弗雷格公理化的命題邏輯，它也是這種嘗試的第一個例項，有六個命題公理和兩個規則。伯特蘭羅素和阿爾弗雷德諾思懷特黑德也提議了有五個公理的一個系統。 例如揚武卡謝維奇版本的公理化命題邏輯有接受如下公理的公理集合 A PL1 p q p PL2 p q r p q p r PL3 p q q p 並且它有有一個規則的推理規則的集合 R，這個規則就是下面的肯定前件 MP 從 α 和 α β 推出 β。 推理規則允許我們從公理或給定的全體 Σ 的 wff 推匯出陳述。 自然演繹邏輯 在 EJ Lemmon 提出的我們稱為系統 L 的一個版本的自然演繹邏輯中，我們首先沒有任何公理。我們只有支配證明的語法的九個基本規則。 系統 L 的九個基本規則是 假定規則 A 肯定前件規則 MPP 雙重否定規則 DN 條件證明規則 CP 介入規則 I 除去規則 E 介入規則 I 除去規則 E 反證法規則 RAA 在系統 L 中，證明的定義有下列條件 有一個 wff 合式公式 的有限序列 它的每行都被系統 L 的一個規則所證明 證明的最後一行是想要的 QED quod erat demonstrandum 是拉丁語：這就是要證明的，並且證明的最後一行只使用給出的前提；或者沒有前提（如果什麼都沒有給出的話）。 如果沒有前提給出，則相繼式叫做定理。所以在系統 L 中定理的定義是 定理是在系統 L 中使用空的假定集合能證明的相繼式。 或者換句話說 定理是在系統 L 中從假定的空集可以證明的相繼式。 相繼式的證明的一個例子 這裡是否定後件 p q q p 否定後件 MTT p q q p 否定後件 MTT p q q p 否定後件 MTT p q q p 否定後件 MTT 假定號 行號 公式 wff 使用的行和理由 1 1 p q A 2 2 q A 3 3 p A for RAA 13 4 q 13MPP 123 5 q q 24I 12 6 p 35RAA QED QED QED QED 相繼式證明的一個例子 這裡是一個定理 p p p p p p p p 假定號 行號 公式 wff 使用的行和理由 1 1 p p A for RAA 2 2 p A for RAA 2 3 p p 2 I 1 2 4 p p p p 1 2 I 1 5 p 2 4 RAA 1 6 p 5 DN 1 7 p p 6 I 1 8 p p p p 1 7 I 9 p p 1 8 RAA 10 p p 9 DN QED QED QED QED 系統 L 的每行都有自己對輸入或進入的型別的要求，它可以接受並且擁有它自己的處理和計算於是它的輸入使用的假定的方式。 參見 真理的符合理論 可廢止推理 歸納推理 假設演繹方法 命題演算 可靠性 逆推推理 有效性 引用 Jennings R E Continuing Logic the course book of Axiomatic Logic in Simon Fraser University Vancouver Canada Zarefsky David Argumentation The Study of Effective Reasoning Parts I and II The Teaching Company 2002 Category 邏輯 Y