文档介绍：. .
-优选
一、填空题
1 设集合A,B，其中A＝{1,2,3}, B= {1,2}, 那么A - B＝____________________; r(A) - r(B)＝ __________________________ .
2. 设有限集合A,|A| = n, 那么 |r(A×A)| = __________________________.
3. 设集合A = {a, b}, B = {1, 2}, 那么从A到B的所有映射是__________________________ _____________, 其中双射的是__________________________.
4. 命题公式G＝Ø(P®Q)∧R，那么G的主析取式是_______________________________
__________________________________________________________.
6 设A、B为两个集合, A= {1,2,4}, B = {3,4}, 那么从AÇB＝_________________________; AÈB＝_________________________;A－B＝ _____________________ .
7. 设R是集合A上的等价关系，那么R所具有的关系的三个特性是______________________, ________________________, _______________________________.
8. 设命题公式G＝Ø(P®(QÙR))，那么使公式G为真的解释有__________________________，_____________________________,__________________________.
9. 设集合A＝{1,2,3,4}, A上的关系R1 = {(1,4),(2,3),(3,2)}, R2 = {(2,1),(3,2),(4,3)}, 那么 R1·R2 = ________________________,R2·R1 =____________________________, R12 =________________________.
10. 设有限集A, B，|A| = m, |B| = n, 那么| |r(A´B)| = _____________________________.
11 设A,B,R是三个集合，其中R是实数集，A = {x | -1≤x≤1, xÎR}, B = {x | 0≤x < 2, xÎR},那么A-B = __________________________ , B-A = __________________________ ,
A∩B = __________________________ , .
13. 设集合A＝{2, 3, 4, 5, 6}，R是A上的整除，那么R以集合形式(列举法)记为
. .
-优选
__________________________________________________________________.
14. 设一阶逻辑公式G = "xP(x)®$xQ(x)，那么G的前束式是_______________________________.
16. 设谓词的定义域为{a, b},将表达式"xR(x)→$xS(x)中量词消除，写成与之对应的命题公式是__________________________________________________________________________.
17. 设集合A＝{1, 2, 3, 4}，A上的二元关系R＝{(1,1),(1,2),(2,3)}, S＝{(1,3),(2,3),(3,2)}。那么R×S＝_____________________________________________________,
R2＝______________________________________________________.
二、选择题
1设集合A={2,{a},3,4}，B = {{a},3,4,1}，E为全集，那么以下命题正确的选项是( )。
(A){2}ÎA (B){a}ÍA