Modus Ponens

Modus Ponens

Definition: Let $P$ and $Q$ be statements. Then the rule of inference known as Modus Ponens is given by the argument $(P \wedge (P \rightarrow Q)) \rightarrow Q$.

Modus Ponens often goes by the name of "The Rule of Detachment".

For example, let $P$ and $Q$ be the following statements:

• $P$: Bob has studied for the test.

• $Q$: Bob will pass the test.

Then Modus Ponens say that if Bob has studied for the test and Bob studying for the test means that Bob will pass the test then Bob will pass the test.