- 1. modus ponens: 肯定前件
1) 肯定前件 （ Modus Ponens ）:
dict.youdao.com - 2. modus ponens: 假言推理
...们在考试中取得好成绩；反映数学家的求真、空间想象能力；数学不仅研究宇宙、物质的需要。亚里斯多德的假言推理（modus ponens）是“如果命题A为真，比如家庭开支的记录和计算等等，数学教育的价值既可以从受教育对象的不同阶段的不同需要来看。
dict.youdao.com - 3. modus ponens: 肯定前件式
其中最为人们所熟知的是肯定前件式 (modus ponens)：“从 p 和 假设p，那么q 中推出 q ”。在弗雷格的体系当中，他要求把所有运用它的逻辑规则证明为推理的唯一规则。
dict.youdao.com - 4. modus ponens: 分离规则
com 2008 年11 月 11 日 小测试7 请用自然语言描述三鲜水饺的下述条件： 推理法则 分离规则 (Modus Ponens) ： 与消去： 单元归结： 其中， 是 m 的否定式 一阶确定子句 子句： 原子语句的析取式 一阶确定子句： 恰好只有一个...
dict.youdao.com - 5. Generalized Modus Ponens: 提式
dict.youdao.com - 6. Generalized Modus Ponens: 假言推理法
dict.youdao.com - 7. Generalized Modus Ponens: 广义假言推理
dict.youdao.com - 8. modus ponens and modus tollens: 肯定前件和否定后件
dict.youdao.com - 9. eneralized modus ponens: 一般化假言推理
dict.youdao.com - 10. suppression of modus ponens: 肯定式抑制
dict.youdao.com
有道词典