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

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

xiǎo qián tí/dī/dǐ演绎推理中包含特殊性知识的前提。在三段论中指包含小项的前提。

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

sī/sāi wéi xíng shì思维借以实现的形式。概念、判断、推理、证明是不同的思维形式。具有不同结构的判断形式、推理形式、证明形式也是不同的思维形式。在具体思维中，思维形式和思维内容总是结合在一起的，既不存在没有思维形式的思维内容，也不存在没有思维内容的思维形式。但是思维形式对于思维内容具有相对的独立性，因此逻辑学可以把思维形式抽出来作为自己的研究对象。

huàn zhì wèi fǎ交替使用换质法和换位法的直接推理。可以先换质后换位，也可以先换位后换质。如将“一切马克思主义者都是无神论者”换质为“一切马克思主义者都不是有神论者”，再换位为“一切有神论者都不是马克思主义者”。

yuán tuī shù/shú/zhú1.《墨子》中由彼及此的推理方法。相当于类比推理。语本《墨子．小取》:"援也者，曰:'子然，我奚独不可以然也。'推也者，以其所不取之，同于其所取者，予之也。"孙诒让间诂:"谓所求者在此，所不求者在彼，取彼就此以得其同，所谓予之也。"

xiàn dài luó jí数理逻辑和应用数理逻辑而形成的逻辑系统。其基本特点是形式化，就是用一套特制的表意符号去表示概念、判断、推理，获得它们的形式结构，从而把对概念、判断、推理的研究转化为对形式系统中符号的研究。

lǐ shèng qí cí道理胜过文辞。指由于善于推理立论，尽管文辞简略质朴，道理却很充分。

lǐ lùn/lún jiā/gū/jie1. 讲理论的人;从事推理思维的人;建立理论(如说明已被发现的现象)的人。