Modus ponens
From Wikipedia, the free encyclopedia
 |
This article is orphaned. Few or no other articles link to it. Please help add links in articles on topics related to this one. (May 2009) |
Modus ponendo ponens (Latin: mode that affirms by affirming;[1]is a valid, simple argument form in classical logic sometimes referred to as affirming the antecedent or the law of detachment. It is closely related to another valid form of argument, modus tollens or denying the consequent.
Modus ponens is a very common rule of inference, and takes the following form:
- If P, then Q.
- P.
- Therefore, Q.[2]
[change] Other pages
- Hypothetical syllogism
- Modus tollens
- Modus tollendo ponens
- Modus tollendo tollens
- Affirming the consequent
- Denying the antecedent
- Disjunctive syllogism
- Inference rule
[change] References
- ↑ Stone, Jon R. (1996). Latin for the Illiterati: Exorcizing the Ghosts of a Dead Language. London, UK: Routledge: 60..
- ↑ Jago, Mark (2007). Formal Logic. Humanities-Ebooks LLP. ISBN 978-1-84760-041-7.
