héng děng1.完全相等的：产生或实现同一的——主要指逻辑命题和数学的方程与演算所表示、产生或实现的方面。

pái/pǎi zhōng lǜ形式逻辑的基本规则之一。其内容为：在必须作出判断的时候，要有所断定，不能无可无不可，无所断定；对于只有互相矛盾的两个可能的问题，要有所肯定，不能两不可，对两个可能全都否定。它和同一律、矛盾律都不同，从一个新的角度要求思维的确定性。因其要求排除两个矛盾判断之间的中间者，故称排中律。

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

léi/lěi/lèi jiā qì在运算器中，专门存放算术或逻辑运算的一个操作数和运算结果的寄存器。能进行加、减、读出、移位、循环移位和求补等操作。是运算器的主要部分。

jì suàn shù/shǔ/shuò xué数学的一门分科。主要研究计算方法、数理逻辑和程序设计等方面的问题。20世纪中期以后，高速大容量电子计算机的飞速发展，大大丰富了计算数学的研究内容。　

jì yì shù/shú/zhú记忆的方法或技巧。通过对原本无意义联系的识记材料赋予某种逻辑意义或人为的联系，从而提高记忆的效果。有很多种类，如地点法，即把自己熟悉的地点、环境作为需记忆项目的线索；关键词法，常用于记忆外文单词，即将外语生词与谐音的母语词相联系，把母语词作为记忆外语生词的线索。

tiào/táo biàn1. 连续的中断;特指逻辑证明中一个必要步骤的遗漏。

biàn xué1.即辩学。逻辑学的旧称。辨﹐通"辩"。

biàn xué①关于研究辩论的学问。②逻辑学的旧称。

fēi liáng/liàng1.佛教因明(逻辑学)用语。与"现量"﹑"比量"合称"三量"。