一、填空题1设集合AB，其中A＝123B12则AB＝____________________AB＝__________________________2设有限集合AA
则A×A__________________________3设集合AabB12则从A到B的所有映射是_______________________________________其中双射的是__________________________4已知命题公式G＝PQ∧R，则G的主析取范式是_________________________________________________________________________________________6设A、B为两个集合A124B34则从AB＝_________________________
AB＝_________________________A－B＝_____________________7设R是集合A上的等价关系，则R所具有的关系的三个特性是______________________
_______________________________________________________8设命题公式G＝PQR，则使公式G为真的解释有__________________________，
_______________________________________________________9设集合A＝1234A上的关系R1142332R2213243则R1R2________________________R2R1____________________________
R12________________________10设有限集AB，AmB
则AB_____________________________11设ABR是三个集合，其中R是实数集，Ax1≤x≤1xRBx0≤x2xR则AB__________________________BA__________________________A∩B__________________________13设集合A＝23456，R是A上的整除，则R以集合形式列举法记为__________________________________________________________________14设一阶逻辑公式GxPxxQx，则G的前束范式是_______________________________16设谓词的定义域为ab将表达式xRx→xSx中量词消除，写成与之对应的命题公式是__________________________________________________________________________17设集合A＝1234，A上的二元关系R＝111223S＝132332。则RS＝
f
_____________________________________________________
R2＝______________________________________________________
二、选择题
1设集合A2a34，Ba341，E为全集，则下列命题正确的是。
A2ABaACaBEDa134B
2设集合A123A上的关系R＝1122233233，则R不具备

A自反性
B传递性
C对称性
D反对称性
3设半序集A≤关系≤的哈斯图如下所示，若A的子集B2345则元素6为B的
。
A下界B上界C最小上界
D以上答案都不对
6
4下列语句中，是命题。
5
A请把门关上B地球外的星球上也有人
3
4
Cx56D下午有会吗？
2
5设I是如下一个解释：D＝abPaaPabPbaPbb
1
1010
则在解释I下取真值为1的公式是
AxyPxyBr