Rule of Addition/Sequent Form

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