解释
亦称“符号逻辑”。狭义指用数学方法研究数学中的演绎思维以及数学基础的学科。广义指一切用符号和数学方法处理和研究演绎法的学问。既是数学的一个分支，又是逻辑学的一个分支。数理逻辑对数学研究和工程技术有重要意义，对一般思维中某些问题的解决也有成效。
读音：shù lǐ luó ji
首字母缩写：sllj
【拼音】shùlǐluójíqiézǐ
【用数理逻辑造句】
1、与演算的语法研究的同时，还有数理逻辑的形式语言的语义研究。
「
数」字简介：
【数】是研究数量、结构、变化及空间等概念的抽象学科，是科学与逻辑的基础工具。
数字详解
「
理」字简介：
【理】是宋明理学的核心概念，指宇宙万物的终极本体与运行规律，既是自然法则（物理），也是道德根源（性理），主张“格物致知”以通达天理。
理字详解
「
逻」字简介：
“逻”指逻辑，即思维与推理的规律，是研究有效论证与理性思考的学科。
逻字详解
「
辑」字简介：
“辑”指将文字、音像等材料系统整理并编成书刊、作品集的过程，如“编辑”“辑录”。
辑字详解
