这种前进复合三段论有如下形式结构：

由这种推理形式可以清楚地看出，组成前进式复合三段论的各个三段论都是第一格的AAA式，而且每个三段论都是把大前提排在小前提的前面。

（2）后退式复合三段论。

前后复合三段论的另一种形式是前一个三段论的结论作为后一个三段的小前提，这种复合三段论叫做后退式复合三段论。

例如：

这种后退式复合三段论有如下形式结构：

由这种推理形式可以看出，组成后退式复合三段论的各个三段论也是第一格AAA式，只不过每个三段论都把小前提排在大前提的前面就是3。

2、连锁三段论

连锁三段论是前后复合三段论的省略形式。它是一系列性质命题的前提推导出一个性质命题的结论，在这种复合三段论中，除了最后一个三段论的结论中，其余各个三段论的结论都被省略掉了，而且每两个相邻的前提都有一个共同的项（即中项），由于连锁三段论是复合三段论的省略形式，所以，连锁三段论也有两种形式，即前进式连锁三段论和后退式连锁三段论。

（1）前进式连锁三段论。

前进式连锁三段论是把前进式的复合三段论，除了最后一个结论外，省略掉其余各个三段论的结论。例如，把前面说过的前进式复合三段论简化，就可以得出以下的连锁三段论：

     一切增进人们的知识的东西（M₁）都是有用的（P）；

     科学（M₂）是增进人们知识的（M₁）；

     逻辑学（S）是科学（M₂）；        

     所以。逻辑学（S）是有用的（P）。

这种前进式连锁三段论有如下结构形式：

这种形式是哥克兰尼提出来的，所以，这种形式的连锁三段论又叫做哥克兰尼式连锁三段论。其规则如下：

 ①第一个前提可以是否定的，其余前提必须是肯定的；

②最后的前提可以是特殊的，其余前提必须是全称的。

（2）后退式连锁三段论。

后退式连锁三段论就是把后退式的复合三段论，除了最后一个结论外，省略掉其余各个三段论的结论。例如，把前面讲过的后退式复合三段论简化，就可以得出以下的连锁三段论：

    自然数（S）是正整数（M₁）

    正整数（M₁）是有理数（M₂）；

    有理数（M₂）是实数（P）；    

    所以，自然数（S）是实数（P）。

这种后退式连锁三段论有如下形式结构：

这种推理形式是亚里士多德提出来的，所以，这种形式的连锁三段论又叫做亚里士多德式连锁三段论。其规则如下：

①第一个前提可以是特称的，其余前提都必须是全称的；

②最后的前提可以是否定的，其余前提都必须是肯定的。

3、带证式三段论

带证式是一种复合形式的三段论推理，其中有一个或两个前提是省略三段论推理的结论。所谓“带证”的意思就是指前提本身“带有证明”，也就是说，作为前提的是另一个省略三段论推理的结论。带证式有两种形式：即单带证式和复带证式。

（1）单带证式三段论。

 单带证式是指其中只有一个前提是作为另一个省略三段论的结论。例如：

     一切恒星都是有生有灭的，因为事物都是有生有灭的。

     太阳是恒星；               

     所以，太阳是有生有灭的。

在这个三段论推理中，只有一个前提是带有证明的，所以这种形式叫做单带证式。上面这个三段论的大前提是另一个省略三段论的结论。现把它复原如下：

        任何事物都是有生有灭的；

        一切恒星都是事物；             

        所以，一切恒星都是有生有灭的。

（2）复带证式三段论。

复带证式是指两个前提都是省略三段论的结论。例如：

      真理是不怕批评的，因为真理是客观规律的正确反映；

      达尔文的进化论是真理，因为它是物种产生和发展规律的正确反映；

      所以，达尔文的进化论是不怕批评的。

在这个三段论推理中，两个前提都是带有证明的，所以，这种形式叫做复带证式。这个三段论不但大前提是另一个省略三段论的结论，而且小前提也是另一个省略三段论的结论。现把大前提所带的省略三段论复原如下：

        凡客观规律的正确反映都是不怕批评的；

        真理是客观规律的正确反映；      

    所以，真理是不怕批评的。

小前提所带的省略三段论也可复原如下：

     凡正确反映物种产生与发展规律的就是真理；

     达尔文的进化论是正确反映物种产生与发展规律的；

     所以，达尔文的进化论是真理。

带证式由于对前提本身作了论证，揭示了前提的真实性，所以，应用带证式这种推理形式就具有更大的说服力。我们在论证过程中，经常运用带证式推理。