複製鏈接
請複製以下鏈接發送給好友
https://baike.baidu.hk/item/肯定前件式/1091182
複製
複製成功

肯定前件式

鎖定
肯定前件式（modus ponens）指只肯定前件的假言推理形式。
中文名
肯定前件式
外文名
modus ponens
形式如下：
p -> q （前提1, p、q是命題）
p （前提2）
則q （結論）