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 DeductionProof by ExampleInference in first-order logic FOL to PL Existential instantiation ( EI ) EI versus UIIf 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 #3AbtrennungsregelOther forms of syllogism:A Counterexample to Modus PonensFuzzy Modus Ponens: A New Model Suitable for Applications in Knowledge-Based Systems
