百度百科
複合三段論
複合三段論(polysyllogism)亦稱“前後三段論”、“三段論的複雜式”、“三段論的複合形式”，指幾個三段論聯結起來構成的推理。前一個三段論的結論是後一個三段論的前提之一(大前提或小前提)，由於它們緊密連接，因此後者省略，以免重複。如： “科學是有用的，邏輯學是科學，所以邏輯學是有用的。一切有用的東西都應該學習，因此邏輯學應該學習。”其中“邏輯學是有用的”是前一個三段論的結論，又是後一個三段論的小前提。爲避免表達上的重複，在後一個三段論中予以省略，而且在前一個三段論中也予以省略，那就是複合三段論的省略形式，稱爲聯鎖三段論。 © 漢典