出典:Wiktionary
modus ponens (uncountable)
出典:Wikipedia
出典:『Wikipedia』 (2011/07/14 17:07 UTC 版)
In classical logic, modus ponendo ponens (Latin for the way that affirms by affirming; often abbreviated to MP or modus ponens) is a valid, simple argument form. It is related to another valid form of argument, modus tollens. Both Modus Ponens and Modus Tollens can be mistakenly used when proving arguments. Both have apparently similar but invalid forms such as affirming the consequent or denying the antecedent and proof by contradiction or proof by contrapositive or evidence of absence.