English
Noun
law of excluded middle (uncountable)
- (logic) A principle of classical logic which states all statements must be either true or false, i.e. in symbols:
.
Abbreviations
Translations
axiom of classical logic
- Icelandic: lögmál um annað tveggja n
|
|
- Polish: zasada wyłączonego środka f
|