数理逻辑

这里整理“数理逻辑”的拼音（shù lǐ luó ji）、词性（名词）和详细释义，方便快速查词、理解词义，并继续查看近义词、反义词与相关组词，适合做日常积累和写作用词参考。

基础信息

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

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

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

“数理逻辑”的意思解释和“数理逻辑是什么意思”由 源瀚汉语 汉语词典查词提供。