yǎn yì①铺陈，推断，阐发：汉儒解经，依经演绎。②“演绎推理”的简称。

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

yǎn yì fǎ1.演绎推理。

yǎn yì zhèng míng“归纳证明”的对称。运用演绎推理所作的证明。论据是一般性知识，论题是在该一般性知识范围之内的知识或事实。如以“一切科学都是有用的”来证明“逻辑学是有用的”。

shù/shǔ/shuò lǐ luó jí亦称“符号逻辑”。狭义指用数学方法研究数学中的演绎思维以及数学基础的学科。广义指一切用符号和数学方法处理和研究演绎法的学问。既是数学的一个分支，又是逻辑学的一个分支。数理逻辑对数学研究和工程技术有重要意义，对一般思维中某些问题的解决也有成效。

jǐ hé xué研究空间图形的形状、大小和位置的相互关系的一门学科。古埃及为了兴建尼罗河水利工程进行土地测量，推动几何学的产生和发展。公元前3世纪，古希腊数学家欧几里得总结前人研究成果，建立演绎体系，写出了经典名著《几何原本》。17世纪，法国数学家笛卡儿用代数方法研究几何问题，创立了解析几何。18、19世纪由于工程、力学和土地测量的需要，产生了画法几何、射影几何和微分几何；以后又出现了非欧几何、......更多

ōu jī/jǐ lǐ dé/děi/de jī/jǐ hé/hē/hè简称“欧氏几何”。几何学的一门分科。公元前3世纪，古希腊数学家欧几里得把人们公认的一些几何知识作为定义和公理，在此基础上研究图形的性质，推导出一系列定理，组成演绎体系，写出《几何原本》，形成了欧氏几何。在其公理体系中，最重要的是平行公理，由于对这一公理的不同认识，导致非欧几何的产生。按所讨论的图形在平面上或空间中，分别称为“平面几何”与“立体几何”。

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

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

wài zhòu1.逻辑学术语"演绎"的旧译名。