(a) laias tähenduses:
tõeväärtust kandev sisu
lause, mis väljendab
asjaolu, juhtumit, olukorda vms
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.
olemeid puudutav olukord,
mille olemasolu saab 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.