**Modus Ponens** and **Modus Tollens** are forms of valid inferences. By Modus Ponens, from a conditional statement and its antecedent, the consequent of the conditional statement is inferred: e.g. from “If John loves Mary, Mary is happy” and “John loves Mary,” “Mary is happy” is inferred. By Modus Tollens, from a conditional statement and the negation of its consequent, the negation of the antecedent of the conditional statement is inferred: e.g. from “If today is Monday, then tomorrow is Tuesday” and “Tomorrow is not Tuesday,” “Today is not Monday” is inferred. The validity of these inferences is widely recognized and they are incorporated into many logical systems.

## Contents |

**Modus Ponens** (Latin: *mode that affirms;* often abbreviated as **MP**) is a form of valid inference. An instance of MP inferences involves two premises: One is a *conditional statement,* i.e. a statement of the form *If A, then B;* the other is the affirmation of the *antecedent* of the conditional statement, i.e. *A* in the conditional statement *If A, then B.* From these such pairs of premises, **MP** allows us to infer the *consequent* of the conditional statement, i.e. *B* in *If A then B.* The validity of such inferences is intuitively clear, since *B* must be true if the statements, *If A, then B* and *A* are both true.

Here is an example of an **MP** inference:

If Jack is innocent, he has an alibi.

Jack is innocent.

Therefore, Jack has an alibi.

The first two statements are the premises and the third statement is the conclusion. If the first and second are true, we are forced to accept the third.

One thing that may be mentioned here is that, in general, the validity of an inference does not guarantee the truth of the statements in the inference. The validity only assures us the truth of the conclusion *assuming* that the premises are true. Thus, for instance, it may be the case that not every innocent suspect has an alibi and that the first statement of the above example of **MP** inferences is in fact false. However, this does not affect the validity of the inference, since the conclusion must be true when we assume the two premises are true regardless of whether the two premises are in fact true.

The concept that involves the truth of the premises of inferences is *soundness.* An inference is sound if it is valid and all the premises are true; otherwise, the inference is unsound. Thus, an argument can be unsound even if it is valid, since valid arguments can have false premises.

Modus Ponens is referred to also as *Affirming the Antecedent* and *Law of Detachment.*

**Modus Tollens** (Latin for "mode that denies" abbreviated as **MT**) is another form of valid inference. As in the case of **MP,** an instance of **MT** inferences involves two premises. One is again a conditional statement *If A then B,* while the other, unlike **MP,** is the negation of the consequent, i.e. a statement of the form *not B.* From such pairs of premises, **MT** allows us to infer the negation of the antecedent of the conditional statement, i.e. *not A.* To see the validity of such inferences, assume toward contradiction that *A* is true given the two premises, *If A then B* and not *B* are true. Then, by applying **MP** to A and *If A then B,* we can derive *B.* This is contradictory and thus *A* is false, i.e. *not A.*

Here is an example of an **MT** inference

If Jack is innocent, he has an alibi.

Jack does not have an alibi.

Therefore, Jack is not innocent.

**MT** is often referred to also as *Denying the Consequent.* (Note that there are kinds of inferences that are similarly-named but invalid, such as *Affirming the Consequent* or *Denying the Antecedent.*)

**MP** and **MT** are widely recognized as valid and, in fact, there are various kinds of logic that validate both of them. Formal representations of these forms of inferences are given by using the language of propositional logic:

(where represents the conditional statement *If P then Q,* , the negation of *P;* and means that, from the statements on the left side of it, the right side can be derived.) Particularly, **MP** is so fundamental that it is often taken as a basic inferential rule of logical systems (while **MT** is usually a rule that can be derived by using basic ones in most of the logical systems). Here, we present several different formal representations of **MP.**

*Natural Deduction*

__P → Q P__- Q

*Sequent Calculus* (**MP** is usually called Cut in sequent calculus.)

- Bergmann, Merrie, Moor, James, and Nelson, Jack.
*The Logic Book.*McGraw-Hill. 1997. - Chellas, Brian F.
*Modal Logic: An Introduction.*Cambridge. 1980. - Copi, Irving M., and Cohen, Carl.
*Introduction to Logic.*Prentice Hall. 2004. - Hurley, Patrick J.
*A Concise Introduction to Logic.*Belmont, CA: Wadsworth/Thompson Learning. - Jeffrey, Richard C.
*Formal Logic: Its Scope and Limits.*McGraw-Hill. 1990. - Johnson, Robert M.
*Fundamentals of Reasoning: A Logic Book.*Belmont, CA: Wadsworth. - Kahane, Howard, and Cavender, Nancy.
*Logic and Contemporary Rhetoric.*Wadsworth. 1997. - Quine, Willard V. O.
*Mathematical Logic.*Harvard. 1981. - Shand, John.
*Arguing Well.*Routledge. 2000. - Suppes, Patrick.
*Introduction to Logic.*Dover. 1999. - Walton, Douglas N.
*Informal Logic: A Handbook for Critical Argumentation.*Cambridge. 1989.

All links retrieved November 12, 2014.

- Mustafa M. Dagli. Modus Ponens, Modus Tollens, and Likeness.
- Philosophy Pages. Argument Forms.
- Wolfram MathWorld. Modus Tollens

*New World Encyclopedia* writers and editors rewrote and completed the *Wikipedia* article in accordance with *New World Encyclopedia* standards. This article abides by terms of the Creative Commons CC-by-sa 3.0 License (CC-by-sa), which may be used and disseminated with proper attribution. Credit is due under the terms of this license that can reference both the *New World Encyclopedia* contributors and the selfless volunteer contributors of the Wikimedia Foundation. To cite this article click here for a list of acceptable citing formats.The history of earlier contributions by wikipedians is accessible to researchers here:

- Modus_ponens
^{history} - Modus_tollens
^{history}

Note: Some restrictions may apply to use of individual images which are separately licensed.