Law of Non-Contradiction

A proposition cannot be true and false at the same time.

$$ \lnot (P \land \lnot P) $$