中英▼
go top

modus ponens

  • 一种推理方式，根据假设命题，如果前提被肯定，那么结论也被肯定

专业释义英英释义

  • 假言推理 - 引用次数：4

    In the paper, we expound the basic knowledge of incidence calculus and study primarily the modus ponens on proposi- tional logic and three-valued logic.

    在文中,我们介绍发生率计算的一些基本知识,重点研究它在命题逻辑、三值逻辑上的假言推理。

    参考来源 - 发生率计算理论的研究 in C

·2,447,543篇论文数据，部分数据来源于NoteExpress

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.

以上来源于: WordNet

 柯林斯英汉双解大词典 

modus ponens /ˈməʊdəs ˈpəʊˌnɛnz/

[Latin]
  • 1. 

    N the principle that whenever a conditional statement and its antecedent are given to be true its consequent may be validly inferred, as in if it's Tuesday this must be Belgium and it's Tuesday so this must be Belgium (肯定前件的)假言推理 [logic]

同近义词

$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块？

感谢您的反馈，我们会尽快进行适当修改！
进来说说原因吧 确定
小调查
请问您想要如何调整此模块？

感谢您的反馈，我们会尽快进行适当修改！
进来说说原因吧 确定