肯定前件式

肯定前件式，英文名modus ponens，只肯定前件的假言推理形式。形式如下：

p -> q （前提1, p、q是命題）

p （前提2）

則q （結論）