olemus
matemaatilise loogika haru, mis käsitleb lauseid tarinditena lihtlausetest ja loogikafunktsioonidest
= a branch of mathematical logic that treats sentences as constructs of simple sentences and logical functions

ülevaateid
http://mathworld.wolfram.com/PropositionalCalculus.html

https://web.williams.edu/Mathematics/lg5/200/PropPred.pdf

https://en.wikiversity.org/wiki/Propositional_calculus

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

http://www.newworldencyclopedia.org/entry/Propositional_calculus

https://iep.utm.edu/prop-log/

http://web.cs.ucdavis.edu/~filkov/classes/20/logic.pdf

https://www.cs.toronto.edu/~sacook/csc438h/notes/page1revised.pdf

vt ka
- predikaatloogika
- modaalloogika
- väitelause