nLab law of non-contradiction

 Definition

The law of non-contradiction says that given a proposition $P$, $P$ and its denial negation $\neg P$ are mutually exclusive in that $\neg (P \wedge \neg P)$ holds.

The law of non-contradiction fails in paraconsistent logic.

 Related concepts

• excluded middle

• mutually exclusive propositions

 References

• Wikipedia, Law of noncontradiction