dy对《陶哲轩实分析》的笔记(2)

dy
dy (可以薦嘉客,奈何阻重深。)

在读 陶哲轩实分析

陶哲轩实分析
  • 书名: 陶哲轩实分析
  • 作者: 陶哲轩
  • 页数: 464
  • 出版社: 人民邮电出版社
  • 出版年: 2008年
  • 第22页

    倒数第2行,原文:

    若a > b且a < b则根据命题2.2.12必有a = b,这是矛盾的。

    应改为“若a ≥ b且a ≤ b……” 只有这样,才能根据命题2.2.12(c)得到a = b,而根据定义2.2.11,a = b和a > b矛盾,和a < b也矛盾,即这种情况下a > b和a < b都不能成立。 引理2.2.10应为“设a是正数”。

    2013-05-18 00:18:54 回应
  • 第441页
    亚里士多德逻辑是数理逻辑的一个分支,但不太有表现力,因为它缺少逻辑关系的概念,它没有“与”、“或”、“若…则”(尽管有“非”)等逻辑关系,而且它也没有像“≤”那样的二元关系。
    2013-05-28 17:42:09 回应