Principle of Non-Contradiction/Sequent Form

Theorem

The Principle of Non-Contradiction can be symbolised by the sequents:

Formulation 1

$p, \neg p \vdash \bot$

Formulation 2

$\vdash \neg \paren {p \land \neg p}$