陆教授请进，想请您指点一下

gaddis

陆教授在么，请教一下看书的顺序
情况是这样的，我现在在看《数学分析》，看到了中值定理这一章了。
我在看的过程中，发现很多题目的证明过程中，都有把一个命题改写成否定命题的情况。
比如，“某函数的极限是A”这个命题改写为“某函数的极限不是A”。然后用那个符号的形式表达出来。就是改写成“存在某个正数e0，任意小的领域d呢，总是存在一些x，这些x满足[f(x)-A]的绝对值小于e0”。这样的否定命题的形式。
而据说这个否定命题是根据极限定义的那个课本上的标准命题的符号表达形式“对偶”地改写出来的。
说实话，为什么这里是这样改写，我看不明白。

因此，我想是不是这里涉及到什么我没有学习过的知识？是数理逻辑么，还是离散数学前面部分的数理逻辑？还是集合论？
我这样看不懂这个过程是否属于正常的呢？
如果是，那我该补充点什么知识呢？
陆教授能否指点一下我该看看什么书，或者看书的顺序？
谢谢哦

luyuanhong

下面引用由gaddis在 2009/12/06 04:32pm 发表的内容：
陆教授在么，请教一下看书的顺序
情况是这样的，我现在在看《数学分析》，看到了中值定理这一章了。
我在看的过程中，发现很多题目的证明过程中，都有把一个命题改写成否定命题的情况。
比如，“某函数的极限是A ...

你的问题叙述得不太清楚，所以我不太明白你的意思到底是什么。
我猜想：你问的问题是：“怎样把一个命题改写成它的否命题？”
如果是这样一个问题，我可以回答如下：
（这一类的问题，当然属于逻辑的问题。照理说，在中学里就应该讲授这些基本的逻辑知识。
由于我对现在的中学教学完全不了解，所以不知道你们在中学里是否学过这方面的知识。
我对现在的中学教材也不熟悉，所以很抱歉，我也不知道哪些书上能找到这方面的内容。）

gaddis

谢谢陆教授的指点
我想请教的正是您在图片里的例子
这个修改否命题的法则是否只有按这样做就可以了
不需要去知道为什么么？
PS：离散数学中的前面会介绍这部分内容么？
再次感谢您的热心回答。谢谢[br][br]-=-=-=-=- 以下内容由 gaddis 在 时添加 -=-=-=-=-
另外，中学里没有教过这部分知识的。
另外这几天粗略的找资料，是不是否命题和否定命题又是两回事呢？
数学分析里的改写，也就是图片里的改写不知道是否定命题还是否命题呢。