In a categorical syllogism, the minor premise is the premise whose terms are the syllogism's minor term and middle term. It is also called the subsumption.
This article was originally based on material from the Free On-line Dictionary of Computing, which is licensed under the GFDL.
