A上有（）二元关系。A、2
；B、
2；C、2；
2
D、
；E、2。


7、设r为集合A上的相容关系，其简化关系图（如图），
则Ir产生的最大相容类为（
）；
A、x1x2；B、x1x2x3；C、x4x5；D、x2x4x5IIA的完全覆盖为（）。
A、x1x2x3x4x5；
B、x1x2x1x2x3x4x5；
C、x1x2x3x2x4x5；D、x1x2x3x4x5。8、集合A1，2，3，4上的偏序关系图为
则它的哈斯图为（
）。
9、下列关系中能构成函数的是（
）。
2
A、xyxyNxy10；B、xyxyRyx；
xyxyRyx；C、
2
xyxyIxymod3。D、
10、N是自然数集，定义fNN则f是（）。
fxxmod3（即x除以3的余数），
A、满射不是单射；B、单射不是满射；C、双射；D、不是单射也不是满射。
三、简答题15
1、10分设S1234681224，“”为S上整除关系，问：（1）偏序集S　
f的极小元、最小元、极大元、最大元是什么的Hass图如何？（2）偏序集S　
2、（5分）设解释R如下：DR是实数集，DR中特定元素a0，DR中特定函数
fxyxy
，
特
定
谓
词
Fxyxy
，
问
公
式
AxyzFxyFfxzfyz的涵义如何？真值如何？
四、逻辑推理10
或者逻辑难学，或者有少数学生不喜欢它；如果数学容易学，那么逻辑并不难学。因此，如果许多学生喜欢逻辑，那么数学并不难学。
五、10
设X12345，X上的关系R1112243542，用Warshall方法，求R的传递闭包tR。
六、证明15
1、每一有限全序集必是良序集。（7分）2、设gf是复合函数，如果gf满射，则g也是满射。（8分）答案
二十、填空20（每小题2分）
1、2、3、见右图；4、1224331，3，2442、1422；5、29；6、112233；；；；
7、abadaebdbeacafagcfcg8、m
、
m、
；9、假；10、我将去上海当且仅当我有空；11、；
12、二十一、选择20（每小题2分）
。
f题目答案
1A、D
2C
3B
4A、E
5B、D
6C
7B、D；C
8A
9B
10D
二十二、简答题151、（10分）（1）≤1213141618112124242628，
21222436312324484124246126248241224
covS1213242636r