在线词典
在线词典，是一款在线使用的中英文查词词典。本工具支持查询英文和中文单词及词组的含义，查询效率高、结果丰富，包括单词变体、常用短语、英英释义、同义词、同根词、词语辨析等，是外语学习者必备的在线查词工具。
输入要查询的单词：
modus ponens
查词链接：
https://www.zzcmix.top/dict/modus_ponens复制链接 一种推理方式，根据假设命题，如果前提被肯定，那么结论也被肯定
查看英英释义
abstract:
In propositional logic, modus ponendo ponens (Latin for "the way that affirms by affirming"; often abbreviated to MP or modus ponensCopi and CohenHurleyMoore and Parker) or implication elimination is a valid, simple argument form and rule of inference.Enderton 2001:110 It can be summarized as "P implies Q; P is asserted to be true, so therefore Q must be true.
网络释义
肯定前件
1) 肯定前件 （ Modus Ponens ）:
假言推理
...们在考试中取得好成绩；反映数学家的求真、空间想象能力；数学不仅研究宇宙、物质的需要。亚里斯多德的假言推理（modus ponens）是“如果命题A为真，比如家庭开支的记录和计算等等，数学教育的价值既可以从受教育对象的不同阶段的不同需要来看。
肯定前件式
其中最为人们所熟知的是肯定前件式 (modus ponens)：“从 p 和 假设p，那么q 中推出 q ”。在弗雷格的体系当中，他要求把所有运用它的逻辑规则证明为推理的唯一规则。
分离规则
com 2008 年11 月 11 日 小测试7 请用自然语言描述三鲜水饺的下述条件： 推理法则 分离规则 (Modus Ponens) ： 与消去： 单元归结： 其中， 是 m 的否定式 一阶确定子句 子句： 原子语句的析取式 一阶确定子句： 恰好只有一个...
常用短语
更多常用短语近义词
演绎推理；肯定前件论式；取式
正在查询...
{error}
你是不是想查找：
- {typos}
{word}
{phones} {trans} {trans_ee} {exam_types}{web_trans} {variants} {phrases} {synonyms} {rels} {discriminations} 查词链接：
{link}复制链接{phones}
{text}：[{value}]{trans}
{trans}
{pos}
{tran}
{tran}
查看英英释义
{trans}
{pos}
{list} {tran}
{words}{word}同义词： {words}
{pos}
{words}
{exam_types}
单词变体
- {variants}
常用短语
- {phrases}
网络释义
{web_trans}
{tran}
{detail}
近义词
{synonyms}
{pos} {tran}
{words}
同根词
{rels}
{pos}
{words}
{word}{tran}
词语辨析
{discriminations}
{num}、{title}
{description}- {usages}
{description}