屈婉玲版离散数学课后习题答案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)在两个个体域中都解释为xG(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) 不存