屈婉玲版离散数学课后习题答案.doc

PAGE1

PAGE1

PAGE

PAGE1

第四章部分课后习题参考答案

3.在一阶逻辑中将下面将下面命题符号化,并分别讨论个体域限制为(a),(b)条件时命题的真值:

(1)对于任意x,均有QUOTE2=(x+QUOTE)(xQUOTE).

(2)存在x,使得x+5=9.

其中(a)个体域为自然数集合.

(b)个体域为实数集合.

解：

F(x):QUOTE2=(x+QUOTE)(xQUOTE).

G(x):x+5=9.

(1)在两个个体域中都解释为，在（a）中为假命题，在(b)中为真命题。

(2)在两个个体域中都解释为，在（a）(b)中均为真命题。

4.在一阶逻辑中将下列命题符号化:

(1)没有不能表示成分数的有理数.

(2)在北京卖菜的人不全是外地人.

解:

(1)F(x):x能表示成分数

H(x):x是有理数

命题符号化为:

(2)F(x):x是北京卖菜的人

H(x):x是外地人

命题符号化为:

5.在一阶逻辑将下列命题符号化:

(1)火车都比轮船快.

(3)不存在比所有火车都快的汽车.

解:

(1)F(x):x是火车;G(x):x是轮船;H(x,y):x比y快

命题符号化为:

(2)(1)F(x):x是火车;G(x):x是汽车;H(x,y):x比y快

命题符号化为:

9.给定解释I如下:

(a)个体域D为实数集合R.

(b)D中特定元素QUOTE=0.

(c)特定函数QUOTE(x,y)=xQUOTEy,x,yQUOTE.

(d)特定谓词QUOTE(x,y):x=y,QUOTE(x,y):xy,x,y.

说明下列公式在I下的含义,并指出各公式的真值:

答:(1)对于任意两个实数x,y,如果xy,那么xy.真值1.

(2)对于任意两个实数x,y,如果x-y=0,那么xy.真值0.

10.给定解释I如下：

结论:QUOTEx(F(x)∧R(x))

证明(1)

①前提引入

②F(c)①EI

③前提引入

④①③假言推理

⑤(F(c)∨G(c))→R(c))④UI

⑥F(c)∨G(c)②附加

⑦R(c)⑤⑥假言推理

⑧xR(x)⑦EG

(2)

①xF(x)前提引入

②F(c)①EI

③x(F(x)→(G(a)∧R(x)))前提引入

④F(c)→(G(a)∧R(c))③UI

⑤G(a)∧R(c)②④假言推理

⑥R(c)⑤化简

⑦F(c)∧R(c)②⑥合取引入

⑧x(F(x)∧R(x))