数理逻辑是什么意思

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

分词解释

数

拼音：shù,shǔ,部首：攵笔划：13

数（數） shù 表示、划分或计算出来的量：数目。数量。数词。数论（数...查看详细解释

理

拼音：lǐ,部首：王笔划：11

理 lǐ 物质本身的纹路、层次，客观事物本身的次序：心理。肌理。条理。事...查看详细解释

逻

拼音：luó,部首：辶笔划：11

逻（邏） luó 巡察：巡逻。逻吏（巡逻官）。逻骑。逻卒。遮拦：“蛛...查看详细解释

辑

拼音：jí,ji,部首：车笔划：13

辑（輯） jí 聚集，特指聚集材料编书：辑录。辑要。辑逸。编辑。纂辑。...查看详细解释