数学分析中否定命题证明的逻辑基础

在数学分析的教学过程中,要想证明“数b是函数f(x)在点a的极限”、“函数f(x)在点口连续”和“函数f(x)在‘a,b’上一致连续”等命题是比较容易的,然而要证明这些命题的否定形式,即“数b不是函数f(x)在点a的极限”、“函数f(x)在点a不连续”和“函数f(x)在‘a,b’上不一致连续”等否定命题时,学生就倍感棘手,教师讲解时往往也不太容易表达清楚,为此,笔者想借助数理逻辑作为工具,对该类问题证明的逻辑基础予以剖析,供大家参考。