肯定前件式
只肯定前件的假言推理形式
肯定前件式（modus ponens）指只肯定前件的假言推理形式。
形式如下：
p -> q （前提1, p、q是命题）
p （前提2）
则q （结论）
参考资料
最新修订时间：2023-07-06 18:24
条目作者
小编
目录
概述
参考资料

Copyright©2024 闽ICP备2024072939号-1