olemus
loogika haru:
- lausetel on kaks võimalikku tõeväärtust, "tõene" ja "väär"
- neid kodeeritakse ka arvväärtustega 1 ja 0
- liitlausete tõeväärtused arvutakse
lihtlausete tõeväärtustest
=
a mathematical system concerning the two truth values, TRUE and FALSE and the functions AND, OR, NOT

ülevaateid
https://en.wikipedia.org/wiki/Principle_of_bivalence

https://ncatlab.org/nlab/show/two-valued+logic

http://wwwa.unine.ch/unilog/jyb/new%20principle%20of%20bivalence.pdf

https://plato.stanford.edu/entries/truth-values/

vt ka
- Boole'i algebra