第一篇数理逻辑 在数理逻辑中,用数学的方法是指引进一套符号 体系的方法来研究概念、判断和推理。即对符 号进行判断和推理。 数理逻辑分为四大分支:证明论、模型论、递归 论和公理集合论。我们这里介绍的是属于四大 分支的共同基础——古典数理逻辑(命题逻辑 和谓词逻辑)。8 第一篇 数理逻辑 在数理逻辑中，用数学的方法是指引进一套符号 体系的方法来研究概念、判断和推理。即对符 号进行判断和推理。 数理逻辑分为四大分支：证明论、模型论、递归 论和公理集合论。我们这里介绍的是属于四大 分支的共同基础——古典数理逻辑(命题逻辑 和谓词逻辑)