《离散数学》模拟试卷一

一、填空题（本大题共10小题，答对一题得2分，共20分）

1、命题“中国有四大发明”的真值为：              。

2、若p代表“天下大雨”，q代表“他就乘班车上班”，则命题“如果天下大雨，他就乘班车上班”的符号化表示是：               。

3、F(x)®G(x)是                     的代换实例。

4、如果 |A|=n，则 |P(A)|=                。

5、若AÇB =Æ，则 A-B =                。

6、若A={1, 2},则IA =                。

7、R={<1,2>,<1,3>,<2,4>,<4,3>}, 则ranR=                  。

8、设F是任意的关系, 则 (F-1)-1=              

9、写出本试卷中第3页图中的极小元                     。

10、已知a∨b = b∨a，根据对偶原理，它的对偶式是：              。

二、计算题(本大题共10小题，每题5分,共50分)

11、用真值表判断下列公式的类型：

A＝(q®p)Ùq®p

12、求公式 A=(p®Øq)®r的主析取范式。

13、A={1,2,3}，B={a,b,c}，请写出A´B

14、R = {<1,2>, <2,3>, <1,4>, <2,2>},

S = {<1,1>, <1,3>, <2,3>, <3,2>, <3,3>},

请写出R-1和R°S

15、已知偏序集<A,R>的哈斯图如下图所示，试求出集合A和关系R的表达式.

16、设群G=<P({a,b}),Å>，其中Å为对称差。解下列群方程：{a}ÅX=Æ，YÅ{a,b}={b}

17、S={1, 2, 3, 4, 5}，下述为5元置换

请写出σ和τ的复合σ∘τ和τ∘σ。

18、在环中计算(a+b)3。

19、判断下列偏序集是否构成格，并说明理由

20、设A={a,b,c,d}, R={<a,b>,<b,a>,<b,c>,<c,d>,<d,b>}，试画出R和r(R),s(R),t(R)的关系图。

三、证明题(本大题共2小题，每题8分,共16分。)

21、用等值演算法证明下面等值式

p®(q®r) Û (pÙq)®r

22、根据以下前提与结论，写出证明的形式结构

     前提：(pÚq)®r,  r®s,  Øs

     结论：ØpÙØq

四、应用题(本大题共2小题，每题7分,共14分。)

23、判断下面推理是否正确：

若今天是1号，则明天是5号。今天是1号，所以明天是5号。

24、设A = {a,b,c,d}, R ={<a,b>,<b,a>,<b,c>,<c,d>}，求R的各次幂(请用矩阵表示)。