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