数理逻辑
【拼音】：shù lǐ luó ji
【简体】：数理逻辑
【繁体】：數理邏輯
词语解释⒈ 亦称“符号逻辑”。狭义指用数学方法研究数学中的演绎思维以及数学基础的学科。广义指一切用符号和数学方法处理和研究演绎法的学问。既是数学的一个分支，又是逻辑学的一个分支。数理逻辑对数学研究和工程技术有重要意义，对一般思维中某些问题的解决也有成效。数理逻辑（數理邏輯）[shùlǐluóji]⒈亦称“符号逻辑”。狭义指用数学方法研究数学中的演绎思维以及数学基础的学科。广义指一切用符号和数学方法处理和研究演绎法的学问。既是数学的一个分支，又是逻辑学的一个分支。数理逻辑对数学研究和工程技术有重要意义，对一般思维中某些问题的解决也有成效。
综合释义数理逻辑可视为数学的逻辑分析，但通常与符号逻辑@@@@@SymbolicLogic@@@@@之涵义相同，所以数理逻辑指的是人用符号来进行逻辑演算和分析。目前数理逻辑分为广义及狭义两种：狭义的数理逻辑专指逻辑的演算，包含命题演算及述词演算@@@@@PropositionalandPredicateCalculi@@@@@；广义的则包含数学的集合论、证明论及其他相关的系统。由于数理逻辑比照代数般运用符号，因此相当形式化，其有效性往往与应用的内容无关。
汉语大词典亦称“符号逻辑”。狭义指用数学方法研究数学中的演绎思维以及数学基础的学科。广义指一切用符号和数学方法处理和研究演绎法的学问。既是数学的一个分支，又是逻辑学的一个分支。数理逻辑对数学研究和工程技术有重要意义，对一般思维中某些问题的解决也有成效。
1.逻辑研究应提倡兼容，数理逻辑、自然语言逻辑、归纳逻辑、辩证逻辑、法律逻辑等等可以共同存在、共同发展。
2.总之，宪昌之于检察院工作中，潜心汲取数理逻辑之缜密精严，娴熟把握形象思维之迁想妙得;凛遵宪典，严惩墨吏，体恤民瘼，申张正义。
3.蒙古族民歌“变凡”音乐现象中隐藏着一种精确的规定性和严密的数理逻辑，并在蒙古民歌中发展到相当规范的程度。
4.用数理逻辑的语言表述了哈密顿原理及其在正则变换下的不变性，并给以证明。
5.基于实质蕴涵的数理逻辑并非传统逻辑的现代发展，也不是什么现代的形式逻辑。
6.如何使经典数理逻辑柔性化，以包容各种不确定性和演化，是逻辑学研究面临的新挑战。
7.数理逻辑的延伸符号逻辑到其他领域，特别是研究模型理论，证据理论，集理论，并递归理论。
8.数理逻辑学家宣称，"完美十字"的排列不仅象征着日历中百年一遇的巧合，也是"再生的强大时刻"。
9.谓词演算语言的传统的语义组成了数理逻辑的一个很丰富的分支。
10.通过制造资本账户上的人为赤字，基于数理逻辑，中国正在制造人为的经常账户顺差。
读音:shù,shǔ,shuò
[shù]
[ shù ]1. 表示、划分或计算出来的量：数目。数量。数词。数论（数学的一支，主要研究正整数的性质以及和它有关的规律）。数控。
2. 几，几个：数人。数日。
3. 技艺，学术：“今夫弈之为数，小数也”。
4. 命运，天命：天数。气数。
[ shǔ ]1. 一个一个地计算：不可胜数。数九。
2. 比较起来突出：数得着。
3. 责备，列举过错：数落。
4. 谈论，述说：数说。数典忘祖（喻忘掉自己本来的情况，亦喻对于本国历史的无知）。
[ shuò ]1. 屡次：数见不鲜（亦称“屡见不鲜”）。
读音:lǐ
[lǐ]
(1)治玉。
(2)（名）物质组织的条纹；纹理。
(3)（名）道理；事理。
(4)（名）自然科学；有时特指物理学。
(5)（名）管理；办理。
(6)（动）整理；使整齐：～发｜～一～书籍。
(7)（动）对别人的言语行动表示态度；表示意见（多用于否定）：路上碰见了；谁也没～谁｜置之不～。
(8)（Lǐ）姓。
读音:luó
[luó]
（动）巡察：巡～｜～骑｜～卒。
读音:jí
[ji]
1. 聚集，特指聚集材料编书：辑录。辑要。辑逸。编辑。纂辑。
2. 聚集很多材料而成的书刊：丛书第一辑。
3. 和，和睦：辑睦。
4. 敛，拖着不便脱落。
5. 古同“缉”，连缀。
6. 古代称协调驾车的众马。
