Principle of Non-Contradiction/Sequent Form

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