-1主要内容主要内容l 预备知识预备知识l 形式系统形式系统l 命题逻辑形式系统命题逻辑形式系统l 一阶谓词逻辑形式系统一阶谓词逻辑形式系统l 归结原理归结原理-21.预备知识预备知识 1.1 基本概念基本概念 1.2 数理逻辑的发展过程数理逻辑的发展过程 1.3 数理逻辑学科的发展数理逻辑学科的发展 1.4 数理逻辑与其他科学数理逻辑与其他科学 1.5 课程学习内容课程学习内容 1.6 主要掌握内容主要掌握内容-31.1 基本概念基本概念l 逻辑逻辑 探索、阐述和确立有效推理原则的学科，最探索、阐述和确立有效推理原则的学科，最早由古希腊学者亚里士多德创建。早由古希腊学者亚里士多德创建。l 数理逻辑数理逻辑 用数学的方法研究关于推理、证明等问题的用数学的方法研究关于推理、证明等问题的学科就叫做数理逻辑，又称为符号逻辑。学科就叫做数理逻辑，又称为符号逻辑。-41.1 基本概念基本概念l数理逻辑的研究内容数理逻辑的研究内容 对世界的描述：认为逻辑是描述世界对世界的描述：认为逻辑是描述世界的最基本单元。如逻辑原子主义和逻辑实的最基本单元。如逻辑原子主义和逻辑实证主义等观点认为，每个逻辑原子是
