查看“肯定前件”的源代码

在[[逻辑]]中，'''肯定前件'''（[[拉丁语]]：''Modus ponens''）是[[准效性|有效的]]、简单的[[论证形式]]（常缩写为'''MP'''）:

:如果P，则Q。
:P能证明Q。

== 形式符號 ==

肯定前件規則可以用[[相繼式]]符號寫為：
:<math>P \to Q, P \vdash Q</math>

或用[[推理規則|規則形式]]寫為：
:<math>\qquad\frac{P \rightarrow Q, P}{Q}</math>

== 解說 ==
在[[元逻辑]]中肯定前件是[[切]]规则。[[切消定理]]声称切是在某些逻辑演算（[[相继式演算]]）中有效的（[[可容纳规则]]）。

这个论证形式有两个前提。第一个前提是"if-then"或'''[[逻辑条件]]'''断言，表示为P蕴涵Q。第二个前提是这个条件断言的[[前件]]P是真的。从这两个前提可以在逻辑上得出[[后件]]Q一定也是真的。

下面是符合这种肯定前件的论证的例子：

:如果今天是星期二的话，那小明就要去上班。
:今天是星期二。
:所以小明要去上班。

这个论证是[[有效性|有效的]]的事实不能确保在论证中的任何陈述是[[真理|真的]]；肯定前件的有效性告诉我们结论必然是真的，如果所有前提是真的。记住在其中一个或多个前提不是真的的有效[[逻辑论证|论证]]是''不可靠''的论证，而如果所有前提都是真的，则这个论证是''可靠的''。在多数逻辑系统中，肯定前件是有效的。但是它的应用实例可以是可靠的也可以是不可靠的。

:如果一个论证是肯定前件的并且前提都是真的，则它是可靠的。
:前提都是真的。
:所以，它是可靠的论证。

使用肯定前件的[[命题逻辑|命题]]论证被称为是演绎的。

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

== 参见 ==
* [[否定後件]]
* [[肯定後件]]（一種邏輯上無效的論證形式）
* [[否定前件]]（一種邏輯上無效的論證形式）
* [[推理规则]]

== 外部链接 ==
* 陳力恒：〈[https://web.archive.org/web/20091228050122/http://www.thinkerspace.com/node/504 如言、選言發微]〉

[[Category:推理规则]]
[[Category:拉丁語邏輯短語]]