The Modus Ponens Rule Explained

A detailed tutorial on the modus ponens rule. Step by step tutorial including several examples of the modus ponens rule for reference.

Modus ponendo ponens, typically shortened to just modus ponens, is an argument in logic. It is closely related to the argument modus tollens. Modus ponens states that if P, then Q. P, therefore Q. This can be expressed in either sequent form or rule form for formal notation.

Sequent Form:

Rule Form:

Bookmark It

Hide Sites