第1章命题逻辑 ●数理逻辑是用数学方法来硏究推理的形式结构和 推理规律的数学学科。 ●现代数理逻辑可分为逻辑演篁、证明论、公理集 合论、递归论和模型论。 ●本课程介绍的是数理逻辑最基本的内容,也是与 计算机科学关系最为密切的:命题逻辑和谓词逻 辑(一阶逻辑)第1章 命题逻辑 ⚫ 数理逻辑是用数学方法来研究推理的形式结构和 推理规律的数学学科。 ⚫ 现代数理逻辑可分为逻辑演算、证明论、公理集 合论、递归论和模型论。 ⚫ 本课程介绍的是数理逻辑最基本的内容，也是与 计算机科学关系最为密切的：命题逻辑和谓词逻 辑（一阶逻辑）