Law of excluded middle (LEM)

holds. It asserts that every statement is either true or false, with no middle ground.

Remark. Classical logic accepts this as an Axiom. Intuitionistic/Constructive logic rejects it: asserting $A\vee \neg A$ requires either a proof of $A$ or a proof of $\neg A$, and for many statements we have neither.