Rule of Addition

Sequent
The rule of addition is a valid deduction sequent in propositional logic.

Also see

 * Proof by Cases