olemus
kolmanda võimaluse välistuse printsiip:
iga väide on kas tõene või väär
=
the principle that every proposition is either true or false , so that there is no third

näide
Boole'i algebras: samasus sup( a, ¬a ) = 1

ülevaateid
https://web.stanford.edu/~bobonich/glances%20ahead/IV.excluded.middle.html

https://ncatlab.org/nlab/show/excluded+middle

https://en.wikipedia.org/wiki/Law_of_excluded_middle