全站数据
8 4 2 0 5 8 1

什么是数理逻辑

无忧考研 | 教育先行,筑梦人生!         
问题更新日期:2024-06-12 06:06:50

问题描述

什么是数理逻辑希望能解答下
精选答案
最佳答案

数理逻辑又称符号逻辑、理论逻辑。它既是数学的一个分支,也是逻辑学的一个分支。是用数学方法研究逻辑或形式逻辑的学科。其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。虽然名称中有逻辑两字,但并不属于单纯逻辑学范畴。它的两个最基本的也是最重要的组成部分,就是“命题演算”和“谓词演算”。