离散数学chapter04详解.ppt

“有的……是……”这类语句，按人们通常的认识，它的取值是真是假应与个体域有关 用(?x)(P(x)∧Q(x))描述是对的 设论域D1中没有有理数，如D1={e，∏，张三，桌子}，则在D1上不存在是有理数的实数，故在D1上这句话真值应为假，也确为假 仅当D1中有有理数时方为真 若以(?x)(Q(x)?P(x))来描述，就不符合人们的常规理解了．因为凡在不含实数的论域上都有 (?x)(Q(x)?P(x))=T 这是不对的 形式化 4.4.3 “没有无理数是有理数”的形式化 这句话有否定词，意思是对任一x而言，如果x是无理数，那么x不是有理数 若以A(x)表示x是无理数，B(x)表示x是有理数，这句话的形式描述为 ?(?x)(A(x)∧B(x)) 也可以逻辑上等价的 (?x)(A(x) ? ?B(x)) (?x)(B(x) ? ?A(x)) 4.4.4 “有的实数不是有理数”的形式化 这句话的意思是有的x，它是实数而且不是有理数 若以A(x)表示x是实数，B(x)表示x是有理数，那么这句话可形式描述为 (?x)(A(x)∧?B(x)) 4.4.5 自然数集的形式描述 论域是自然数集，来形式化语句 (1)对每个数，有且仅有一个相继后元 (2)没有这样的数，0是其相继后元 (3)对除0而外的数，有且仅有一个相继前元 (可将这三句话作为建立自然数集合的公理) 引入谓词E(