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