为（）。
得分
2设F（x）：x是人，H（xy）：x与y一样高，在一阶逻辑中，命题“人都不一样高”的符号化形式为（）。
得分
3使命题公式PQR为假的赋值为（
）。
得分
4设A上共有4个元素，则A上共有（）个不同的等价关系。
得分
5设A是非空集合，则A上的恒等关系IA的传递必包tIA（）。
得分
6设Aabc考虑下列子集：S1abbc
S2aabacS3abcS4abc
S5abcS6aac
其中，A的覆盖有
A的划分有（）。
得分
第3页共7页
f7设函数f：X→Y如果对X中的任意两个不同的x1和x2，它们的象y1和y2也不同，我们说f是_________函数，如果ra
fY则称f是_________函数。
得分
8设R为非空集合A上的等价关系，其等价类记为xR。xyA，若XYR则xR与yR的关系是_________，若xyR则xR∩yR________。
得分
9设命题公式GP∧Q∨R，则使的真值为1的指派是_________。
得分
10已知P、Q的值为1；R、S的值为0，则P∨R∧S的值
为
。
得分
三、计算题（每小题10分，本大题共60分）
得分
评卷人
1求公式P→R∧PQ的主合取范式和主析取范式。
得分
第4页共7页
f2证明P∨Q∧P→R∧Q→SS∨R。
得分
3构造下面推理的证明。前提：xFx∧Hx）；xGx→Hx结论：xGx→Fx
得分
第5页共7页
f4设A12345，A上的偏序关系R12324142433545IA1作出偏序关系R的哈斯图。2令B1235，求B的最大，最小元，极大，极小元，上界，上确界，下界，下确界。
得分
5设集合A上关系RS具有对称性，证明：R与S的复合RS具有对称性的充要条件是RSSR。
得分
第6页共7页
f6设R是集合X上的一个自反关系，证明R是对称的和传递的，当且仅当若abac在R中，则有bc在R中。
得分
第7页共7页
fr