前件肯定式推論規則

p p 則q肯定前件式，英文名modus ponens，只肯定前件的假言推理形式。形式如下：p -> q （前提1, p、q是命題）p （前提2）則q （結論）

要注意的是不要把離斷律和以下的推論混淆：. 若P，則Q。 ... 肯定後項並非對確的推論，如以上的例子，便有可能前題真但結論錯。 ... 否定後件律是一個對確的論證形式。

制动操作方式（前/后）：前后手刹/前手刹后脚刹 轮辋形式（前/后）：（铝轮）2.15X10/2.50X10 轮胎规格（前/后）：前90/90-10/后3.50-10 油箱最大容积（L): 5.8

... or ) 5 德摩根律 7 suVap 4 德摩根律( 8 ) up O 蕴涵定义律 9 u → ( 19ar ) 5 、假 ... 否前式德摩根律 9 分解式 2、9 肯前式 9 分解...

在邏輯中，肯定前件（拉丁語：Modus ponens）是有效的、簡單的論證形式（常縮寫為MP）: ... 肯定前件規則可以用相繼式符號寫為： ... 肯定前件也叫做"分拆律"。