law of excluded middle

noun

, Logic.

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