law of excluded middle

English

Noun

law of excluded middle

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

Abbreviations

LEM

Translations

axiom of classical logic

Icelandic: lögmál um annað tveggja n

Polish: zasada wyłączonego środka f

This article is issued from Wiktionary. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.