屈婉玲版离散数学课后习题答案【2】.pdfVIP

第四章部分课后习题参考答案 3. 在一阶逻辑中将下面将下面命题符号化,并分别讨论个体域限制为(a),(b)条件时命 题的真值: (1) 对于任意 x,均有 2=(x+)(x). (2) 存在 x,使得 x+5=9. 其中 (a)个体域为自然数集合. (b)个体域为实数集合. 解： F(x): 2=(x+)(x). G(x): x+5=9. (1)在两个个体域中都解释为xF (x) ，在（a）中为假命题，在(b)中为真命题。 (2)在两个个体域中都解释为x G(x) ，在（a）(b)中均为真命题。 4. 在一阶逻辑中将下列命题符号化: (1) 没有不能表示成分数的有理数. (2) 在北京卖菜的人不全是外地人. 解: (1)F(x): x能表示成分数 H(x): x 是有理数 命题符号化为: x (F (x)  H (x)) (2)F(x): x是北京卖菜的人 H(x): x 是外地人 命题符号化为: x (F (x)  H (x)) 5. 在一阶逻辑将下列命题符号化: (1) 火车都比轮船快. (3) 不存在比所有火车都快的汽车. 解: (1)F(x): x是火车; G(x): x是轮船; H(x,y): x 比y 快 命题符号化为: xy ((F (x)  G(y ))  H (x , y )) (2) (1)F(x): x是火车; G(x): x是汽车; H(x,y): x 比y 快 0 命题符号化为: y (G(y )  x (F (x)  H (x , y ))) 9.给定解释 I 如下: (a) 个体域 D 为实数集合 R. (b) D 中特定元素=0. (c) 特定函数 (x,y)=xy,x,yD . (d) 特定谓词 (x,y):x=y,(x,y):xy,x,yD . 说明下列公式在 I 下的含义,并指出各公式的真值: (1) xy (G(x , y )  F (x , y )) (2) xy (F (f (x , y ), a)  G(x , y )) 答:(1) 对于任意两个实数 x,y,如果 xy, 那么 x y. 真值 1. (2) 对于任意两个实数 x,y,如果 x-y=0, 那么 xy. 真值 0. 10. 给定解释 I 如下： （a） 个体域 D=N(N 为自然数集合). （b） D 中特定元素=2. （c） D 上函数=x+y,(x,y)=xy. （d） D 上谓词 (x,y):x=y. 说明下列各式在 I 下的含义，并讨论其真值. (1) xF(g(x,a),x) (2) xy(F(f(x,a),y)→F(f(y,a),x) 答:(1) 对于任意自然数 x, 都有 2x=x, 真值 0. (2) 对于任意两个自然数 x,y,使得如果 x+2=y, 那么 y+2=x. 真值 0. 11. 判断下列各式的类型: (1) (3) yF(x,y). 解:(1)因为 p  (q  p )  p  (q  p )  1 为永真式； 所以 为永真式； (3)取解释 I 个体域为全体实数 F(x,y)：x+y=5 所以,前件为任意实数 x 存在实数 y 使 x+y=5，前件真； 后件为存在实数 x 对任意实数 y 都有 x+y=5，后件假，] 1 此时为假命题 再取解释 I 个体域为自然数 N， F(x,y)：:x+y=5 所以,前件为任意自然数 x 存在自然数 y 使 x+y=5，前件假。此时为假命题。 此公式为非永真式的可满足式。 13. 给定下列各公式一个成真的解释，一个成假的解释。 (1) (F(x)