proposition

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