Principle of Non-Contradiction

Theorem
The principle of non-contradiction is a valid argument in types of logic dealing with negation $\neg$ and contradiction $\bot$.

This includes classical propositional logic and predicate logic, and in particular natural deduction.

Also see

 * Definition:Negation
 * Definition:Contradiction
 * Law of Excluded Middle