什么是数理逻辑

鈊僞袮栤湗 3个月前 已收到1个回答 举报

给的痛 2星

共回答了78个问题采纳率:93.1% 评论

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

15小时前

12
可能相似的问题

热门问题推荐

Copyright © 2024 微短问答 All rights reserved. 粤ICP备2021119249号 站务邮箱 service@wdace.com