biàn zhèng luó jí
马克思主义哲学的组成部分，是研究思维辩证法的科学。辩证逻辑要求人们必须把握、研究事物的总和，从事物本身矛盾的发展、运动、变化来观察它，把握它，只有这样，才能认识客观世界的本质。
xiàn dài 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ù
由多发射极晶体管作为“与门”，与倒相器兼跟随器串接，并最终推挽输出的逻辑集成电路。可构成各种逻辑关系。
shù/shǔ/shuò lǐ luó jí
亦称“符号逻辑”。狭义指用数学方法研究数学中的演绎思维以及数学基础的学科。广义指一切用符号和数学方法处理和研究演绎法的学问。既是数学的一个分支，又是逻辑学的一个分支。数理逻辑对数学研究和工程技术有重要意义，对一般思维中某些问题的解决也有成效。
xíng shì luó jí
从思维的形式结构方面研究思维规律的科学。它总结了人类思维的经验教训，以保持思维的确定性为核心，用一系列规则、方法帮助人们正确地思考问题和表达思想。是人们认识世界和改造世界的必要工具。
fā/fà shè/yè/yì jí ǒu hé/gě luó jí jí chéng diàn lù
晶体管导通时工作在非饱和区的一种逻辑集成电路。有“或”和“或非”两种输出。可构成各种逻辑关系。特点为开关速度快，甚至达亚毫微秒，但功耗大，抗干扰力差。