当前位置：首页 > 字典 > 英语词典 > M >

modus ponens

《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

学习《modus ponens》怎么用

权威例句

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

上一篇：modus operandi

下一篇：modus vivendi

打印
收藏

更多英语单词