由两个以上的前提推出结论的推理。参看〖三段论〗。

“直接推理”的对称。前提有两个或更多判断的推理。主要包括：三段论，纯粹关系推理，混合关系推理，纯粹假言推理，假言直言推理，选言直言推理，假言选言推理，各种归纳推理，类比推理。

以模态判断为前提或结论的推理。根据模态判断间的关系进行。也有直接推理和间接推理之分。例如由“不可能一切规律都已为我们所掌握”推出“必然有的规律还没有为我们所掌握”，就是一个直接的模态推理。

前提至少有一个是关系判断，而结论总是关系判断的推理。除了由一个关系判断做前提的直接推理之外，还有两种间接推理：纯粹关系推理和混合关系推理。

1.逻辑名词。也叫三段论﹑三段论法。形式逻辑间接推理的基本形式，由大前提﹑小前提﹑结论三部分组成，故称。

1.亦作"间接推理"。 2.由两个以上的前提推出结论的推理。

“间接推理”的对称。前提只有一个判断的推理。主要的有：(1)前提是一个性质判断的直接推理，包括换质法、换位法、换质位法等。(2)前提是一个关系判断的直接推理。如：“a比b大，所以，b比a小。”(3)前提是一个假言判断的直接推理。如由“如果两个三角形全等，那么它们的对应角相等”推出“只有两个三角形的对应角相等，这两个三角形才全等”。