Principle of Non-Contradiction

Theorem
The Principle of Non-Contradiction is a valid deduction sequent in propositional logic.

Also see

 * Law of Excluded Middle