Law of excluded middle

For any proposition, either it or its contradictory obtains; for any proposition P, either P or not-P.

If we're being careful, we'll distinguish this from ThePrincipleOfBivalence.