Modus ponens
From The Art and Popular Culture Encyclopedia
Related e |
Featured: |
In propositional logic, modus ponendo ponens (Latin for "the way that affirms by affirming"; often abbreviated to MP or modus ponens or implication elimination is a valid, simple argument form and rule of inference.
See also
Unless indicated otherwise, the text in this article is either based on Wikipedia article "Modus ponens" or another language Wikipedia page thereof used under the terms of the GNU Free Documentation License; or on research by Jahsonic and friends. See Art and Popular Culture's copyright notice.