The formal logic principle that a statement and its negation cannot be simultaneously true.