Principle of Non-Contradiction/Sequent Form/Formulation 1

Theorem
The Principle of Non-Contradiction can be symbolised by the sequent:
 * $p, \neg p \vdash \bot$