肯定前件式，英文名modus ponens，只肯定前件的假言推理形式。形式如下：
p -> q （前提1, p、q是命题）
p （前提2）
则q （结论）
百科全书收录4421916条中文百科知识，基本涵盖了大多数领域的百科知识，是一部内容开放、自由的电子版百科全书。