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$