3. 设集合a = {a, b}, b = {1, 2}, 则从a到b的所有映射是

__________________________ _____________, 其中双射的是__________________________.

4. 已知命题公式g＝?(p?q)∧r，则g的主析取范式是_______________________________

__________________________________________________________.

5.设g是完全二叉树，g有7个点，其中4个叶点，则g的总度数为__________，分枝点数为________________.

___________________;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)}, r1 = {(2,1),(3,2),(4,3)}, 则 r1?r2 = ________________________,r2?r1 =____________________________, =________________________.

10. 设有限集a, b，|a| = m, |b| = n, 则| |?(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的前束范式是

__________________________ _____. 15.设g是具有8个顶点的树，则g中增加_________条边才能把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＝ r12

?(a) - ?(b)＝

_____________________________________________________, r2＝

______________________________________________________. 二、选择题

(c)??{{a}}?b?e (d){{a},1,3,4}?b. (c)对称性 (d)反对称性

1 设集合a={2,{a},3,4}，b = {{a},3,4,1}，e为全集，则下列命题正确的是( )。

(a){2}?a(b){a}?a (a)自反性 (a)下界

2 设集合a={1,2,3},a上的关系r＝{(1,1),(2,2),(2,3),(3,2),(3,3)}，则r不具备( ).

(b)传递性 (b)上界

3 设半序集(a,≤)关系≤的哈斯图如下所示，若a的子集b = {2,3,4,5},则元素6为b的( )。 (c)最小上界 (d)以上答案都不对 4 下列语句中，( )是命题。

(a)请把门关上 (b)地球外的星球上也有人 (c)x + 5 6 (d)下午有会吗？ 5 设i是如下一个解释：d＝{a,b},

p(a,a) p(a,b) p(b,a) p(b,b)1 0 1 0 则在解释i下取真值为1的公式是( ).

(a)?x?yp(x,y)(b)?x?yp(x,y)(c)?xp(x,x) (d)?x?yp(x,y). (a)(1,2,2,3,4,5)(b)(1,2,3,4,5,5) (a)恒真的(b)恒假的 (c)(1,1,1,2,3) (d)(2,3,3,4,5,6).

6. 若供选择答案中的数值表示一个简单图中各个顶点的度，能画出图的是( ).

7. 设g、h是一阶逻辑公式，p是一个谓词，g＝?xp(x), h＝?xp(x),则一阶逻辑公式g?h是( ). (c)可满足的 (d)前束范式.

8 设命题公式g＝?(p?q)，h＝p?(q??p)，则g与h的关系是( )。

(a)g?h(b)h?g(c)g＝h (d)以上都不是. (a)a＝b (a)自反性 (b)a?b (b)传递性 (c)b?a

(d)a＝b＝?.

9 设a, b为集合，当( )时a－b＝b.

10 设集合a = {1,2,3,4}, a上的关系r＝{(1,1),(2,3),(2,4),(3,4)}, 则r具有( )。

(c)对称性 (d)以上答案都不对

11 下列关于集合的表示中正确的为( )。

(a){a}?{a,b,c} (b){a}?{a,b,c} (c)??{a,b,c} (d){a,b}?{a,b,c} (a) 对任意x，g(x)都取真值1.(b)有一个x0，使g(x0)取真值1. (c)有某些x，使g(x0)取真值1.(d)以上答案都不对. 13. 设g是连通平面图，有5个顶点，6个面，则g的边数是( ).

(a) 9条(b) 5条(c) 6条 (d) 11条. (a)6(b)5 (c)10 (d)4.

14. 设g是5个顶点的完全图，则从g中删去( )条边可以得到树. 12 命题?xg(x)取真值1的充分必要条件是( ). ?0 ?1

15. 设图g的相邻矩阵为? ?1??1??1

(a)4, 5 (b)5, 6 三、计算证明题 1111? 0100?

?，则g的顶点数与边数分别为( ). 1011? ?

0101?0110?? (c)4, 10 (d)5, 8.

1.设集合a＝{1, 2, 3, 4, 6, 8, 9, 12}，r为整除关系。 (1) 画出半序集(a,r)的哈斯图；

(2) 写出a的子集b = {3,6,9,12}的上界，下界，最小上界，最大下界； (3) 写出a的最大元，最小元，极大元，极小元。 2.

设集合a＝{1, 2, 3, 4}，a上的关系r＝{(x,y) | x, y?a 且 x ? y}, 求(1) 画出r的关系图； (2) 写出r的关系矩阵. 3.

设r是实数集合，?,?,?是r上的三个映射，?(x) = x+3, ?(x) = 2x, ?(x) ＝ x/4,试求复合映射???，???, ???, ???，?????. 4. 设i是如下一个解释：d = {2, 3}, a 3 b 2 f (2) 3 f (3) 2 p(2, 2) 0 p(2, 3) 0 p(3, 2) 1 p(3, 3) 1

试求 (1) p(a, f (a))∧p(b, f (b)); (2) ?x?y p (y, x).

5. 设集合a＝{1, 2, 4, 6, 8, 12}，r为a上整除关系。 (1) 画出半序集(a,r)的哈斯图；

(2) 写出a的最大元，最小元，极大元，极小元；

(3) 写出a的子集b = {4, 6, 8, 12}的上界，下界，最小上界，最大

下界. 6. 设命题公式g = ?(p→q)∨(q∧(?p→r)), 求g的主析取范式。 7. (9分)设一阶逻辑公式：g = (?xp(x)∨?yq(y))→?xr(x)，把g化成前束范式. 9. 设r是集合a = {a, b, c, d}. r是a上的二元关系, r = {(a,b), (b,a), (b,c), (c,d)},

(1) 求出r(r), s(r), t(r)； (2) 画出r(r), s(r), t(r)的关系图. 11. 通过求主析取范式判断下列命题公式是否等价：

(1) g = (p∧q)∨(?p∧q∧r) (2) h = (p∨(q∧r))∧(q∨(?p∧r)) 13. 设r和s是集合a＝{a, b, c, d}上的关系，其中r＝{(a, a),(a, c),(b, c),(c, d)}, c),(b, d),(d, d)}.

