Law-of-excluded-middle Definition
noun
(logic) An axiom of classical logic which states a proposition P must be either true or false, i.e. in symbols: .
Wiktionary
Law-of-excluded-middle Is Also Mentioned In
Find Similar Words
Find similar words to law-of-excluded-middle using the buttons below.