modus ponens
导读：modus ponens读音音标
modus ponens意思解释
释义取式，演绎推理； 英英释义 Modus ponensIn propositional logic, modus ponendo ponens (Latin for \"the way that affirms
modus ponens意思解释
释义取式，演绎推理； 英英释义 Modus ponensIn propositional logic, modus ponendo ponens (Latin for \"the way that affirms
modus ponens读音音标
modus ponens意思解释
释义
取式，演绎推理；
英英释义
Modus ponensIn 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.
