law of excluded middle
Short definition from Wiktionary
Noun
- A logical principle which states all statements must be either true or false, i.e. in symbols: P∨¬P.
We haven’t written up law of excluded middle yet: Simple and Standard meanings, examples and a quiz.