noun
(logic) A syllogism which assumes as one of its premises a proposition which was the conclusion of a preceding syllogism (the prosyllogism).