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

第四章局部课后习题参考答案 在一阶逻辑中将下面将下面命题符号化，并分别讨论个体域限制为(a),(b)条件时命 题的真值： 对于任意 x,均有 -2=(x+ J(x -? 一). 存在 x,使得 x+5=9. 其中(a)个体域为自然数集合. 个体域为实数集合. 解： F(x): . ： -2=(x+ _)(x _). G(x): x+5=9. 在两个个体域中都解释为 xF(x)，在〔a〕中为假命题，在(b)中为真命题。 ⑵在两个个体域中都解释为 xG(x)，在〔a〕(b)中均为真命题。 在一阶逻辑中将以下命题符号化： 没有不能表示成分数的有理数? 在北京卖菜的人不全是外地人. 解： F(x):