Rule of Addition/Sequent Form/Formulation 2

Theorem
The Rule of Addition can be symbolised by the sequents:
 * $(1): \quad \vdash p \implies \paren {p \lor q}$
 * $(2): \quad \vdash q \implies \paren {p \lor q}$