Proof by Cases/Sequent Form

Theorem
The Rule of Or-Elimination can be symbolised by the sequent:
 * $p \lor q, \left({p \vdash r}\right), \left({q \vdash r}\right) \vdash r$