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