离散数学第六版第er章偶数题答案_离散数学 第2章习题答案

1

第

2

章习题答案

1.

解

(1)

设

F

(

x

)

表示“

x

犯错误”，

N

(

x

)

表示“

x

为人”，则此语句符号化为：



x

(

N

(

x

)

∧



F

(

x

))

。

(2)

设

F

(

x

)

表示“

x

是推理”，

M

(

x

)

表示“

x

是计算机”，

H

(

x

，

y

)

表示“

x

能由

y

完成”，则此语句

符号化为：



x

(

F

(

x

)



y M

(

y

)

∧

H

(

x

，

y

))

。

(3)

设

C

(

x

)

表示

“

x

是计算机系的学生”

，

D

(

x

)

表示

“

x

学习离散数学”

，

则此语句符号化为：



x

(

C

(

x

)



D

(

x

))

。

(4)

因原语句与“一切自然数

x

，都有一个自然数

y

，使得

y

是

x

的后继数；并且对任意自然数

x

，当

y

和

z

都是

x

的后继时，则有

y

＝

z

”的意思相同，所以原语句可符号化为：



x

(

N

(

x

)



y

(

N

(

y

)

∧

M

(

x

，

y

))