词语解释：

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

网络解释：

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

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

数读音：shù,shǔ,shuò[ shù ]

1. 表示、划分或计算出来的量：数目。数量。数词。数论（数学的一支，主要研究正整数的性质以及和它有关的规律）。数控。

2. 几，几个：数人。数日。

3. 技艺，学术：“今夫弈之为数，小数也”。

4. 命运，天命：天数。气数。

理读音：lǐ

理lǐ(1)本义：治玉。(2)（名）物质组织的条纹；纹理。(3)（名）道理；事理。(4)（名）自然科学；有时特指物理学。(5)（名）管理；办理。(6)（动）整理；使整齐：～发｜～一～书籍。(7)（动）对别人的言语行动表示态度；表示意见（多用于否定）：路上碰见了；谁也没～谁｜置之不～。(8)（Lǐ）姓。

逻读音：luó

逻luó（动）巡察：巡～｜～骑｜～卒。

辑读音：jí

辑jí(1)（动）编辑；辑录。(2)（量）整套书籍、资料等按内容或发表先后次序分成的各个部分：新闻简报第一～｜这部丛书分为十～；每～五本。

传统逻辑对这个问题的回答似乎是不言而喻的，但数理逻辑却使这个问题变得复杂起来。

数理逻辑学家宣称，"完美十字"的排列不仅象征着日历中百年一遇的巧合，也是"再生的强大时刻"。

蒙古族民歌“变凡”音乐现象中隐藏着一种精确的规定性和严密的数理逻辑，并在蒙古民歌中发展到相当规范的程度。

通过制造资本账户上的人为赤字，基于数理逻辑，中国正在制造人为的经常账户顺差。

特别值得一提的是，我发现数理逻辑课或是电脑编程课能够很好的训练人的逻辑思维能力，从而做到精确思考。

我不明白这复杂的数理逻辑运算。

如何使经典数理逻辑柔性化，以包容各种不确定性和演化，是逻辑学研究面临的新挑战。

逻辑研究应提倡兼容，数理逻辑、自然语言逻辑、归纳逻辑、辩证逻辑、法律逻辑等等可以共同存在、共同发展。

数理逻辑，也称为符号逻辑，是当人们终于认识到，数学的工具可以用来研究的结构，逻辑本身。

莱布尼茨是一个发明家的演算以及祖先的现代数理逻辑。