众志成城：也说众心成城。万众一心，像坚固的城堡一样不可摧毁。比喻大家团结一致，力量无比强大。《国语·周…
众口铄金：大家都说同样的话，其力量足以能熔化金属。形容舆论力量的强大。《国语·周语下》：“众心成城，众…
众心成城：众心成城（衆心成城） 谓万众一心，如坚固城堡。比喻众人团结一致，力量无比强大。《国语·周语下…
活剥生吞：huó bō shēng tūn 活剥生吞 比喻机械地搬用或生硬地模仿。语出 唐 刘肃 《大…
利益均沾：资本主义国家根据不平等条约侵略 中国 的手段之一。如1843年 英国 强迫 清 政府签订的《…
抉目吴门：jué mù wú mén 抉目吴门（抉目吴門） 春秋 时， 吴国 大夫 伍员 (字 子胥 …
七艺：大学的文科包括七门课程：逻辑、语法、修辞、数学、几何、天文、音乐，世称“七艺”。
行数：电脑语言COBOL中的一种子句，在档案描述中用以描述说明逻辑页的大小。
发射极耦合逻辑集成电路：晶体管导通时工作在非饱和区的一种逻辑集成电路。有“或”和“或非”两种输出。可构…
大共名：《荀子》中的逻辑术语。指反映普遍性最高的类的概念。如“物”这一概念即大共名。
抽象诗：抽象诗的定义是：非语法、非逻辑、非经验的抽象字组构成形式。有三个层次：第一，非语法，诗中没有中…
三段论式：逻辑名词。也叫三段论、三段论法。形式逻辑间接推理的基本形式，由大前提、小前提、结论三部分组成…
艾尔： 艾尔(1910~1991)为英国语言分析学派哲学家，毕业于牛津大学，并曾任教于牛津大学。他主…
目标树：在逻辑程序语言（如Prolog）中，将目标分成多个且多层不同的子目标，并将其以类似树状及子树结…
博弈逻辑：博弈逻辑 - 简介 博弈论研究人类活动中的互动行为，在经济学中得到广泛的运用。在博弈论中，人…
观察语句：逻辑实证论把科学家所使用的语句区分为观察语句和理论语句两种。根据定义，理论语句是那些含有理论…
拉姆齐二染色定理：拉姆齐二染色定理是由英国数理逻辑学家西塔潘（Seetapun）于20世纪90年代提出…
朱祖谋：人名。（公元1857～1931）字古微，号强村，后更名孝臧，浙江归安人。清末进士，官至礼部侍郎…
命题：（一）、出题目：命题作文。统一命题。（二）、逻辑学指表达判断的语言形式，由系词把主词和宾词联系而…
汇编语言：一种面向机器的低级程序设计语言。是一种符号语言。由基本字符集、语句、标号及一组规则所组成。基…
逻辑语：逻辑语（lojban，又译作理语），原名Loglan，是人工语言的一种。所有字均以键盘上可打出…
拉姆齐：拉姆齐（Ramsly）二染色定理是由英国数理逻辑学家西塔潘（Seetapun）于20世纪90年…
傻缺：某人干了违背常规逻辑的事情，造成啼笑皆非的结果，这个人就被指为“傻缺”，和“逗逼”同属一类词，中…
形式化： 形式化是用定理或公式解释知识真理的逻辑系统建构，在语言方面见于哲学家的着作中，成为一种人工…
形式化方法：把概念、判断、推理转化成特制的形式符号后，对形式符号表达系统进行研究的方法。它可以消除自然…