词语

现代逻辑数理逻辑和应用数理逻辑而形成的逻辑系统。其基本特点是形式化就是用一套特制的表意符号去表示概念、判断、推理获得它们的形式结构从而把对概念、判断、推理的研究转化为对形式系统中符号的研究。

形式逻辑关于思维的形式及其规律的科学。研究概念、判断、推理等主要思维形式和研究同一律、矛盾律、排中律等思维规律是形式逻辑的内容。

逻辑与相当于生活中说的“并且”。

逻辑门又称“数字逻辑电路基本单元”。执行“或”、“与”、“非”、“或非”、“与非”等逻辑运算的电路。任何复杂的逻辑电路都可由这些逻辑门组成。广泛用于计算机、通信、控制和数字化仪表。

逻辑学研究思维规律的科学。已有两千多年历史。基本的分支是形式逻辑、数理逻辑和辩证逻辑。常用作形式逻辑的同义词。联合国教科文组织公布的学科分类曾将逻辑学列为七大基础科学的第二位仅次于数学。

逻辑判断以及逻辑判断题型的综述和命题趋向。

逻辑代数又称“布尔代数”、“开关代数”。研究逻辑问题的一门数学。是现代数学中的一个重要分支。由英国数学家布尔提出。其逻辑变量的取值仅为“0”和“1”。基本逻辑运算有“与”、“或”、“非”等。是设计计算机的有力工具。

逻辑语逻辑语（lojban，又译作理语），原名Loglan是人工语言的一种。所有字均以键盘上可打出的26字组成：’.a b c d e f g h i j k l m n o p q r s t u v x y z。1955年由詹姆士库克布朗设计，1960年在《科学美国人》杂志发表。

逻辑思维人们在认识过程中借助于概念、判断、推理反映现实的思维方式。它同形象思维不同用科学的抽象概念揭示事物的本质表述认识现实的结果。也叫抽象思维。

逻辑顺序即按照事物或事理的内部联系及人们认识事物的过程来安排说明顺序这种顺序常用于事理说明文。事物的内部联系包括因果关系、层递关系、主次关系、总分关系、并列关系等；认识事物或事理的过程则指由浅入深、由具体到抽象等等。这是常见的说明顺序之一。