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

所以，自然数（S）是有理数(M₁)；

有理数(M₁)是实数（P）；      

所以，自然数(S)是实数(P)。

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

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

2、连锁三段论

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

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

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

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

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

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

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

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

S        P 

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

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

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

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

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

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

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

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

S             M1 
M1        M2 
M2        P 
S         P 

这种推理形式是亚里士多德提出来的，所以，这种形式的连锁三段论又叫做亚里士多德式连锁三段论。其规则如下： 
①第一个前提可以是特称的，其余前提都必须是全称的； 
②最后的前提可以是否定的，其余前提都必须是肯定的。

3、带证式三段论

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

（1）单带证式三段论。

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

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

     太阳是恒星；               

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

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

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

        一切恒星都是事物；             

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

（2）复带证式三段论。

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

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

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

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

在这个三段论推理中，两个前提都是带有证明的，所以，这种形式叫做复带证式。这个三段论不但大前提是另一个省略三段论的结论，而且小前提也是另 （责任编辑：城市网）