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

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