肯定前件

在邏輯中，肯定前件（拉丁語：Modus ponens）是有效的、簡單的論證形式（常縮寫為MP）:

如果P，則Q；且P為真，故Q為真。

形式符號

肯定前件規則可以用相繼式符號寫為：

$P\to Q,P\vdash Q$

或用規則形式寫為：

$\qquad {\frac {P\rightarrow Q,P}{Q}}$

解說

在元邏輯中肯定前件是切規則。切消定理聲稱切是在某些邏輯演算（相繼式演算）中有效的（可容納規則）。

這個論證形式有兩個前提。第一個前提是"if-then"或邏輯條件斷言，表示為P蘊涵Q。第二個前提是這個條件斷言的前件P是真的。從這兩個前提可以在邏輯上得出後件Q一定也是真的。

下面是符合這種肯定前件的論證的例子：

如果今天是星期二的話，那小明就要去上班。

今天是星期二。

所以小明要去上班。

這個論證是有效的的事實不能確保在論證中的任何陳述是真的；肯定前件的有效性告訴我們結論必然是真的，如果所有前提是真的。記住在其中一個或多個前提不是真的的有效論證是不可靠的論證，而如果所有前提都是真的，則這個論證是可靠的。在多數邏輯系統中，肯定前件是有效的。但是它的應用實例可以是可靠的也可以是不可靠的。

如果一個論證是肯定前件的並且前提都是真的，則它是可靠的。

前提都是真的。

所以，它是可靠的論證。

使用肯定前件的命題論證被稱為是演繹的。

肯定前件也叫做"分拆律"。

參見

• 否定後件
• 肯定後件（一種邏輯上無效的論證形式）
• 否定前件（一種邏輯上無效的論證形式）
• 推理規則

外部連結

• 陳力恆：〈如言、選言發微〉