肯定前件
维基百科,自由的
encyclopedia
在
逻辑
中,
肯定前件
(
拉丁语
:
Modus ponens
)是
有效的
、简单的
论证形式
(常缩写为
MP
):
如果P,则Q;且P为真,故Q为真。