Rule of Addition/Sequent Form/Formulation 2

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