dà gòng míng1.《荀子》中的逻辑术语。指反映普遍性最高的类的概念。如"物"这一概念即大共名。

dài zhèng shì指这样一种三段论，其中至少有一个前提是省略三段论的结论，而且带有该结论借以得出的大前提或小前提，以证明该结论的真实性。如：“科学是有用的，逻辑学是科学，因为其内容已由实践证明是真理，所以逻辑学是有用的。”其中的小前提“逻辑学是科学”是一个省略三段论的结论，而“逻辑学的内容已由实践证明是真理”就是该结论借以得出的小前提。

sī/sāi wéi①与“感性认识”相对。指理性认识，即思想；或指理性认识的过程，即思考。是人脑对客观事物间接的和概括的反映。包括逻辑思维和形象思维，通常指逻辑思维。②与“存在”相对。指意识、精神。

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

sī/sāi wéi néng/nài lì1. 思维的本能或能力;尤指合乎逻辑地进行思维的能力。

tuī dǎo1. 根据已知的公理、定义、定理、定律等经过演算和逻辑推理而得出新的结论。

duàn àn1.形式逻辑三段论法中的结论。

huì biān yǔ/yù yán一种面向机器的低级程序设计语言。是一种符号语言。由基本字符集、语句、标号及一组规则所组成。基本字符集通常包括二十六个英文字母、0～9十个数字、算术运算符、关系运算符、逻辑运算符等。不同计算机有不同的汇编语言。

liú làng zhě印度故事片。拉兹·卡普尔影片公司1951年摄制。夸·阿·阿巴斯编剧，拉·卡普尔导演，拉·卡普尔、纳尔吉丝主演。法官拉贡纳特按照自己“好人的儿子是好人，贼的儿子也是贼”的荒谬逻辑，判处早年被自己遗弃、长大后因贫穷沦为窃贼的儿子徒刑。儿子以悲惨的生活证实法官父亲是个伪善虚假的人。

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