中英▼
go top

modus ponens

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

网络释义专业释义英英释义

  肯定前件

1) 肯定前件 （ Modus Ponens ）:

基于2492个网页-相关网页

  [社科] 假言推理

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

基于96个网页-相关网页

  肯定前件式

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

基于60个网页-相关网页

  分离规则

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

基于44个网页-相关网页

短语

Generalized Modus Ponens 提式 ; 假言推理法 ; 广义假言推理

modus ponens and modus tollens 肯定前件和否定后件

eneralized modus ponens 一般化假言推理

suppression of modus ponens 肯定式抑制

Fuzzy Modus Ponens inference 模糊取式推理

modus tollerdo ponens 否定肯定式

modus tollendo 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
- 来自原声例句
小调查
请问您想要如何调整此模块？

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

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