肯定前件式

p p 則q

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