离散数学答案(尹宝林版)第二章习题解答课件.docVIP

第二章 谓词逻辑 习题与解答 1. 将下列命题符号化： (1) 所有的火车都比某些汽车快。 (2) 任何金属都可以溶解在某种液体中。 (3) 至少有一种金属可以溶解在所有液体中。 (4) 每个人都有自己喜欢的职业。 (5) 有些职业是所有的人都喜欢的。 解 (1) 取论域为所有交通工具的集合。令 T (x): x 是火车， C (x) : x 是汽车， F ( x, y) : x比 y 跑得快。 “所有的火车都比某些汽车快”可以符号化为 x(T (x) y(C( y) F (x, y))) 。 (2) 取论域为所有物质的集合。令 M (x) : x是金属， L(x): x 是液体， D (x, y) : x 可以溶解在 y 中。 “任何金属都可以溶解在某种液体中” 可以符号化为 x(M (x) y( L( y) D( x, y))) 。 (3) 论域和谓词与 (2) 同。“至少有一种金属可以溶解在所有液体中” 可以符号化为 x(M (x) y( L( y) D (x, y ))) 。 (4) 取论域为所有事物的集合。令 M (x) : x是人， J (x): x 是职业， L(x, y) : x 喜欢 y。 “每个人都有自己喜欢的职业” 可以符号化为 x(M ( x) y( J( y) L(x, y))) (5) 论 域 和 谓 词 与 (4) 同 。“ 有 些 职 业 是 所 有 的 人 都 喜 欢 的 ” 可 以 符 号 化 为 x(J(x) y(M ( y) L (y,x))) 。 2. 取论域为正整数集，用函数 （加法）， （乘法）和谓词 ， 将下列命题符号化： (1) 没有既是奇数，又是偶数的正整数。 (2) 任何两个正整数都有最小公倍数。 (3) 没有最大的素数。 (4) 并非所有的素数都不是偶数。 解 先引进一些谓词如下： D( x, y) : x 能被 y 整除， D( x, y) 可表示为 v(v y x) 。 J( x) : x 是奇数， J(x) 可表示为 v(v 2 x) 。 E( x) : x 是偶数， E( x) 可表示为 v(v 2 x) 。 P(x): x 是素数， P( x) 可表示为 (x 1) u( v(v u x) u 1 u x) 。 (1) “没有既是奇数，又是偶数的正整数”可表示为 x(J (x) E(x)) ， 并可进一步符号化为 x( v(v 2 x) v(v 2 x)) 。 (2) “任何两个正整数都有最小公倍数”可表示为 x y z(D (z, x) D (z, y) u(D (u, x) D (u, y) z u z u )) ， 并可进一步符号化为 x y z( v(v x z) v(v y z) u( v(v x u) v(v y u) z u z u )) (3) “没有最大的素数”可表示为 x( P(x) y( P( y) y x y x)) ， 并可进一步符号化为 x( (x 1) u( v(v u x) u 1 u x) y( ( y 1) u( v(v u y) u 1 u y) y x y x)) (4) “并非所有的素数都不是偶数”可表示为 x( P(x) E( x)) ，并可进一步符号化为 x( (x 1) u( v(v u x) u 1 u x) v(v 2 x)) 3. 取论域为实数集合，用函数 ，－（减法）和谓词 ， 将下列命题符号化： (1) 没有最大的实数。 (2) 任何两个不同的实数之间必有另一实数。 (3) 函数 f (x) 在点 a 处连续。 (4) 函数 f (x) 恰有一个根。 (5) 函数 f (x) 是严格单调递增函数。 解 (1) “没有最大的实数”符号化为 x y( y x y x) 。 (2)“任何两个不同的实数之间必有另一实数” 符号化为 x y(x y z(x z z y)) 。 (3) “函数 f (x) 在点 a 处连续”的定义是： 任给 0 ，总可以找到 0 ，使得只要 | x a | 就有 | f (x) f (a) | 。 “函数 f (x) 在点 a 处连续”符号化为 (0 (0 x(a x x a f (a) f (x) f (x) f (a) ))) (4) “函数 f (x) 恰有一个根”符号化为 x( f (x) 0 y( f (y) 0 y x)) 。 (5) “函数 f (x) 是严格单调递增函数”符号化为 x y(x y f (x) f ( y)) 。 4. 指出下列公式中变元的约束出现和自由出现，并对量词的每次出现指出其辖域。 (1) x(P( y, x) P(x, a)) (2) xP(x) zQ( x, y) (3) x(P( x) R( x)) xP( x) Q (x) (4) y(P