？
5设I是如下一个解释：D＝ab
PaaPabPbaPbb1010

1
则在解释I下取真值为1的公式是
AxyPxyBxyPxyCxPxxDxyPxy6若供选择答案中的数值表示一个简单图中各个顶点的度，能画出图的是A122345B123455C11123D2334567设G、H是一阶逻辑公式，P是一个谓词，G＝xPxH＝xPx则一阶逻辑公式GH是CA恒真的B恒假的C可满足的D前束范式8设命题公式G＝PQ，H＝PQP，则G与H的关系是A。AGHBHGCG＝HD以上都不是9设AB为集合，当D时A－B＝BAA＝BBABCBADA＝B＝10设集合A1234A上的关系R＝11232434则R具有B。A自反性B传递性C对称性D以上答案都不对11下列关于集合的表示中正确的为B。AaabcBaabcCabcDababc12命题xGx取真值1的充分必要条件是A对任意x，Gx都取真值1B有一个x0，使Gx0取真值1C有某些x，使Gx0取真值1D以上答案都不对13设G是连通平面图，有5个顶点，6个面，则G的边数是A9条B5条C6条D11条
0115设图G的相邻矩阵为11111110100，则G的顶点数与边数分别为101101010110
D
A45B56三、计算证明题
C410
D58
1设集合A＝123468912，R为整除关系。1画出半序集AR的哈斯图；2写出A的子集B36912的上界，下界，最小上界，最大下界；3写出A的最大元，最小元，极大元，极小元。
f2
3
设集合A＝1234，A上的关系R＝xyxyA且xy求1画出R的关系图；2写出R的关系矩阵设R是实数集合，是R上的三个映射，xx3x2xx＝x4试求复合映射，，
4设I是如下一个解释：D23a3b2f23f32P220P230P321P331
试求1Pafa∧Pbfb2xyPyx5设集合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上的二元关系Rabbabccd1求出rRsRtR；2画出rRsr