02324离散数学200604

02324离散数学200604及答案

2006年4月高等教育自学考试全国统一命题考试

离散数学试题

课程代码：2324

一、单项选择题（本大题共15小题，每小题1分，共15分）

在每小题列出的四个备选项中只有一个是符合题目要求的，请将其代码填写在题后的括号内。错选、多选或未选均无分。

1．下列命题公式为重言式的是（）

A．p→(p∨q) B．(p∨┐p)→q

C．q∧┐q D．p→┐q

2．下列语句中不是

．．命题的只有（）

A．这个语句是假的。B．1+1=1.0

C．飞碟来自地球外的星球。D．凡石头都可练成金。

3．设p：我很累，q：我去学习，命题：“除非我很累，否则我就去学习”的符号化正确的是

（）A．┐p∧q B．┐p→q

C．┐p→┐q D．p→┐q

4．下列等价式正确的是（）

A．┐)

x∃

A

⇔

∃┐A

(

)

(x

B．A

(∀

∃

)(

∀

)

∀

⇔

x)

A

x

y

y

)(

(

C．┐)

⇔

∀┐A

x∃

A

)

(x

(

D．)

B

x

x

x

x

A

x

A

⇔

∧

∀

∨

x∀

∀

))

)

(

(

)

(

)

(

)(

(x

(

)

(

B

5．在公式)

Q

y

z

P

y

x

P

∧

∀

→

x∃

y

∃中变元y是（）

(z

(

))

)

(

y

(

,

)(

)

)(

(

,

A．自由变元

B．约束变元

C．既是自由变元，又是约束变元

D．既不是自由变元，又不是约束变元

6．设A={1，2，3}，A上二元关系S={<1，1>，<1，2>，<3，2>，<3，3>}，则S是（）

A．自反关系B．反自反关系

C．对称关系D．传递关系

7．设集合X为人的全体，在X上定义关系R、S为R={<a，b|a，b∈X∧a是b的父亲}，S={<a，b>|a，b∈X∧a是b的母亲}，那么关系{<a，b>|a，b∈x∧a是b的祖母}的表达式为（）

A．R S B．R-1 S

第1 页共9 页