数理逻辑又称符号逻辑、理论逻辑。
它是数学的一个分支，是用数学方法研究逻辑或形式逻辑的学科。
其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。
数理逻辑是数学基础的一个不可缺少的组成部分。
虽然名称中有。
逻辑是探索、阐述和确立有效推理原则的学科，最早由古希腊学者亚里士多德创建的。
用数学的方法研究关于推理、证明等问题的学科就叫做数理逻辑。
也叫做符号逻辑。
数理逻辑包括:“命题演算”和“谓词演算”。
如果我们把命题看作运算。
数理逻辑的解释 亦称“符号逻辑”。
狭义指用数学方法 研究 数学中的 演绎 思维 以及数学 基础 的学科。
广义指一切用符号和数学方法处理和研究演绎法的学问。
既是数学的一个分支，又是逻辑学的一个分支。
数理逻辑对数学研究。
数理逻辑的标准定义是特指采用数学的方法来研究逻辑学的学科类型，主要形态就是建立一套完备、可靠、自洽的形式化语言及符号演算框架，然后利用这套框架来研究各类问题，因此可以近似的认为数理逻辑就是一种基础研究工具，一般都。