biàn shuō1.辨析论述。 2.论辩。辨﹐通"辩"。 3.辩解﹐分辩。辨﹐通"辩"。 4.中国古代逻辑名词。指推理和论证。

xíng shì huà/huā fāng fǎ把概念、判断、推理转化成特制的形式符号后，对形式符号表达系统进行研究的方法。它可以消除自然语言的歧义性、不通用性，为不同学科提供具有普遍适用性的共同逻辑形式，有利于揭示新联系，导致新发现。

zhǐ líng/lǐng/lìng xì/jì tǒng一台计算机所能执行的各种不同类型指令的总和。即一台计算机所能执行的全部操作。不同计算机的指令系统包含的指令种类和数目也不同。一般均包含算术运算型、逻辑运算型、数据传送型、判定和控制型、输入和输出型等指令。

bù néng tuī chū亦称“推不出”。证明中论据和论题之间没有必然联系的逻辑错误。

liǎng dāo lùn/lún fǎ1.即二难推理。逻辑上称假言推理和选言推理联合起来的推理。大前提是两个假言判断，小前提是选言判断。

zhōnɡ cí1.逻辑学术语。详"中项"。

mò jiā/gū/jie先秦时主张“兼爱”和“非攻”等的重要学派。创始人为墨子。在当时为儒家的反对派，影响极大。墨家有严格的纪律，其弟子都能赴汤蹈火，舍身行道。后期墨家克服了墨子学说中的宗教迷信成分，对逻辑学、光学、几何学、力学等都有研究和贡献。

zì fú chuàn简称“串”。有限字符的序列。数据元素为字符的线性表，是一种数据的逻辑结构。在计算机中可有不同的存储结构。在串上可进行求子串、插入字符、删除字符、置换字符等运算。

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

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