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