离散数学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(x,y)表示x＝y，函数f(x)表示个体x的相继后元，即f(x)=x+1．函数g(x)表示个体x的相继前元，即g(x)＝x-1 对语句1需注意唯一性的描述，常用的办法是如果有两个则它们必相等，即若对每个x都存在y，y是x的相继后元，且对任一Z，如果它也是x的相继后元，那么y, z必相等 形式化 于是对语句1存在唯一性的描述为 对语句3需注意的是对“除0而外”的描述，可理解为如果x≠0．则……的形式，于是语句3可描述为 语句2的描述是简单的，可写成 4.4.6 “至少有一偶数是素数”与 “至少有一偶数并且至少有一素数”的形式化 需注意两者的区别，分别形式描述为 这两个逻辑公式并不等值 注：D={3, 4} 同样，“一切事物它或是生物或是非生物”与“或者一切事物都是生物，或者一切事物都是非生物”的形式化也是不同的，可分别形式描述为 这两个逻辑公式也不等值 形式化 (*) 再有“一切素数都是奇数”与“若一切事物都是素数，那么一切事物都是奇数”的形式化分别是 两者也不等值 注：D={2, 4} 4.4.7 积木世界的形式描述 如图所示三块积木A，B，C放在桌子上 形式化 相对位置可如下描述： ON(C, A) 表示C在A上. ON(A, TABLE) 表示A在桌子上. ON(B, TABLE) 表示B在桌子上. CLEAR(C) 表示C上无积木块. CLEAR(B) 表示B上无积木块. 表示，对任一x，如果x上无积木，那么没有y在x上，这表明了谓词CLEAR, ON的关系 4.4.8 一段话的形式描述 “张三在计算机系工作，李四是计算机系的领导人员．如果y在计算机系工作，而z是计算机系的领导，那么z是y的上级”这段话的形式描述为 WORKS-IN(计算机系，张三) MANAGER(计算机系，李四) 4.4.9 “函数f(x)在[a, b]上的点x0处连续”的形式描述 注：“函数f(x)在[a, b]上的点x0处连续”的定义 设f(x)在某邻域N(x0, δ)内有定义，若对任一ε0存在δ0使得当|x-x0|δ时有|f(x)-f(x0)|ε，则称函数f(x)在点x0处连续 4.4.10 对谓词变元多次量化的分析 设P(x，y)是二元谓词，对两个变元的量化可得4种形式 显然, ?x和?y可交换, 有 注意：?x和?y不可交换且y是x的函数, 或者说y依赖于x 如P(x，y)表x+y＝0，论域D1为实数．这时： 对x1∈D1 ，有y1∈D1 使x1+y1=0 对x2∈D1 ，有y2∈D1 使x2+y2＝0 从而(?x)(?y)P(x, y)＝T，这里对x1有y1，对x2有y2，…，并不要求y1=y2=… 形式化 (3) 显然这与 (?y)(?x)P(x, y)是不同的 如P(x，y)表示x·y＝0，论域为实数．取x＝0时，对所有的y均有x·y=0成立，从而有 (?x)(?y)P(x，y)＝T 所以?x和?y不可交换 (4) 显然?x和?y可交换，有 自然语言形式化小结 对更多个量词的情形可同样分析 这一节介绍了一些具体语句的形式化，都具有一般性，特别是对“所有的……都是……”，“有的……是……”的形式描述是最基本的格式 通过这些例子，也可看