逻辑学查看词语释义研究思维规律的科学。已有两千多年历史。基本的分支是形式逻辑、数理逻辑和辩证逻辑。常用作形式逻辑的同义词。联合国教科文组织公布的学科分类,曾将逻辑学列为七大基础科学的第二位,仅次于数学。
形式逻辑查看词语释义从思维的形式结构方面研究思维规律的科学。它总结了人类思维的经验教训,以保持思维的确定性为核心,用一系列规则、方法帮助人们正确地思考问题和表达思想。是人们认识世界和改造世界的必要工具。
数理逻辑查看词语释义亦称符号逻辑”。狭义指用数学方法研究数学中的演绎思维以及数学基础的学科。广义指一切用符号和数学方法处理和研究演绎法的学问。既是数学的一个分支,又是逻辑学的一个分支。数理逻辑对数学研究和工程技术有重要意义,对一般思维中某些问题的解决也有成效。
现代逻辑查看词语释义数理逻辑和应用数理逻辑而形成的逻辑系统。其基本特点是形式化,就是用一套特制的表意符号去表示概念、判断、推理,获得它们的形式结构,从而把对概念、判断、推理的研究转化为对形式系统中符号的研究。
逻辑代数查看词语释义又称布尔代数”、开关代数”。研究逻辑问题的一门数学。是现代数学中的一个重要分支。由英国数学家布尔提出。其逻辑变量的取值仅为0”和1”。基本逻辑运算有与”、或”、非”等。是设计计算机的有力工具。
逻辑电路查看词语释义实现数字信号逻辑运算和操作的电路。分组合逻辑电路和时序逻辑电路。前者的逻辑功能与时间无关,即不具记忆和存储功能,后者的操作按时间程序进行。由于只分高、低电平,抗干扰力强,精度和保密性佳。广泛应用于计算机、数字控制、通信、自动化和仪表等方面。
逻辑联结词查看词语释义在复合判断中把作为它的构成要素的某个或某些判断联结起来的概念。常用的逻辑联结词是负判断中的并非”,联言判断中的并且”,假言判断中的如果……那么……”,选言判断中的或者……或者……”。