Rule of Addition/Sequent Form/Formulation 1

Theorem

 * $(1): \quad p \vdash p \lor q$
 * $(2): \quad q \vdash p \lor q$