第一部分数理逻辑 现代数理逻辑 逻辑演算、逻辑演绎、模型论、证明论、 递归函数论、公理化集合论等 我们要介绍的是数理逻辑中最基本的内容： 命题逻辑和谓词逻辑。即一般所谓的古典 逻辑。 德国数学家莱布尼茨Leibniz（现代逻辑的 首席创始人)；布尔Boole（奠基人，逻辑 的数学分析)；弗雷格 （数论的基础) 8/738/73 第一部分 数理逻辑 •现代数理逻辑 –逻辑演算、逻辑演绎、模型论、证明论、 递归函数论、公理化集合论等。 –我们要介绍的是数理逻辑中最基本的内容： 命题逻辑和谓词逻辑。即一般所谓的古典 逻辑。 –德国数学家莱布尼茨Leibniz（现代逻辑的 首席创始人）；布尔Boole （奠基人，逻辑 的数学分析）；弗雷格（数论的基础）