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

nèi/nà zhòu1."归纳推理"的旧译。

hán yǒu1.作为…的容器。如：含有这个部位的神经和动脉的瘘管。2.[不以明确的说明,但以逻辑推理、联想或必然结果]暗指或表示包含的意思。如：民主含有自由的意思。3.形成…的一部分∶构成…的组成部分。如：禁止使用…已故国王名字中含有的词。

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

fù hé/gě sān duàn lùn/lún几个三段论联结而成的推理。前一个三段论的结论是后一个三段论的前提之一(大前提或小前提)。如：“科学是有用的，逻辑学是科学，所以逻辑学是有用的。一切有用的东西都应该学习，因此逻辑学应该学习。”其中，“逻辑学是有用的”是前一个三段论的结论，又是后一个三段论的小前提。

guī nà①归拢并使有条理（多用于抽象事物）：大家提的意见，～起来主要就是这三点。②一种推理方法，由一系列具体的事实概括出一般原理（跟‘演绎’相对）。

guī nà zhèng míng“演绎证明”的对称。运用归纳推理所作的证明。论题是一般性知识，论据是在该一般性知识范围之内的知识或事实。只有完全归纳推理和科学归纳推理可以用于证明，简单枚举归纳推理不能用于证明。

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

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

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