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