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