LEM & LNC

We can combine the Law of the Excluded Middle and the Law of Non-Contradiction to produce:

• exactly one of {a statement and its contradiction} is true and exactly one is false

But I'm reluctant to call this a "Law". It's the distillation of lots of experience with statements, but I don't see how that experience with many (many!) individual statements can justify a universal claim.