命题演算形式系统和谓词演算形式系统的不同点
发布网友
发布时间：2022-04-22 06:42
共1个回答
热心网友
时间：2023-12-12 09:53
形式逻辑，又称普通逻辑，是研究思维形式及其结构、思维规律的科学。
数理逻辑，又称符号逻辑，是用数学方法研究关于推理证明等问题的一门学科。
前者研究思维形式及其结构、思维规律，还研究定义、划分、分析、综合、试验、假说等逻辑方法。
后者主要内容有命题演算、谓词演算、算法理论、递归论、证明论、模型论和集合论等。
仅供参考。
