用谓词演算式刻画“数学分析”中的几个基本概念

【摘要】本文结合命题联结词及谓词和量词，将“数学分析”中的基本概念：“极限”“连续”“一致收敛”，用谓词演算式来刻画，进一步将其写成逻辑等价的斯柯林范式。

【关键词】谓词；量词；斯柯林范式