Modus Tollendo Tollens

Proof Rule
The modus tollendo tollens is a valid deduction sequent in propositional logic: If we can conclude $p \implies q$, and we can also conclude $\neg q$, then we may infer $\neg p$.

That is:

If the truth of one statement implies the truth of a second, and the second is shown not to be true, then neither can the first be true.

It can be written:
 * $\displaystyle {p \implies q \quad \neg q \over \neg p} \text{MTT}$

Also known as
Modus tollendo tollens is also known as:


 * Modus tollens
 * Denying the consequent.

Also see
The following are related argument forms:
 * Modus Ponendo Ponens
 * Modus Ponendo Tollens
 * Modus Tollendo Ponens

The Rule of Transposition is conceptually similar, and can be derived from the MTT by a simple application of the Rule of Implication.

These are classic fallacies:


 * Affirming the Consequent
 * Denying the Antecedent

Linguistic Note
Modus tollendo tollens is Latin for mode that by denying, denies.

Modus tollens means mode that denies.

Technical Note
When invoking Modus Tollendo Tollens in a tableau proof, use the ModusTollens template:



or:

where:
 * is the number of the line on the tableau proof where Modus Tollendo Tollens is to be invoked
 * is the pool of assumptions (comma-separated list)
 * is the statement of logic that is to be displayed in the Formula column, without the  delimiters
 * is the first of the two lines of the tableau proof upon which this line directly depends, the one in the form $p \implies q$
 * is the second of the two lines of the tableau proof upon which this line directly depends, the one in the form $p$
 * is the (optional) comment that is to be displayed in the Notes column.