law of excluded middle
English
Alternative forms
law of the excluded middle
Noun
law
of
excluded
middle
(
logic
)
A logical principle which states all statements must be either true or false, i.e. in symbols:
P
∨
¬
P
{\displaystyle P\vee \neg P}
.
Synonym:
(
initialism
)
LEM
Translations
Translations
Chinese:
Mandarin:
排中律
(zh)
(
páizhōnglǜ
)
Finnish:
kolmannen poissuljetun laki
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
See also
tertium non datur
.