“数理逻辑”词语拼音为：shù lǐ luó jí，注音：ㄕㄨˋ ㄌㄧˇ ㄌㄨㄛˊ ㄐㄧ，首字母：sllj，“数理逻辑”的词性为：名词，近义词：符号逻辑、命题逻辑、形式逻辑，反义词：直觉逻辑、非形式逻辑，基本解释：亦称符号逻辑”。狭义指用数学方法研究数学中的演绎思维以及数学基础的学科。广义指一切用符号和数学方法处理和研究演绎法的学问。既是数学的一个分支，又是逻辑学的一个分支。数理逻辑对数学研究和工程技术有重要意义，对一般思维中某些问题的解决也有成效。