(1) 试写出r和s的关系矩阵； (2) 计算r?s, r∪s, r1, s1?r1. － － －

s＝{(a, b),(b, 四、证明题

1. 利用形式演绎法证明：{p→q, r→s, p∨r}蕴涵q∨s。 2. 设a,b为任意集合，证明：(a-b)-c = a-(b∪c).

3. (本题10分)利用形式演绎法证明：{?a∨b, ?c→?b, c→d}蕴涵a→d。 4. (本题10分)a, b为两个任意集合，求证： a－(a∩b) = (a∪b)－b .

参考答案 一、填空题

1. {3}; {{3},{1,3},{2,3},{1,2,3}}. 2. 2.

3. ?1= {(a,1), (b,1)}, ?2= {(a,2), (b,2)},?3= {(a,1), (b,2)}, ?4= {(a,2), (b,1)}; ?3, ?4. 4. (p∧?q∧r). 5. 12, 3.

6. {4}, {1, 2, 3, 4}, {1, 2}. 7. 自反性；对称性；传递性. 8. (1, 0, 0), (1, 0, 1), (1, 1, 0).

9. {(1,3),(2,2),(3,1)}; {(2,4),(3,3),(4,2)}; {(2,2),(3,3)}. 10. 2m?n.

11. {x | -1≤x 0, x?r}; {x | 1 x 2, x?r}; {x | 0≤x≤1, x?r}. 12. 12; 6. 13. {(2, 2),(2, 4),(2, 6),(3, 3),(3, 6),(4, 4),(5, 5),(6, 6)}. 14. ?x(?p(x)∨q(x)). 15. 21.

16. (r(a)∧r(b))→(s(a)∨s(b)). 17. {(1, 3),(2, 2)}; {(1, 1),(1, 2),(1, 3)}. 二、选择题

1. c. 2. d. 3. b. 4. b. 5. d. 6. c. 7. c.

8. a. 9. d. 10. b. 11. b. 13. a. 14. a. 三、计算证明题 1.(1) n2 15. d

(2) b无上界，也无最小上界。下界1, 3; 最大下界是3. (3) a无最大元，最小元是1，极大元8, 12, 90+; 极小元是1. 2.r = {(1,1),(2,1),(2,2),(3,1),(3,2),(3,3),(4,1),(4,2),(4,3),(4,4)}. (1) ?1?1

(2)mr?? ?1??1

01110011

0?0?? 0??1?

3. (1)???＝?(?(x))＝?(x)+3＝2x+3＝2x+3.

(2)???＝?(?(x))＝?(x)+3＝(x+3)+3＝x+6, (3)???＝?(?(x))＝?(x)+3＝x/4+3, (4)???＝?(?(x))＝?(x)/4＝2x/4 = x/2,

(5)?????＝??(???)＝???+3＝2x/4+3＝x/2+3. 4. (1) p(a, f (a))∧p(b, f (b)) = p(3, f (3))∧p(2, f (2)) = p(3, 2)∧p(2, 3) = 1∧0 = 0.

(2) ?x?y p (y, x) = ?x (p (2, x)∨p (3, x))

= (p (2, 2)∨p (3, 2))∧(p (2, 3)∨p (3, 3)) = (0∨1)∧(0∨1) = 1∧1 = 1. 5. (1)

(2) 无最大元，(3) b无上界，

最小元1，极大元8, 12; 极小元是1. 无最小上界。下界1, 2; 最大下界2. 6. g = ?(p→q)∨(q∧(?p→r))