law of excluded middle


noun Logic.

the principle that any proposition must be either true or false.