《离散数学》1—4章测验题-答案.docVIP

PAGE

PAGE1

《离散数学》1—4章测验题

一、单项选择题

1.设P：我将去市里，Q：我有时间．命题“我将去市里，仅当我有时间时”符号化为(B)

2.下列语句是真命题为(C)．

A.1+2=5当且仅当2是偶数B.如果1+2=3，则2是奇数

C.如果1+2=5，则2是奇数D.你上网了吗？

3.命题公式P?(Q?P)为(A)．

A.重言式B.可满足式C.矛盾式D.等值式

4.设命题公式G：,则使公式G取真值为1的P，Q，R赋值分别是(D).

5.命题公式的主析取范式是(A)．

(A)(B)(C)(D)

6.前提为：；则有效结论是(D)．

(A)P (B)?P (C)Q (D)?Q

7.设L(x)：x是演员，J(x)：x是老师，A(x,y)：x佩服y.那么命题“所有演员都佩服某些老师”符号化为(B)．

(A)(B)

(C)(D)

8.谓词公式中量词?x的辖域是(C).

(A)(B)P(x)(C)(D)

9.谓词公式xA(x)?xA(x)的类型是（B）.

(A)永真式(B)矛盾式

(C)非永真式的可满足式(D)不属于(A),(B),(C)任何类型

10.设个体域为整数集，下列公式中其真值为1的是(A).

A.B.

C.D.

11.设个体域是整数集合，P代表?x?y((x?y)?(x?y?0))，下面4个命题中为真的是(A).

(A)P是真命题(B)P是一阶逻辑公式，但不是命题

(C)P是假命题(D)P不是一阶逻辑公式

12.设A={1，2，3}，B={2，3，4，5}，C={2，3}，则（A∪B）?C为（C）.

(A){1，2}(B){2，3}(C){1，4，5}(D){1，2，3}

13.设集合A＝{?，a}，则P(A)＝(D).

14.设集合A={1,2,3,4}，A上的二元关系R={1,2,1,4,2,4,3,3}，S={1,4,2,3,2,4,3,2}．则关系(B)={1,4,2,4}

A.R?SB.R?SC.R－SD.S－R

15.设集合A＝{0,b},B={1,b,3},则A?B上的恒等关系是(B).

(A){0,0,1,1,3,3}(B){0,0,1,1,b,b,3,3}

(C){1,1,b,b,3,3}(D){0,1,1,bb,3,3,0}

16.已知集合A＝{a,b,c}上的二元关系R的关系矩阵MR＝，那么R＝(D).

(A){a,b,b,a,b,b,a,c} (B){a,b,b,a,b,b,c,b}

(C){a,b,a,a,b,b,c,a}(D){a,b,b,a,b,b,c,a}

17.设A={a，b，c}，R={a，a，b，b}，则R具有性质（C）.

(A)自反的(B)反自反的(C)反对称的(D)等价的

18.设R是集合A上的二元关系，IA是A上的恒等关系，如果R?IA(真子集),则下面四个命题中为真的是（A）.

(A)R不是自反的(B)R不是传递的(C)R不是对称的(D)R不是反对称的

19.设函数f：N?N，f(n)?n+1，下面四个命题中为真的是（C）.

(A)f是满射的(B)f是双射的(C)f是单射函数(D)f存在反函数

20.设函数f：R?R，f(a)=2a+1；g：R?R，g(a)=a2，则(C

A.g?fB.f?gC.fD.g?

二、填空题(每空4分,共40分)

1.设P：我们划船，G：我们跑步，那么命题“我们不能既划船又跑步”可符号化为.

2.含有三个命题变项P，Q，R的命题公式P?Q的主析取范式是

3.设个体域{1,2},谓词P(1)