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$