数理逻辑

简体数理逻辑

繁体數理邏輯

拼音shù lǐ luó ji

注音ㄕㄨˋ ㄌㄧˇ ㄌㄨㄛˊ ㄐㄧˊ

结构ABCD式

字数4字词语

基本含义

指数学和逻辑学的基本原理和思维方式。

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

1.
传统逻辑释义：亦称“普通逻辑”。不同于数理逻辑的形式逻辑。它创立于古代，不断丰富发展而沿用迄今，故称。
2.
分层理论释义：数理逻辑中递归论的一部分。
3.
数学释义：研究现实世界的空间形式和数量关系的科学。初等数学包括算术、初等代数、初等几何和三角等。高等数学有数理逻辑、数论、代数学、几何学、拓扑学、函数论、泛函分析、微分方程、概率论、数理统计等分支。数学的理论具有严格性、抽象性和应用的广泛性等特点。
4.
现代逻辑释义：数理逻辑和应用数理逻辑而形成的逻辑系统。其基本特点是形式化，就是用一套特制的表意符号去表示概念、判断、推理，获得它们的形式结构，从而把对概念、判断、推理的研究转化为对形式系统中符号的研究。
5.
符号逻辑释义：数理逻辑。
6.
谓词释义：⒈数理逻辑中表示一个个体的性质和两个或两个以上个体间关系的词。⒉句子里谓语部分中的主要的词。参看〖谓语〗。