Proof by Cases/Sequent Form

Theorem
Proof by Cases can be symbolised by the sequent:
 * $p \lor q, \paren {p \vdash r}, \paren {q \vdash r} \vdash r$