law of excluded middle

Noun

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

Translations

 * Chinese:
 * Mandarin:
 * Finnish: kolmannen poissuljetun laki
 * French: principe du tiers exclu
 * Icelandic: lögmál um annað tveggja
 * Japanese:
 * Latin: principium tertii exclusi, tertium non datur
 * Polish: zasada wyłączonego środka