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$ .

Synonyms

LEM

Translations

axiom of classical logic

Chinese:
Mandarin: 排中律 (zh) (páizhōnglǜ)
French: principe du tiers exclu m
Icelandic: lögmál um annað tveggja n
Japanese: 排中律 (ja) (はいちゅうりつ, haichūritsu)
Latin: principium tertii exclusi n, tertium non datur 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.