基本解释

用数学的工具和方法研究推理、计算等问题的一门科学，是数学的一个分支。它的主要内容有：命题演算、谓词演算、证明论、递归论、模型论和公理化集论等。也叫符号逻辑。

词语来源

该词语来源于人们的生产生活。

词语造句

1、方先生，你对数理逻辑用过功没有？
2、特别值得一提的是，我发现数理逻辑课或是电脑编程课能够很好的训练人的逻辑思维能力，从而做到精确思考。
3、通过制造资本账户上的人为赤字，基于数理逻辑，中国正在制造人为的经常账户顺差。
4、这是因为“蓍”不仅反映了古人对生命的崇拜意识，更重要的是，它使《易》学思想建立在一个严密的数理逻辑系统之上。
5、由于冯．诺依曼式计算机的理论基础是数理逻辑，现今的计算机处理数理问题无比成功。
6、数理逻辑是离散数学的重要组成部分，是学好离散数学的基础。
7、数理逻辑学家宣称，"完美十字"的排列不仅象征着日历中百年一遇的巧合，也是"再生的强大时刻"。
8、数理逻辑是研究推理逻辑的，采用数学符号化的方法给出推理规则来建立推理体系。
9、谓词演算语言的传统的语义组成了数理逻辑的一个很丰富的分支。
10、协调性是数理逻辑中最基本的语法概念之一。
11、因此，情报推理不能以正统数理逻辑作为推理工具。
12、蒙古族民歌“变凡”音乐现象中隐藏着一种精确的规定性和严密的数理逻辑，并在蒙古民歌中发展到相当规范的程度。
13、关于前者的逻辑即狭义的数理逻辑，通常也称为数理逻辑，可以看成关于数学的逻辑；
14、“正统”数理逻辑已不适应智能机和量子计算机的发展需要，而制约逻辑却为此提供了新的理论依据。
15、如果不是受惠于数理逻辑的最新进展，这个问题根本就无法予以严肃的对待。
16、我不明白这复杂的数理逻辑运算。
17、用数理逻辑的语言表述了哈密顿原理及其在正则变换下的不变性，并给以证明。
18、非形式逻辑的出现证明所谓的“传统逻辑已经无用，我国逻辑现代化就是要用数理逻辑取代传统逻辑”的说法是错误的。
19、传统逻辑对这个问题的回答似乎是不言而喻的，但数理逻辑却使这个问题变得复杂起来。
20、通过数理逻辑手段揭示转折复句子类间的联系变化。
21、认为这两种语义之间存在循环论证，它反映了数理逻辑的模型论和证明论之间的循环论证。
22、因此，用数理逻辑“改造”或“取代”传统形式逻辑是一种常识性错误。
23、普通逻辑应以传统逻辑的精华为其主体，适当吸收数理逻辑的基础知识，形成二者融合的教学体系；
24、方法非经典数理逻辑的语义理论。
25、数理逻辑是《离散数学》的难点之一。
26、语言符号具有多元性，可以采用数理逻辑的“合一”方法来描述这一特性。
27、数理逻辑，也称为符号逻辑，是当人们终于认识到，数学的工具可以用来研究的结构，逻辑本身。
28、中学物理课程与教学也是围绕对学生数理逻辑智力的培养目标进行定位的。
29、瑞典南部隆德大学数理逻辑学教授斯坦·旺德说，如果过桥完全免费，该地区可能会得到最高的利益。