Proof by Cases/Sequent Form/Proof 1

Theorem

 * $p \lor q, \left({p \vdash r}\right), \left({q \vdash r}\right) \vdash r$

Proof
By the tableau method of natural deduction: