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