Modus Ponendo Ponens

Proof Rule
Modus ponendo ponens is a valid argument in types of logic dealing with conditionals $\implies$.

This includes propositional logic and predicate logic, and in particular natural deduction.

Variants
The following forms can be used as variants of this theorem:

Also see

 * Definition:Conditional
 * Rule of Implication

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