研究真假值和形式证明之间的关系 构造一个简单的数学推理模型—命题逻 辑 构造较为精细的模型—一阶谓词逻辑研究真假值和形式证明之间的关系 构造一个简单的数学推理模型——命题逻 辑 构造较为精细的模型—— 一阶谓词逻辑