地球外的星球上也有人
3
4
Cx56D下午有会吗？
2
5设I是如下一个解释：D＝abPaaPabPbaPbb
1
1010
则在解释I下取真值为1的公式是
AxyPxyBxyPxyCxPxxDxyPxy
6若供选择答案中的数值表示一个简单图中各个顶点的度，能画出图的是
A122345B123455
C11123D233456
7设G、H是一阶逻辑公式，P是一个谓词，G＝xPxH＝xPx则一阶逻辑公式GH
是
A恒真的B恒假的
C可满足的D前束范式
8设命题公式G＝PQ，H＝PQP，则G与H的关系是。
AGHBHGCG＝HD以上都不是
9设AB为集合，当时A－B＝B
AA＝BBAB
CBA
DA＝B＝
10设集合A1234A上的关系R＝11232434则R具有。
A自反性
B传递性
C对称性
D以上答案都不对
11下列关于集合的表示中正确的为。
AaabcBaabcCabcDababc
12命题xGx取真值1的充分必要条件是
A对任意x，Gx都取真值1B有一个x0，使Gx0取真值1C有某些x，使Gx0取真值1D以上答案都不对13设G是连通平面图，有5个顶点，6个面，则G的边数是
A9条B5条
C6条D11条
14设G是5个顶点的完全图，则从G中删去条边可以得到树
A6B5C10D4
01111
15设图G的相邻矩阵为10100，则G的顶点数与边数分别为

11011
10101
10110
fA45
B56
三、计算证明题
C410
D58
1设集合A＝123468912，R为整除关系。
1画出半序集AR的哈斯图；
2写出A的子集B36912的上界，下界，最小上界，最大下界；
3写出A的最大元，最小元，极大元，极小元。
2设集合A＝1234，A上的关系R＝xyxyA且xy求1画出R的关系图；2写出R的关系矩阵
3设R是实数集合，是R上的三个映射，xx3x2xx＝x4试求复合
映射，，
4设I是如下一个解释：D23
a
b
f2
f3
3
2
3
2
试求1Pafa∧Pbfb
P22P23P32P33
0
0
1
1
2xyPyx5设集合A＝1246812，R为A上整除关系。
1画出半序集AR的哈斯图；2写出A的最大元，最小元，极大元，极小元；3写出A的子集B46812的上界，下界，最小上界，最大下界6设命题公式GP→Q∨Q∧P→R求G的主析取范式。79分设一阶逻辑公式：GxPx∨yQy→xRx，把G化成前束范式
9设R是集合AabcdR是A上的二元关系Rabbabccd
1求出rRsRtR；
2画出rRsRr