WordNet: proposition

Sanatista
(logic) a statement that affirms or denies something and is either true or false



proposition