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

亦称“演绎法”。简称“演绎”。“归纳推理”的对称。从包含一般性知识的前提推出包含特殊性知识的结论的推理。这里所说的一般和特殊都是相对而言的。演绎推理全都是必然性推理。主要的形式是三段论。

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

按此标准向同类推理。

1.逻辑学名词。即三段论。亦称定言三段论。是从两个已知的判断(前提)推出它们所制约的第三个判断(结论)来的间接演绎推理。因为两个前提和一个结论都是直言判断，所以叫直言三段论。如:凡金属都能导电，铜是金属，所以铜能导电。

从少数不加定义的原始概念和少数不加证明的基本命题(公理)出发，按特定演绎推理规则推导出这一学科中其他命题(定理)，并构成一个演绎系统的方法。任何特定的公理化系统都不是绝对严格和完备的。

改换一个性质判断的主项和谓项的位置以推出一个新判断的直接推理。其规则是：(1)联项不变。(2)前提中不周延的概念，在结论中不得周延。如由“所有的金属都是元素”推出“有些元素是金属”。

欧洲中世纪在学院中讲授的以解释基督教教义为内容的哲学，实际上是一种神学体系。由于采用烦琐的抽象推理的方法，所以也叫烦琐哲学。

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

1.古印度因明学的推理方法。因明法之宗﹑因﹑喻称三支。以因﹑喻论证宗，称比量。整个论证过程称三支比量。