第一部分 数学基础课程 (共: 40 分) \text { (共: } 40 \text { 分) } (共: 40 分) 一、用逻辑符号表达语句 (论域为包含一切求物的集合) (共 3 分) 每个自然数有且仅有一个后继。 二、填空题 (每空 2 分, 共 10 分) 已知推理前提为