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