百度百科
复合三段论
复合三段论(polysyllogism)亦称“前后三段论”、“三段论的复杂式”、“三段论的复合形式”，指几个三段论联结起来构成的推理。前一个三段论的结论是后一个三段论的前提之一(大前提或小前提)，由于它们紧密连接，因此后者省略，以免重复。如： “科学是有用的，逻辑学是科学，所以逻辑学是有用的。一切有用的东西都应该学习，因此逻辑学应该学习。”其中“逻辑学是有用的”是前一个三段论的结论，又是后一个三段论的小前提。为避免表达上的重复，在后一个三段论中予以省略，而且在前一个三段论中也予以省略，那就是复合三段论的省略形式，称为联锁三段论。