Log 命题逻辑 数理逻辑的内容: 古典数理逻辑 命题逻辑、谓词逻辑 现代数理逻辑: 公理化集合论、递归论、模型论、证明论 2/24/202111:37PM Deren Chen, ZheJiang UnivL o g i c 命题逻辑 2/24/2021 11:37 PM Deren Chen, ZheJiang Univ. 4 数理逻辑的内容： 古典数理逻辑： 命题逻辑、谓词逻辑 现代数理逻辑： 公理化集合论、递归论、模型论、证明论