olemus
mitu loogikaopewraatoritega ühendatud lauset, mis loovad seose propositsioonide vahel
= two or more statements that are connected by logical operators, that establish the relationship between propositions

ülevaateid
https://en.wikipedia.org/wiki/Statement_(computer_science)

https://math.dartmouth.edu/~doyle/docs/finite/fm2/scan/1.pdf

https://www.cs.ryerson.ca/~mth314/W08/Slides/Chapter1.pdf