(资料图片仅供参考)

1、数理逻辑是研究形式逻辑的符号数理逻辑。

2、数理逻辑也叫符号逻辑和理论逻辑。

3、它是数学和逻辑的分支。

4、它是用数学方法研究逻辑或形式逻辑的学科。

5、它的研究对象是将证明和计算这两个直观概念符号化后的形式系统。

6、数理逻辑是数学基础不可缺少的一部分。

7、名字里虽然有逻辑，但不属于纯逻辑的范畴。