网站首页  词典首页

请输入您要查询的英文单词:

 

单词 modus ponens
释义

modus ponens

听听怎么读
是什么意思
  • 释义

    取式,演绎推理;

  • 英英释义

    Modus ponens

    • 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.

    以上来源于:Wikipedia

    学习怎么用

    权威例句

    Knowledge Base ( 3 )
    Natural Deduction
    Proof by Example
    Inference in first-order logic FOL to PL Existential instantiation ( EI ) EI versus UI
    If the car is green, then it has four-wheel drive. The car has either four-wheel drive or power steering, but not both. What can you...
    Material Covered in Lecture #3
    Abtrennungsregel
    Other forms of syllogism:
    A Counterexample to Modus Ponens
    Fuzzy Modus Ponens: A New Model Suitable for Applications in Knowledge-Based Systems
    随便看

     

    英语词典包含168364条英汉在线翻译词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。

     

    Copyright © 2010-2024 Sijigu.com All Rights Reserved
    京ICP备2021023879号 更新时间:2024/11/9 1:47:10