Rule of Implication

Proof Rule
The rule of implication is a valid argument in types of logic dealing with conditionals $\implies$.

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

Also see

 * Definition:Conditional
 * Modus Ponendo Ponens
 * Rule of Assumption