olemus
(a) laias tähenduses: tõeväärtust kandev sisu
(b) lausearvutuses: lause, mis väljendab
asjaolu, juhtumit, olukorda vms

Wiktionary:
6. (countable, logic) the content of an assertion that may be taken as being true or false and is considered abstractly without reference to the linguistic sentence that constitutes the assertion; (Aristotelian logic) a predicate of a subject that is denied or affirmed and connected by a copula
7. (countable, mathematics) an assertion so formulated that it can be considered true or false
8. (countable, mathematics) an assertion which is provably true, but not important enough to be called a theorem

ISO/IEC 2382:
olemeid puudutav kujuteldav olukord, mille olemasolu
nende olemite puhul on võimalik nentida või eitada.
= a conceivable state of affairs concerning entities about which it is possible to assert or deny that such a state of affairs holds for these entities

ülevaateid
https://glossary.sil.org/term/proposition

https://www.newworldencyclopedia.org/entry/Proposition

https://cmap.ihmc.us/docs/proposition.php

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

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

https://plato.stanford.edu/entries/propositions/

https://math.libretexts.org/Bookshelves/Combinatorics_and_Discrete_Mathematics/A_Spiral_Workbook_for_Discrete_Mathematics_(Kwong)/02%3A_Logic/2.01%3A_Propositions

https://www.math.fsu.edu/~pkirby/mad2104/SlideShow/s2_1.pdf

vt ka
- lausearvutus