肯定前件

在邏輯中 ， 肯定前件 （ 拉丁語 ： Modus ponens ） 是有效的 、 簡單的論證形式 （ 常縮寫爲MP ）: 如果P ， 則Q ； 且P爲真 ， 故Q爲真 。