问问题描述
什么是数理逻辑，在线蹲一个救命答案，感谢！
答精选答案
数理逻辑又称符号逻辑、理论逻辑。它既是数学的一个分支，也是逻辑学的一个分支。是用数学方法研究逻辑或形式逻辑的学科。其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。虽然名称中有逻辑两字，但并不属于单纯逻辑学范畴。它的两个最基本的也是最重要的组成部分，就是“命题演算”和“谓词演算”。
本文来自作者[王律唠证券]投稿，不代表公众科技网立场，如若转载，请注明出处：https://www.cpst.net.cn/know/2954566.html
评论列表（4条）
我是公众科技网的签约作者“王律唠证券”！
希望本篇文章《什么是数理逻辑》能对你有所帮助！
本站[公众科技网]内容主要涵盖：教育咨询,知识百科
本文概览：数理逻辑又称符号逻辑、理论逻辑。它既是数学的一个分支，也是逻辑学的一个分支。是用数学方法研究逻辑或形式逻辑的学科。其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。虽然名称中有逻辑两字，但并不属于单纯逻辑学范畴。它的两个最基本的也是最重要的组成部分，就是“命题演算”和“谓词演算”。