ˌpɹɑpəˈzɪʃən (logic) a statement that affirms or denies something and is either true or false