User Tools

Modus Tollendo Ponens

Also abbreviated MTP. One of the elementary (valid) logical conclusion figures. It is based on a disjunction and has the form:

A ∨ B   –   (A or B)
¬A   –   (not A)
∴ B   –   (therefore B)

For example, the following is a valid MTP:

Today will be rain or fog.
There is no rain today.
Therefore there will be fog today.


The name of this form can be freely translated as “method of infering an affirmative sstatement by denying”.

Other names

  • Disjunctive syllogism


As with other forms of logical reasoning, there are several fallacies that can on incorrect application of the MPT:

The following table compares the Modus tollendo ponens and the most important related fallacies:

See also

More information

This website uses cookies. By using the website, you agree with storing cookies on your computer. Also, you acknowledge that you have read and understand our Privacy Policy. If you do not agree, please leave the website.

More information