数理逻辑
数理逻辑的意思
词语解释
数理逻辑
◎亦称“符号逻辑”。狭义指用数学方法研究数学中的演绎思维以及数学基础的学科。广义指一切用符号和数学方法处理和研究演绎法的学问。既是数学的一个分支，又是逻辑学的一个分支。数理逻辑对数学研究和工程技术有重要意义，对一般思维中某些问题的解决也有成效。
网络解释
数理逻辑 （用数学方法研究逻辑或形式逻辑的学科）
形式逻辑形式上符号化、数学化的逻辑，本质上仍属于知性逻辑的范畴。
数理逻辑又称符号逻辑、理论逻辑。它既是数学的一个分支，也是逻辑学的一个分支。是用数学方法研究逻辑或形式逻辑的学科。其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是基础数学的一个不可缺少的组成部分。虽然名称中有逻辑两字，但并不属于单纯逻辑学范畴。
1,谓词演算语言的传统的语义组成了数理逻辑的一个很丰富的分支。
2,基于实质蕴涵的数理逻辑并非传统逻辑的现代发展，也不是什么现代的形式逻辑。
3,逻辑研究应提倡兼容，数理逻辑、自然语言逻辑、归纳逻辑、辩证逻辑、法律逻辑等等可以共同存在、共同发展。
4,总之,宪昌之于检察院工作中,潜心汲取数理逻辑之缜密精严,娴熟把握形象思维之迁想妙得;凛遵宪典,严惩墨吏,体恤民瘼,申张正义。
5,蒙古族民歌“变凡”音乐现象中隐藏着一种精确的规定性和严密的数理逻辑，并在蒙古民歌中发展到相当规范的程度。
6,传统逻辑对这个问题的回答似乎是不言而喻的，但数理逻辑却使这个问题变得复杂起来。
7,数理逻辑的延伸符号逻辑到其他领域，特别是研究模型理论，证据理论，集理论，并递归理论。
8,在数理逻辑中研究的主要对象是各种演算。
9,用数理逻辑的语言表述了哈密顿原理及其在正则变换下的不变性，并给以证明。
10,柏格森的敌人罗素肯敷衍中国人，请他喝过一次茶，他从此研究数理逻辑。
数理逻辑的字义分解
数
拼音 shù,shǔ,shuò 部首 攴 总笔画 13数 [ shù ] 1. 表示、划分或计算出来的量。 如 数目。数量。数词。数论（数学的一支，主要研究正整数的性质以及和它有关的规律）。数控。 2. 几，几个。 如 数人。数日。 3. 技艺，学术。 如 “今夫弈之为数，小数也”。 4. 命运，天命。 如 天数。气数。 数 [ shǔ ] 1. 一个一个地计算。 如 不可胜数。数九。 2. 比较起来突出。 如 数得着。 3. 责备，列举过错。 如 数落。 4. 谈论，述说。 如 数说。数典忘祖（喻忘掉自己本来的情况，亦喻对于本国历史的无知）。 数 [ shuò ] 1. 屡次。 如 数见不鲜（亦称“屡见不鲜”）。 [更多解释]
理
拼音 lǐ 部首 玉 总笔画 11理 [ lǐ ] 1. 物质本身的纹路、层次，客观事物本身的次序。 如 心理。肌理。条理。事理。 2. 事物的规律，是非得失的标准，根据。 如 理由。理性。理智。理论。理喻。理解。理想。道理。理直气壮。 3. 自然科学，有时特指“物理学”。 如 理科，数理化。理疗。 4. 按事物本身的规律或依据一定的标准对事物进行加工、处置。 如 理财。理事。管理。自理。修理。总理。 5. 对别人的言行作出反应。 如 理睬。答理。 6. 古代指狱官、法官。 7. 姓。 [更多解释]
逻
拼音 luó 部首 辵 总笔画 11逻 [ luó ] 1. 巡察。 如 巡逻。逻吏（巡逻官）。逻骑。逻卒。 2. 遮拦。 如 “蛛蝥结网工遮逻”。 [更多解释]
辑
拼音 jí 部首 车 总笔画 13辑 [ jí ] 1. 聚集，特指聚集材料编书。 如 辑录。辑要。辑逸。编辑。纂辑。 2. 聚集很多材料而成的书刊。 如 丛书第一辑。 3. 和，和睦。 如 辑睦。 4. 敛，拖着不便脱落。 5. 古同“缉”，连缀。 6. 古代称协调驾车的众马。 [更多解释]
