B→A (m)实质上，它即是肯定式(1) 假言直言三段式必须遵守以下规则： 10如果承认前件，就承认后件。 20如果否认后件，就否认前件。 NOTE: (注1)在一个科学系统中，归纳演绎是互相结合使用的，总有一些作为演 绎推理的大前提是用归纳推理作出的结论。这时，演绎推理的结论的真实性，还 要经过实践检验。 (注2)数学中的演绎推理，不仅是简单的三段论，命题演算规则，也可以 作为演绎推理的规划。 (4)复合三段论 复合三段论是几个三段论联结在一起构成的，其中前一个三段论的结论作为 后一个三段论的前提。如： 平行四边形(M)是多边形(P) M-P 菱形M,)是平行四边形(M, M2-M 菱形(M2)是多边形P) M2-P 四边形ABCD(S)是菱形(M2) S-M 四边形ABCD(S)是多边形(P) S-P (5)关系推理 关系推理是根据对象关系的逻辑性质（对称性、传递性等）进行推演的推理， 它的前提和结论都是关系判断。 例如，利用对称性进行推理，有 aRb .bRq 例A=B∴B=A: AB∥CD.CD∥AB:(iii) A B B A       实质上，它即是肯定式（i） 假言直言三段式必须遵守以下规则： 1 0 如果承认前件，就承认后件。 2 0 如果否认后件，就否认前件。 NOTE： （注 1）在一个科学系统中，归纳演绎是互相结合使用的，总有一些作为演 绎推理的大前提是用归纳推理作出的结论。这时，演绎推理的结论的真实性，还 要经过实践检验。 （注 2）数学中的演绎推理，不仅是简单的三段论，命题演算规则，也可以 作为演绎推理的规划。 （4）复合三段论 复合三段论是几个三段论联结在一起构成的，其中前一个三段论的结论作为 后一个三段论的前提。如： 平行四边形（M1）是多边形（P） M1—P S P S M ABCD S P ABCD S M M P M M M P M M − −  − −  2 2 2 2 1 2 2 1 ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) 四边形 是多边形 四边形 是菱形 菱形 是多边形 菱形 是平行四边形 （5）关系推理 关系推理是根据对象关系的逻辑性质（对称性、传递性等）进行推演的推理， 它的前提和结论都是关系判断。 例如，利用对称性进行推理，有 bRq aRb  例 A=B ∴B=A； AB // CD ∴CD // AB；