Rule of Implication

Proof Rule
The rule of implication is a valid deduction sequent in propositional logic.