Reductio ad Absurdum/Sequent Form

Proof Rule
The Reductio ad Absurdum can be symbolised by the sequent:
 * $\left({\neg p \vdash \bot}\right) \vdash p$