Modus Ponendo Ponens/Sequent Form

Theorem
The modus ponendo ponens can be symbolised by the sequent:
 * $p \implies q, p \vdash q$