AKIT
English Eesti

proposition (2)

propositsioon, väitelause

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 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.

ü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