law of excluded middle

law of excluded middle

  1. (logic) A logical principle which states all statements must be either true or false, i.e. in symbols: P \vee \neg P .

This text is extracted from the Wiktionary and it is available under the CC BY-SA 3.0 license | Terms and conditions | Privacy policy 0.003
Offline English dictionary