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简称“串”。有限字符的序列。数据元素为字符的线性表，是一种数据的逻辑结构。在计算机中可有不同的存储结构。在串上可进行求子串、插入字符、删除字符、置换字符等运算。

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

lùn/lún tí1.诗文的题目﹔议论的题目。 2.逻辑学上指真实性需要证明的命题。

guǐ biàn①外表上、形式上好像是运用正确的推理手段，实际上违反逻辑规律，做出似是而非的推论。②无理狡辩。

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

yán fù (1854-1921)近代启蒙思想家、翻译家。福建侯官(今闽侯)人。福州船政学堂毕业，留学英国。曾任北洋水师学堂总办。甲午战争后，发表《论世变之亟》、《救亡决论》等文，主张学习西方，维新变法。又译《天演论》，以进化论观点，号召国人救亡图存。翻译西方政治经济思想和逻辑学著作，首创“信、达、雅”的翻译标准。辛亥革命后，思想趋于保守。著译编为《侯官严氏丛刊》、《严译名著丛刊》。