“肯定前件”是“演绎推理”的基本推理规则，自然演绎系统（Natural deduction），希尔伯特系统（Hilbert system），相继式演算系统（Sequent calculus）皆以此为基础。

一，“肯定前件”的形式表达

“肯定前件”，也称为“三段论”：

- “如果A那么B；A；故B。”

- A, A → B ⊢ B

二，“肯定前件”溯源 【1】

“肯定前件”（拉丁语Modus ponens，MP）的历史可以追溯到古希腊，第一个明确描述使用“肯定前件”论证的是德奥弗拉斯特（Theophrastus）。

德奥弗拉斯特（371 BC-288 BC）是古希腊的哲学家，植物学家和博物学家，炼金术士，亚里士多德的学生。

对德奥弗拉斯特来说，尽管有障碍和困难，但科学家的合法雄心是要设法阐明他所观察和分析的事物的原因，为达到此目的，需要对一般性理论保持批评的态度，培养自己的观察力，诉诸类比，建立新的假设（如果相关），。。。必须敦促人们学习科学而不是依靠财富。

智者应该是这样的：不会在自己的家乡以外成为陌生人；不会失去朋友后缺少爱他的人；成为世界公民，勇敢地轻视财富的弊端。这正是“海内存知己，天涯若比邻“，。。。

三，“肯定前件”的有效性

“肯定前件”可以看作是一般性“因果关系”的形式化表达，“推论的信任是一种信念，即如果两个先前的命题（前提）没有错误，那么最终的命题（结论）就没有错误”。 换句话说：如果一个命题蕴含第二个命题，而第一个命题为真，则第二个命题也为真。 

“肯定前件”的有效性还可以使用真值表来说明：

参考文献：

【1】https://fr.wikipedia.org/wiki/Modus_ponens