in logic a statement in an argument from which the conclusion is drawn (see deduction syllogism) more generally any assertion or presupposition on which an argument or theory is based.