Rule of Addition/Sequent Form/Proof 1

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$