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

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

zhuān jiā/gū/jie xì/jì tǒng模拟专家处理问题的方法进行工作的计算机系统。通常需将专家的知识及如何应用这些知识的方法编成程序，并预先送入计算机，然后由计算机根据需要处理的问题，应用这些知识和方法进行分析、推理和判断，最后得出结论。所得结论类似于专家处理该问题时得出的结论。

liǎng dāo lùn/lún fǎ1.即二难推理。逻辑上称假言推理和选言推理联合起来的推理。大前提是两个假言判断，小前提是选言判断。

wǔ jīng1.指印度古因明学(即逻辑学)的五段推理法，后为新学三段推理法所代替。

yī cǐ lèi tuī按此标准向同类推理。

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

yīn míng1.亦称"因明论"。 2.古代印度五明之一。音译为醯都费陀，意译为因明。"因"指原因﹑根据﹑理由;"明"义为学术。因明即关于逻辑推理的学说，随佛教传入中国。

xíng shì huà/huā fāng fǎ把概念、判断、推理转化成特制的形式符号后，对形式符号表达系统进行研究的方法。它可以消除自然语言的歧义性、不通用性，为不同学科提供具有普遍适用性的共同逻辑形式，有利于揭示新联系，导致新发现。

sī/sāi wéi1.亦作"思维"。 2.思量。 3.指想念。 4.指在表象﹑概念的基础上进行分析﹑综合﹑判断﹑推理等认识活动的过程。思维是人类特有的一种精神活动，是从社会实践中产生的。