User Tools

Modus Ponens

Also abbreviated MP or MPP, is one of the most elementary (valid) logical inferences. It is based on a conditional and the affirmation of its antecedent.

A → B     –     if A, then B
A     –     A is true

∴ B     –     therefore B [is true]

The following is an example of a valid Modus Ponens:

If it is raining, [then] the street will get wet.
It is raining,
therefore the street will get wet.

Name

The full name of this form is “Modus ponendo ponens”. Loosely, this could be translated as the “mode of inferring an affirmative [statement] by affirmation [another statement]”.

Other names

  • Implication elimination
  • Affirming the antecedent
  • Affirmatio conditionis

Fallacies

Although the MP is intuitively comprehensible for most people, it is not uncommon to make fallacious conclusions on it.

The following table contrasts the modus ponens with its most common errors:

See also

More information

About this site

Ad Hominem Info is a project to explain and categorize the most common systematic fallacies and fallacies. On this page, you will find a background article that briefly explains an important logical concept, which may be needed to better understand another article in this area.
For more information, please see the main category “logic

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