某班学生有50人会c语言的有40人,离散数学-20052006-试卷B.doc

一、基础知识(40分)

判断下列句子是否是命题，若是命题将其符号化。(4分)

李平不是不聪明，而是不用功。

如果只有懂得希腊文才能了解柏拉图，那么我不了解柏拉图。

在一阶逻辑中将下列命题符号化。(4分)

整数都是有理数，并不是每个有理数一定是整数，有些有理数不是整数。

某些汽车比所有的火车慢。{?,{?},{{?}}}

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

设A={1,2,3}，求A上所有的等价关系。(6分)

设集合A={1,2,3,4}，关系R={<1,2>,<2,1>,<2,3>,<3,4>}，分别求r(R)，s(R)，t(R)。(6分)

一棵树有两个顶点度数为2，一个顶点度数为3，三个顶点度数为4，问它有几个度数为1的顶点。(4分)

设有无向图G如下所示，判断图G是是否是欧拉图和哈密顿图。若是，分别求出一条欧拉回路和哈密顿回路．(4分)

设有代数系统(Z,*)，运算*的定义为：任意x,y∈Z，x*y＝x+y-2，试证(Z,*)是群。(8分)

二、理解运用(30分)

判断命题公式的类型。(6分)

10. 求下列命题公式的主析取范式和所有成假赋值。

(6分)

求谓词公式的前束范式。(6分)

画出集合A={1,2,3,4,6,8,12,24}关于整除关系的哈斯图。并求

(1)集合A的最大元、最小元、极大元和极小元；(2)集合B＝{}的上界、下界、最小上界、最大下界。

三、综合能力(30分)

请用一阶逻辑推理理论证明以下推理：

每个学术会的成员都是工人并且是专家，有些成员是青年人，所以有的成员是青年专家。(10分)

某班学生50人，会FORTRAN语言的有40人，回ALGOL语言的35人，会C语言的10人，以上三门语言都会的5人，都不会的没有，问只会两门语言的有几人？(10分)

有向图G=如下图所示，分别求:

(1)G中v1到v4的长度为3、长度为4的通路条数。

(2)G中长度不超过4的通路总数。(10分)

答案及评分参考(B卷)

1.①是命题(1分)。用p表示“李平聪明”，q表示“李平用功”，则符号化为

﹁(﹁p)∧﹁q。(1分)

②是命题(1分)。可表示为(q→p)→┐q，其中p：我懂得希腊文，q：我了解柏拉图(1分)

2.①设I(x)：x是整数，Q(x)：x是有理数。则原句可符号化为：

(2分)

②令：是火车。：是汽车。：比快。则有

或者；(2分)

3.①

(2分)

②ρ(B)= {φ,{{a,b}},{{c}},{{a,b},{c}}}(2分)

4.先求A的所有划分：只有1个划分块的划分，具有两个划分块的划分，和，具有3个划分块的划分，如下图。(2分)

设对应于划分的等价关系为，则有

；(1分)

；(1分)

；(1分)

；(1分)

。(1分)

5. r(R)= {<1,1>,<2,2>,<3,3>,<4,4>,<1,2>,<2,1>,<2,3>,<3,4>}(2分)

s(R)= {<1,2>,<2,1>,<2,3>,<3,2>,<3,4>,<4,3>}(2分)

t(R)={<1,2>,<2,1>,<2,3>,<3,4>,<1,1>,<2,2>,<1,3>,<2,4>,<1,4>}(2分)

6.设有x个度数为1的结点，结点数v＝2+1+3+x＝6+x，边数e＝v-1=5+x。

而2e＝∑deg(vi)，(2分)故2(5+x)=2·2+1·3+3·4+x·1，x＝9。(2分)

7.图G不是欧拉图。(2分)(答案不唯一)

8.证明：任意x,y,z∈Z，有(x*y)*z＝(x+y-2)*z＝x+y+z-4

x*(y*x)＝x*(y+z-2)＝x+y+z-4

∴*满足结合律。(2分)

任意x∈Z，有x*2＝x+2-2＝a,2*x＝x，∴单位元是2。(3分)

任意x∈Z，有(4-x)*x＝(4-x)+x-2＝2，∴a的逆元是4-x。(3分)

综上，根据群的定义可知，代数系统(Z,*)是群。

9. 解：

(1分)

(1分)

(1分)

(1分)

(1分)

所以，该命题公式为永真式。(1分)

(注：此题判断方法不唯一，用其他方法也可)

10．解

(3分)

A的所有成假赋值为000，001,010,100，101，110,111。(3分)

11. (3分)

(3分)

12.哈斯图如下：(2分)

(1)集合A极小元、最小元是124。(2分)

(2)集合B的上界是，下界是1，最小上界是，最大下界是

W(T)=40 (3分)

14.解：首先将命题符号化，个体域为全总个体域。

：是学术会成员。 ：是专家。 ：是工人。 ：是青年人。

前提：，。

结论：。① 前提引入② ①EI

③ 前提引入④ ③UI

⑤ ②化简⑥ ④⑤假言推理⑦ ②化简⑧ ⑥化简