分类：教育/科学-理工学科-数学
问题：逻辑问之
如题
回答：形式逻辑，又称普通逻辑，是研究思维形式及其结构、思维规律的科学。
数理逻辑，又称符号逻辑，是用数学方法研究关于推理证明等问题的一门学科。
前者研究思维形式及其结构、思维规律，还研究定义、划分、分析、综合、试验、假说等逻辑方法。
后者主要内容有命题演算、谓词演算、算法理论、递归论、证明论、模型论和集合论等。
仅供参考。