Noun
(logic) A syllogism that is preliminary or logically essential to another syllogism.
(logic) The conclusion of such a syllogism, which becomes a premise of the following syllogism.