Proposition

"Proposition" in tl

palagay

(math: assertion which can be considered true or false)

palagay

(an assertion which is provably true, but not important enough to be a theorem)

Data sourced from Wiktionary, WordNet, CMU, and other open linguistic databases. Updated March 2026.