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

jīng tǐ/tī/bèn guǎn jīng tǐ/tī/bèn guǎn luó jí jí chéng diàn lù由多发射极晶体管作为“与门”，与倒相器兼跟随器串接，并最终推挽输出的逻辑集成电路。可构成各种逻辑关系。

luó jí dài shù/shǔ/shuò又称“布尔代数”、“开关代数”。研究逻辑问题的一门数学。是现代数学中的一个重要分支。由英国数学家布尔提出。其逻辑变量的取值仅为“0”和“1”。基本逻辑运算有“与”、“或”、“非”等。是设计计算机的有力工具。

luó jí xué研究思维规律的科学。已有两千多年历史。基本的分支是形式逻辑、数理逻辑和辩证逻辑。常用作形式逻辑的同义词。联合国教科文组织公布的学科分类，曾将逻辑学列为七大基础科学的第二位，仅次于数学。

luó jí sī/sāi wéi也称“抽象思维”。运用概念、判断、推理反映现实的过程。认识的高级阶段，即理性认识阶段。以其撇开事物具体形象的抽象性和形象思维相区别。逻辑思维不等于合乎逻辑的思维，它可以是合乎逻辑的，也可以是违反逻辑的。

luó jí lián jié/jiē cí在复合判断中把作为它的构成要素的某个或某些判断联结起来的概念。常用的逻辑联结词是：负判断中的“并非”，联言判断中的“并且”，假言判断中的“如果……那么……”，选言判断中的“或者……或者……”。

pǔ tōng/tòng luó jí即“传统逻辑”。它易于为人们所理解和掌握并运用广泛，故称。

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

fú hào/háo luó jí数理逻辑。

biàn zhèng luó jí马克思主义哲学的组成部分，是研究思维辩证法的科学。辩证逻辑要求人们必须把握、研究事物的总和，从事物本身矛盾的发展、运动、变化来观察它，把握它，只有这样，才能认识客观世界的本质。