premise

an abstract object in propositional calculus meant to represent a statement taken to be asserted as true, from which a conclusion may be reached through a proof, §1-0; cf. Languages of Science