in logic, a series of syllogisms, all whose premises are either definitions, self-evident truths, or propositions already established. See Logic.