离散数学试题 E参考答案.docx

PAGE

PAGE3

离散数学试题E参考答案

一、填空题(每空4分，共20分)

设p:天下雨，q:天刮风，r:我去书店，则命题“如果天不下雨并且不刮风，我就去书店”的符号化形式为

_(?p??q)→r_。

设F(x):x是人，G(x):x用右手写字，命题“有的人并不用右手写字”在谓词逻辑中符号化的形式为

_?x(F(x)??G(x))_。

3.以1，1，1，1，2，2，4为无向树的度数列，可以生成 2

棵非同构的无向树。

设A={a,b,c}，则A上共有 5 个不同的等价关系。

设A={1,2,3}，在A上定义二元运算如下：?x,y?A,x*y=min{x,y},则*的运算表为

?

1

2

3

1

1

1

1

2

1

2

2

3

1

2

3

二、计算题(共50分)

求(q→p)?p?r的主析取范式（写出过程）。（8分）解：(q→p)?p?r?(?q?p)?p?r

?(?q?p?r)?(p?p?r)?(p??q?r)?(p?r) 4分

?(p??q?r)?((p?r)?(q??q))

?(p??q?r)?(p?q?r)?(p??q?r)

?(p?q?r)?(p??q?r) 8分

已知无向图G有11条边，2度与3度结点各2个，其余都是4度结点，求G中共有几个结点。（写出过程）（8分）

解：设有x个4度结点,则有握手定理有4x+2?(2+3)=2?11

解得：x=3

答：图G中共有7个结点。

1 1 1 2 2 3 4 5

图1

21 2 2

2

1 1 图2

3 4 5

683

6

8

3

3

4

4

1

2

2

2

33122

3

3

1

2

1 1

1 1 图7

844115

8

4

4

11

5

6

3

3

1

2

3

3

1

2

2

4

4 5

2 2 2

1 1

图4

456331

4

5

6

3

3

1

2

图8

4

19811

19

8

11

4

4

5

6

2

2

3

3

1

2

1 1

68

6

8

3

3

4

4

1

2

2

2

5

1 1

1 1 图9

图6

3.求一棵带权为1，1，1，2，2，3，4，5的最优二元树T，并计算W(T)。(8分)

解：解题过程如上图图1—图9。

W(T)=(1?1)?5?1?4?(2?2?3)?3?(4?5)?2

=10?4?21?18?53

4.设二元关系R={a,b,b,a,b,c,c,c}求：(9分)

⑴domR

⑵ranR

⑶R?R

⑷R?1?R?1

解：⑴domR={a,b,c};

⑵ranR={a,b,c};

⑶R?R

={a,b,b,a,b,c,c,c}?{a,b,b,a,b,c,c,c}

={a,a,a,c,b,b,b,c,c,c}

⑷R?1?R?1?(R?R)?1

={a,a,b,b,c,a,,c,b,c,c}

(9分)设A={a,b,c,d,e,f},则R是A上的等价关系,

其中

R?I ?{?a,b?,?b,a?,?c,d?,?c,e?,?d,c?,?d,e?,?e,c?,?e,d?}

A

求a的等价类[a] ；

R

求c的等价类[c] ；

R

求商集A/R。

解：(1)[a]

R

={a,b};

(2)[c]

R

={c,d,e};

(3)商集AR?{[a]

R

,[c]

R

,[f]}.

R

设R?为非零实数集。以下各式右边的运算为普通的四则运算。（8分）

(1)?a,b?R?,a b?a?b；

(2)?a,b?R?,a?b?a?b；

(3)?a,b?R?,a?b?a?b。

试确定以集合R?与以上三个二元运算构成的三个代数系统中哪些是群，是群的求其单位元，及每个元素的逆元。

解：只有代数系统R?,?是群。

群R?,?单位元是1。

对于任何的a?R?，则a逆元是1。

a

四、证明题(共30分)

(8分)在命题逻辑构造下面推理的形式证明：前提：p?q,?q?r,?r；

编号公式根据①?r

编号

公式

根据

①

?r

P

②

?q?r

P

③

?q

T①②析取三段论

④

p→q

P

⑤

?p

T③④拒取式

(7分)设A、B为二集合，已知A?B，证明：P(A)?P(B)