?肯定前件

1) 肯定前件 （ Modus Ponens ）:

[社科]?假言推理

...们在考试中取得好成绩；反映数学家的求真、空间想象能力；数学不仅研究宇宙、物质的需要。亚里斯多德的假言推理（modus ponens）是“如果命题A为真，比如家庭开支的记录和计算等等，数学教育的价值既可以从受教育对象的不同阶段的不同需要来看。

?肯定前件式

其中最为人们所熟知的是肯定前件式 (modus ponens)：“从 p 和 假设p，那么q 中推出 q ”。在弗雷格的体系当中，他要求把所有运用它的逻辑规则证明为推理的唯一规则。

?分离规则

com 2008 年11 月 11 日 小测试7 ? 请用自然语言描述三鲜水饺的下述条件： 推理法则 ? 分离规则 (Modus Ponens) ： ? 与消去： ? 单元归结： 其中， 是 m 的否定式 一阶确定子句 ? 子句： 原子语句的析取式 ? 一阶确定子句： 恰好只有一个...