ASSUMPTION, in Logic, is the minor or second proposition, in a categorical syllogism.

ASSUMPTION is also used for a consequence drawn from the proposition whereof an argument is composed.