拼音：shù lǐ luó ji

词性：名词

释义：亦称“符号逻辑”。狭义指用数学方法研究数学中的演绎思维以及数学基础的学科。广义指一切用符号和数学方法处理和研究演绎法的学问。既是数学的一个分支，又是逻辑学的一个分支。数理逻辑对数学研究和工程技术有重要意义，对一般思维中某些问题的解决也有成效...

用法提示：理解“数理逻辑”时，先看它在句子中表示的人、事物、动作或状态，再结合上下文判断具体含义。 “数理逻辑”可按名词使用，写作时要注意它和前后词语的搭配是否自然。

• 数理逻辑的词语解释：

  亦称“符号逻辑”。狭义指用数学方法研究数学中的演绎思维以及数学基础的学科。广义指一切用符号和数学方法处理和研究演绎法的学问。既是数学的一个分支，又是逻辑学的一个分支。数理逻辑对数学研究和工程技术有重要意义，对一般思维中某些问题的解决也有成效。

数理逻辑的网络解释：

数理逻辑 （用数学方法研究逻辑或形式逻辑的学科）

形式逻辑形式上符号化、数学化的逻辑，本质上仍属于知性逻辑的范畴。

数理逻辑又称符号逻辑、理论逻辑。它既是数学的一个分支，也是逻辑学的一个分支。是用数学方法研究逻辑或形式逻辑的学科。其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是基础数学的一个不可缺少的组成部分。虽然名称中有逻辑两字，但并不属于单纯逻辑学范畴。