汉字吧hanzi8.com数理逻辑在《现代汉语词典》（第7版）里的解释辞书页»
shùlǐ－luó•ji数学的一个分支，用数学方法研究推理、计算等逻辑问题。也叫符号逻辑。
数理逻辑在《两岸通用词典》里的解释辞书页»
台湾本 數理邏輯 （数理逻辑） shùlǐ luójí （ㄕㄨˋ ㄌ丨ˇ ㄌㄨㄛˊ ㄐ丨ˊ）
數學的一個分支，是用符號及數學方法研究邏輯或形式邏輯的學科。也作「符號邏輯」。
数理逻辑在《网络汉语词典》里的解释
拼音shù lǐ luó ji 注音ㄕㄨˋ ㄌ一ˇ ㄌㄨㄛˊ ˙ㄐ一 词性名词 繁体數理邏輯
词语解释
数理逻辑（數理邏輯）[ shù lǐ luó ji ]
⒈ 亦称“符号逻辑”。狭义指用数学方法研究数学中的演绎思维以及数学基础的学科。广义指一切用符号和数学方法处理和研究演绎法的学问。既是数学的一个分支，又是逻辑学的一个分支。数理逻辑对数学研究和工程技术有重要意义，对一般思维中某些问题的解决也有成效。