《离散数学(第三版)》方世昌的期末复习知识点总结含例题,推荐文档

1、离散数学（第三版）方世昌 的期末复习知识点总结含例题21复习知识点一、各章复习要求与重点第一章 集合1、集合、元素、集合的表示方法、子集、空集、全集、集合的包含、相等、幂集2、集合的交、并、差、补等运算及其运算律（交换律、结合律、分配律、吸收律、de morgan 律等），文氏（venn）图3、序偶与迪卡尔积本章重点内容：集合的概念、集合的运算性质、集合恒等式的证明复习要求1、理解集合、元素、子集、空集、全集、集合的包含、相等、幂集等基本概念。2、掌握集合的表示法和集合的交、并、差、补等基本运算。3、掌握集合运算基本规律，证明集合等式的方法。4、了解序偶与迪卡尔积的概念，掌握迪卡尔积的运算。疑

2、难解析1、集合的概念因为集合的概念学生在中学阶段已经学过，这里只多了一个幂集概念，重点对幂集加以掌握，一是掌握幂集的构成，一是掌握幂集元数为 2n。2、集合恒等式的证明通过对集合恒等式证明的练习，既可以加深对集合性质的理解与掌握；又可以为第三章命题逻辑中公式的基本等价式的应用打下良好的基础。实际上，本章做题是一种基本功训练，尤其要求学生重视吸收律和重要等价式在 a - b = a b 证明中的特殊作用。 例题分析例 1设 a，b 是两个集合，a=1，2，3，b=1，2，则f(a) - f(b) =。解 f( a) = f,1,2,3,1,2,1,3,2,3,1,2,3f(b) = f,1,2,

3、1,2于是f( a) - f(b) = 3,1,3,2,3,1,2,3例 2设 a = a,b,a,b,f，试求：(1) a - a,b； (2) a - f ； (3) a - f；(4) a, b - a ； (5) f - a ； (6) f-a 。解(1) a - a,b= a, b,f (2) a - f = a(3) a - f= a, b,a, b(4) a, b - a = f(5) f - a = f(6) f- a = f例 3试证明(a b) ( a b)= (a b) ( a b)证明(a b) ( a b)= (a b) a) (a b) b)= (a a) ( b

4、a) (a b) ( b b)= (f ( a b) (a b) f)= (a b) ( a b)第二章 二元关系复习知识点1、关系、关系矩阵与关系图2、复合关系与逆关系3、关系的性质（自反性、对称性、反对称性、传递性）4、关系的闭包（自反闭包、对称闭包、传递闭包）5、等价关系与等价类6、偏序关系与哈斯图（hasse）、极大/小元、最大/小元、上/下界、最小上界、最大下界7、函数及其性质（单射、满射、双射）8、复合函数与反函数本章重点内容：二元关系的概念、关系的性质、关系的闭包、等价关系、半序关系、映射的概念复习要求1、理解关系的概念：二元关系、空关系、全关系、恒等关系；掌握关系的集合表示、关

5、系矩阵和关系图、关系的运算。2、掌握求复合关系与逆关系的方法。3、理解关系的性质（自反性、对称性、反对称性、传递性），掌握其判别方法（定义、矩阵、图）。4、掌握求关系的闭包 （自反闭包、对称闭包、传递闭包）的方法。5、理解等价关系和偏序关系的概念，掌握等价类的求法和偏序关系做哈斯图的方法，极大/小元、最大/小元、上/下界、最小上界、最大下界的求法。6、理解函数概念：函数、函数相等、复合函数和反函数。7、理解单射、满射、双射等概念，掌握其判别方法。本章重点习题p25，1；p3233，4，8，10；p43，2，3，5；p5152，5，6；p59，1，2； p64，3； p7475，2，4，6，7；

6、 p81，5，7； p86，1，2 。疑难解析1、关系的概念关系的概念是第二章全章的基础，又是第一章集合概念的应用。因此，学生应该真正理解并熟练掌握二元关系的概念及关系矩阵、关系图表示。2、关系的性质及其判定关系的性质既是对关系概念的加深理解与掌握，又是关系的闭包、等价关系、半序关系的基础。对于四种性质的判定，可以依据教材中 p49 上总结的规律。这其中对传递性的判定，难度稍大一点，这里要提及两点：一是不破坏传递性定义，可认为具有传递性。如空关系具有传递性，同时空关系具有对称性与反对称性，但是不具有自反性。另一点是介绍一种判定传递性的“跟踪法”，即若(a1 , a2 ) r, (a2 , a3

7、 ) r,ll,(ai-1 , ai ) r ，则(a1, ai ) r 。如若(a,b) r,(b, a) r ，则有(a, a) r ，且(b,b) r 。、关系的闭包在理解掌握关系闭包概念的基础上，主要掌握闭包的求法。关键是熟记三个定理的结论：定理 2， r(r)= r i a ；定理 3， s(r)= r r -1 ；定理 4，推论nt (r )= u ri 。i=1、半序关系及半序集中特殊元素的确定理解与掌握半序关系与半序集概念的关键是哈斯图。哈斯图画法掌握了，对于确定任一子集的最大（小）元，极大（小）元也就容易了。这里要注意，最大（小）元与极大（小）元只能在子集内确定，而上界与下界

8、可在子集之外的全集中确定，最小上界为所有上界中最小者，最小上界再小也不小于子集中的任一元素，可以与某一元素相等，最大下界也同样。、映射的概念与映射种类的判定映射的种类主要指单射、满射、双射与非单非满射。判定的方法除定义外，可借助于关系图，而实数集的子集上的映射也可以利用直角坐标系表示进行，尤其是对各种初等函数。例题分析例 1 设集合 a = a, b, c, d，判定下列关系，哪些是自反的，对称的，反对称的和传递的：r1 = (a,a), (b, a) r5 = (a,c), (b, d)r2 = (a,a),(b,c),(d, a)r3 = (c,d )r4 = (a, a,), (b, b

9、), (c, c)解：均不是自反的；r4 是对称的；r1 ,r2 ,r3 , r4 ,r5 是反对称的；r1 ,r2 ,r3 , r4 ,r5 是传递的。例 2 设集合 a = 1,2,3,4,5，a 上的二元关系 r 为r = (1,1), (2,2), (3,3), (3,4), (4,4), (5,3), (5,4), (5,5)（）写出 r 的关系矩阵，画出 r 的关系图；（）证明 r 是 a 上的半序关系，画出其哈斯图；（）若 b a ，且 b = 2,3,4,5，求 b 的最大元，最小元，极大元，极小元，最小上界和最大下界。解 （1）r 的关系矩阵为 10000 01000m= 0

10、0110r 的关系图略r 0001001011（2）因为 r 是自反的，反对称的和传递的，所以 r 是 a 上的半序关系。(a,r)为半序集，(a,r)的哈斯图如下。4。1。3。2。5(3)当 b = 2,3,4,5，b 的极大元为 2，4；极小元为 2，5；b 无最大元与最小元；b也无上界与下界，更无最小上界与最大下界。复习知识点第三章命题逻辑、命题与联结词（否定、析取、合取、蕴涵、等价），复合命题 、命题公式与解释，真值表，公式分类（恒真、恒假、可满足），公式的等价、析取范式、合取范式，极小（大）项，主析取范式、主合取范式 、公式类别的判别方法（真值表法、等值演算法、主析取/合取范式法）

11、、公式的蕴涵与逻辑结果、形式演绎本章重点内容：命题与联结词、公式与解释、析取范式与合取范式、公式恒真性的判定、形式演绎复习要求、理解命题的概念；了解命题联结词的概念；理解用联结词产生复合命题的方法。、理解公式与解释的概念；掌握求给定公式真值表的方法，用基本等价式化简其他公式， 公式在解释下的真值。 、了解析取（合取）范式的概念；理解极大（小）项的概念和主析取（合取）范式的概念；掌握用基本等价式或真值表将公式化为主析取（合取）范式的方法。 、掌握利用真值表、等值演算法和主析取/合取范式的唯一性判别公式类型和公式等价的方法。、理解公式蕴涵与逻辑结果的概念，掌握基本蕴涵式。6、掌握形式演绎的证明方法

12、。本章重点习题p93，1； p98，2，3； p104，2，3； p107，1，3； p112，5； p115，1，2，3。疑难解析1、公式恒真性的判定判定公式的恒真性，包括判定公式是恒真的或是恒假的。具体方法有两种，一是真值表法，对于任给一个公式，主要列出该公式的真值表，观察真值表的最后一列是否全为1（或全为 0），就可以判定该公式是否恒真（或恒假），若不全为 0，则为可满足的。二是推导法，即利用基本等价式推导出结果为 1，或者利用恒真（恒假）判定定理：公式 g 是恒真的（恒假的）当且仅当等价于它的合取范式（析取范式）中，每个子句（短语）均至少包含一个原子及其否定。这里要求的析取范式中所含有

13、的每个短语不是极小项，一定要与求主析取范式相区别， 对于合取范式也同样。2、范式求范式，包括求析取范式、合取范式、主析取范式和主合取范式。关键有两点：一是准确理解掌握定义；另一是巧妙使用基本等价式中的分配律、同一律和互补律，结果的前一步适当使用等幂律，使相同的短语（或子句）只保留一个。另外，由已经得到的主析取（合取）范式，根据g g = 1,(g)= g 原理，参阅离散数学学习指导书p71 例 15，可以求得主合取（析取）范式。3、形式演绎法掌握形式演绎进行逻辑推理时，一是要理解并掌握 14 个基本蕴涵式，二是会使用三个规则：规则 p、规则 q 和规则 d，需要进行一定的练习。例题分析例 1

14、求g = (p q) r) p 的主析取范式与主合取范式。解 （1）求主析取范式，方法 1：利用真值表求解pqrp q(p q) rg000010001001010010011001100011101001110111111111因此g = (p q r) (p q r) (p q r) (p q r) (p q r) (p q r)方法 2：推导法g =(p q)r r) p = (p q) r) p(p q) r) p = (p r) (q r) p= (p r) (q q) (q r) (p p) (p (q q) (r r)= (p q r) (p q r) (p q r) (p q

15、r) (p q r) (p q r) (p q r) (p q r)= (p q r) (p q r) (p q r) (p q r) (p q r) (p q r)（2）求主合取范式方法 1：利用上面的真值表(p q) r) p 为 0 的有两行，它们对应的极大项分别为 p q r,因此， (p q) r) p = (p q r) (p q r)p q r方法 2：利用已求出的主析取范式求主合取范式已用去 6 个极小项，尚有 2 个极小项，即p q r 与p q r 于是g = (p q r) (p q r)g = (g)= (p q r) (p q r)= (p q r) (p q r)例

16、 2 试证明公式g = (p q) (q r) (p r)为恒真公式。证法一： 见离散数学学习指导书p60 例 6（4）的解答。（真值表法） 证法二 ：g=（pq）（qr）（pr）=（pq）（qr）pr=（pq）（pr）（qq）（qr）p）r=（pqp）（prp）（qrp）r=（1（qrp）r=qrpr=1故 g 为恒真公式。例 3 利用形式演绎法证明 p（qr），sp，q蕴涵 sr。证明：（1）sp规则 p（2）s规则 d（3）p规则 q，根据（1），（2）（4）p（qr）规则 p（5）qr规则 q，根据（3），（4）（6）q规则 p（7）r规则 q，根据（5），（6）（8）sr规则 d，根

17、据（2），（7）复习知识点第四章 谓词逻辑1、谓词、量词、个体词、个体域、变元（约束变元与自由变元）2、谓词公式与解释，谓词公式的类型（恒真、恒假、可满足）3、谓词公式的等价和蕴涵4、前束范式本章重点内容：谓词与量词、公式与解释、前束范式复习要求1、理解谓词、量词、个体词、个体域、变元的概念；理解用谓词、量词、逻辑联结词描述一个简单命题；了解命题符号化。2、理解公式与解释的概念；掌握在有限个体域下消去公式量词，求公式在给定解释下真值的方法；了解谓词公式的类型。3、理解用解释的方法证明等价式和蕴涵式。4、掌握求公式前束范式的方法。本章重点习题p120，1，2； p125126，1，3； p137

18、，1。疑难解析1、谓词与量词反复理解谓词与量词引入的意义，概念的含义及在谓词与量词作用下变量的自由性、约束性与改名规则。2、公式与解释能将一阶逻辑公式表达式中的量词消除，写成与之等价的公式，然后将解释 i 中的数值代入公式，求出真值。3、前束范式在充分理解掌握前束范式概念的基础上，利用改名规则、基本等价式与蕴涵式（一阶逻辑中），将给定公式中量词提到母式之前称为首标。典型例题例 1 设 i 是如下一个解释： d = 2,3f(2)f(3)p(2)p(3)q(2,2)q(2,3)q(3,2)q(3,3) 32011101求$xy(p(x) q(f(x), y) 的真值。解$xy(p(x) q(f(

19、x), y) = $x (p(x) q(f(x),2) (p(x) q(f(x),3) )= (p(2) q(f(2),2) (p(2) q(f(2),3) ) (p(3) q(f(3),2) (p(3) q(f(3),3) )= (0 0) (0 1) (11) (11)= 0 1= 1例 2 试将一阶逻辑公式化成前束范式。解g = $x($yp(x, y) ($yq(y) r(x) )= $x($yp(x, y) (yq(y) r(x) )= $x($yp(x, y) zq(z) r(x)= $x$yz(p(x, y) q(z) r(x)复习知识点第五章 图论1、图、完全图、子图、母图、支

20、撑子图、图的同构2、关联矩阵、相邻矩阵3、权图、路、最短路径，迪克斯特拉算法（dijkstra）4、树、支撑树、二叉树5、权图中的最小树，克鲁斯卡尔算法（kruskal）6、有向图、有向树本章重点内容： 权图的最短路、二叉树的遍历、权图中的最优支撑树复习要求1、理解图的有关概念：图、完全图、子图、母图、支撑子图、图的同构。2、掌握图的矩阵表示（关联矩阵、相邻矩阵）。3、理解权图、路的概念，掌握用 dijkstra 算法求权图中最短路的方法。4、理解树、二叉树与支撑树的有关概念；掌握二叉树的三种遍历方法，用 kruskal 算法求权图中最小树的方法。5、理解有向图与有向树的概念。本章重点习题p2

21、21，2；p225，1；p231，2，3；p239，5；p242，1，2。疑难解析1.本章的概念较多，学习时需要认真比较各概念的含义，如：图、子图、有向图、权图；树、支撑树、二叉树、有向树；路、简单路、回路等，这些都是图的基本概念，今后将在数据结构、数据库、计算机网络等课程中用到。2、权图中的最短路严格执行迪克斯特拉（dijkstra）算法步骤，从起点起，到每一点求出最短路，然后进行仔细比较，最后到达终点，算出最小权和。3、权图中的最优支撑树权图中的最优支撑树是图中所带权和最小的支撑树，使用克鲁斯卡尔（kruskal）算法。典型例题例 1在具有 n 个顶点的完全图 kn 中删去多少条边才能得到

22、树？ 解：n 个顶点的完全图 kn 中共有 n（n-1）/2 条边，n 个顶点的树应有 n-1 条边，于是，删去的边有：n（n-1）/2-（n-1）=（n-1）（n-2）/2例 2求下面有限图中点 u 到各点间的最短路。（图上数字见教材 p231，第 3 题。）解 uu1 ，d(u, u1)=1,路(u, u1)u u2 ,d(u, u2)=9,路(u, u4, u3, u7, u2)u u3 ,d(u, u3)=5,路(u, u4, u3 ,)u u4 ,d(u, u4)=3,路(u, u4 )u u5 ,d(u, u5)=11,路(u, u1, u5)或路 (u, u4, u3 , u7

23、, u2 , u5)u u6 ,d(u, u6)=13,路(u, u1, u5, u6)u u7 ,d(u, u7)=8,路(u, u4 , u3 , u7)u u8 ,d(u, u8)=11,路(u, u4, u8)uv,d(u, v)=15,路(u, u1, u5 , u6 ,v) 或路(u, u4 , u3 , u7 , u6 ,v)二、考核说明本课程的考核实行形成性考核和终结性考核的形式。形成性考核占总成绩的 20%，以课程作业的形式进行（共三次，由中央电大统一布置）；终结性考核即期末考试，占总成绩的 80%。总成绩为 100 分，60 分及格。期末考试实行全国统一闭卷考核，试卷满分为

24、 100。由中央电大统一命题，统一评分标准，统一考试时间（考试时间为 120 分钟）。1、试题类型试题类型有填空题（分数约占 20%）、单项选择题（分数约占 14%）、计算题（分数约占 50%）和证明题（分数约占 16%）。填空题和单项选择题主要涉及基本概念、基本理论，重要性质和结论、公式及其简单计算。计算题主要考核学生的基本运算技能，要求书写计算、推论过程或理由。证明题主要考查应用概念、性质、定理及主要结论进行逻辑推理的能力，要求写出推理过程。2、考核试卷题量分配试卷题量在各部分的分配是：集合论约占 40%，数理逻辑约占 40%，图论约占 20%。具体课程考核情况见课程考核说明。附录：试题类

25、型及规范解答举例填空题1. 设 r是集合 a 上的二元关系，如果关系 r 同时具有性、对称性和性，则称 r 是等价关系。2. 命题公式 g=（pq）r，则 g 共有个不同的解释；把 g 在其所有解释下所取真值列成一个表，称为 g 的；解释（p，q，r）或（0，1，0）使 g 的真值为。3. 设 g=（p，l）是图，如果 g 是连通的，并且，则 g 是树。如果根树 t的每个点 v 最多有两棵子树，则称 t 为。单项选择题（选择一个正确答案的代号，填入括号中）1. 由集合运算定义，下列各式正确的有（）。a. xxyb.xxyc.xxyd.yxy2. 设 r1，r2 是集合 a=a，b，c，d上的两

26、个关系，其中 r1=（a，a），（b，b），（b，c），（d，d），r2=（a，a），（b，b），（b，c），（c，b），（d，d）， 则 r2 是 r1 的（）闭包。a. 自反b对称c传递d以上都不是3. 设 g 是由 5 个顶点组成的完全图，则从 g 中删去（）条边可以得到树。a4b5c6d10 计算题1. 化简下式：（a-b-c）（a-b）c）（ab-c）（abc）2. 通过求主析取范式判断下列命题公式是否等值。（1）（pq）（pqr）；（2）（p（qr）（q（pr）；3. 求图中 a 到其余各顶点的最短路径，并写出它们的权。b7c1225346ade1f证明题1. 利用基本等价式证明下

27、面命题公式为恒真公式。（pq）（qr）（pr）2. 用形式演绎法证明：pq， rs，pr 蕴涵 qs。试题答案及评分标准填空题1、自反；传递2、8；真值表；13、无回路；二叉树单项选择题（选择一个正确答案的代号，填入括号中） 1、 a2、 b3、c计算题1. 解：（a-b-c）（a-b）c）（ab-c）（abc）=（abc）（abc）（abc）（abc）=（ab）（cc）（ab）（cc）=（ab）e）（ab）e）e 为全集=（ab）（ab）=a（bb）=ae=a2. 解：（pq）（pqr）（pq（rr）（pqr）（pqr）（pqr）（pqr）m6m7m3m3m6m7（p（qr）（q（pr）（p

28、q） （qr）（ppr）（p q r）（分配律）（pq（rr） （pp）qr）（p q r）（pqr） （pqr） （pqr）（pqr）（p q r）m6m7m3m7m3m3m6m7由此可见 （pq）（pqr） （p（qr）（q（pr）3. 解：a 到 b 的最短路径为 ab，权为 1； a 到 e 的最短路径为 abe，权为 3； a 到 f 的最短路径为 abef，权为 4；a 到 c 的最短路径为 abefc，权为 7； a 到 d 的最短路径为 abefcd，权为 9。证明题1. 证明：（pq）（qr）（pr）（pq）（qr）（pr）（pq）（qr）（pr）（pq）（qr）pr（pq）

29、p ）（qr）r）（1（qp ）（qr）1）qpqr（qq） p r1 p r12. 证明：（1） pr规则 p（2） rp规则 q ，根据（1）（3） pq规则 p（4） r q规则 q，根据（2）（3）（5） qr规则 q，根据（4）（6） rs规则 p（7） qs规则 q，根据（5）（6）（8） qs规则 q ，根据（7）（一）填空题三、综合练习及解答1、集合的表示方法有两种：法和法。请把“大于 3而小于或等于 7 的整数集合”用任一种集合的表示方法表示出来 a=。2、 a，b 是两个集合，a=1，2，3，4，b=2，3，5，则 b-a=，r（b）-r（a）=，r（b）的元素个数为。3、

30、 设 a = a, b,b = 1,2，则从 a 到 b 的所有映射是 。4、 设命题公式g = p (q r) ，则使公式 g 为假的解释是、 和。5、设 g 是完全二叉树，g 有 15 个点，其中 8 个叶结点，则 g 的总度数为 ，分枝点数为。6、全集 e=1，2，3，4，5，a=1，5，b=1，2，3，4，c=2，5， 求 ab= ，r（a）r（c）=，c=。7、设 a 和 b 是任意两个集合，若序偶的第一个元素是 a 的一个元素，第二个元素是 b 的一个元素，则所有这样的序偶集合称为集合 a 和 b 的，记作 ab，即 ab=。ab 的子集 r 称为 a，b 上的。8、将几个命题联结

31、起来，形成一个复合命题的逻辑联结词主要有否定、 、和等值。9、表达式x$yl（x，y）中谓词的定义域是a，b，c，将其中的量词消除，写成与之等价的命题公式为 。10、一个无向图表示为 g=（p，l），其中 p 是的集合，l 是 的集合，并且要求 。（二）单项选择题（选择一个正确答案的代号，填入括号中）1. 设命题公式g = (p p) (q r) p) ，则 g 是（）。a.恒真的b.恒假的c.可满足的d.析取范式2、设集合 a = a, b, c ，a 上的关系 r = (a, a),(a, b),(b, c)，则 r 2 =（）。( a) (a, a),(a, b),(a, c);(c)

32、(a, b),(a, c),(b, b);(b) (a, b),(a, c),(b, c);(d) (a, a),(a, b),(c, c).3、一个公式在等价意义下，下面哪个写法是唯一的（）。a析取范式b合取范式c主析取范式d以上答案都不对4、设命题公式 g=（pq），h=p（qp），则 g 与 h 的关系是（）。aghbhgcg=hd以上都不是 0101 10005、已知图 g 的相邻矩阵为 0001 1010 1111111 ，则 g 有（）。10a.5 点，8 边b. 6 点，7 边c. 5 点，7 边d. 6 点，8 边6、下列命题正确的是（）。aff=fbff=fcaa，b，cdf

33、a，b，c7、设集合 a=a，b，c，a 上的关系 r=（a，b），（a，c），（b，a），（b，c），（c，a），（c，b），（c，c），则 r 具有关系的（）性质。a自反b对称c传递d反对称8、设 r 为实数集，映射s=rr，s（x）= -x2+2x-1，则s是（）。a单射而非满射b满射而非单射c双射d既不是单射，也不是满射9、下列语句中，（）是命题。a下午有会吗？b这朵花多好看呀！ c2 是常数。 d请把门关上。10、下面给出的一阶逻辑等价式中，（）是错的。a x（a（x）b（x）=xa（x）xb（x）b axb（x）=x （ab（x）c $x（a（x）b（x）=$xa（x）$xb（x）

34、d xa（x）=$x（a（x）（三）计算题r = (1,1), (1,3), (2,3),(3,4)1、设 r 和 s 是集合 a = 1,2,3,4上的关系，其中，试求：s = (1,2), (2,3),(2,4),(4,4)（1） 写出 r 和 s 的关系矩阵；（2） 计算 r s,r s,r-1 ,s -1 r-1 。2、 设 a=a，b，c，d，r1，r2 是 a 上的关系，其中 r1=（a，a），（a，b），（b，a），（b，b），（c，c），（c，d），（d，c），（d，d），r2=（a，b），（b，a），（a，c），（c，a），（b，c），（c，b），（a，a），（b，b），（c

35、，c）。（1） 画出 r1 和 r2 的关系图；（2） 判断它们是否为等价关系，是等价关系的求 a 中各元素的等价类。3、 用真值表判断下列公式是恒真？恒假？可满足？（1）（pp）q（2）（pq）q（3）（pq）（qr）（pr）4、 设解释 i 为：（1）定义域 d=-2，3，6；（2）f（x）：x3；g（x）：x5。在解释 i 下求公式$x（f（x）g（x）的真值。5、 求下图所示权图中从 u 到 v 的最短路，画出最短路并计算它们的权值。12235v17v3uv46v21v46、 化简下式：（abc）（ab）-（a（b-c）a）7、 已知 a=1，2，3，4，5，b=1，2，3，r 是 a

36、 到 b 的二元关系，并且r=（x，y）|xa 且 yb 且 2 x+y 4，画出 r 的关系图，并写出关系矩阵。8、 画出下面偏序集（a，）的哈斯图，并指出集合 a 的最小元、最大元、极大元和极小元。其中 a=a，b，c，d，e，=（a，b），（a，c），（a，d），（a，e），（b，e），（c，e），（d，e）ia。9、 求命题公式（pq）（pq）的析取范式与合取范式。10、给定解释 i 如下：定义域 d=2，3；f（2） f（3） f（2，2） f（2，3） f（3，2） f（3，3） 320011求xy（f（x，y）f（f（x），f（y）。11、设有 5 个城市 v1，v2，v3，v4

37、，v5，任意两城市之间铁路造价如下：（以百万元为单位）w（v1，v2）=4，w（v1，v3）=7，w（v1，v4）=16，w（v1，v5）=10，w（v2，v3）=13，w（v2，v4）=8，w（v2，v5）=17，w（v3，v4）=3，w（v3，v5，）=10，w（v4，v5）=12试求出连接 5 个城市的且造价最低的铁路网。（四）证明题1、证明等价式(p (q r) (q r) (p r) = r 。2、 利用形式演绎法证明：p q,p r,s t,s r,t蕴涵 q。3、 a，b，c 为任意的集合，证明：（a-b）-c=a-（bc）4、 利用一阶逻辑的基本等价式，证明：xy（f（x）g（

38、y）=$xf（x）yg（y）练习解答（一）填空题1、列举；描述；a=4，5，6，7或 a=x|3x72、5；5，2，5，3，5，2，3，5；83、s1=（a，1），（b，1）；s2=（a，2），（b，2）；s3=（a，1），（b，2）；s4=（a，2），（b，1）4、（1，0，1）； （1，1，1）； （1，0，0）5 、 28； 76、5；f，5；1，3，47、笛卡尔积（或直乘积）；（x，y）|xa 且 yb；二元关系8、并且（或合取）；或者（或析取）；蕴涵9、（l（a，a）l（a，b）l（a，c）（l（b，a）l（b，b）l（b，c）（l（c，a）l（c，b）l（c，c）10、点；连接某些

39、不同点对的边；一对不同点之间最多有一条边（二）单项选择题（选择一个正确答案的代号，填入括号中）1、c2、a3、c4、a5、c6、a（三）计算题1、解：（1）7、b8、d9、c10、a1010010000100011m= r0,001m = s000000000001（2） r s =（1，2），（3，4）r s =（1，1），（1，2），（1，3），（2，3），（2，4），（3，4），（4，4）r -1 =（1，1），（3，1），（3，2），（4，3）s -1 r-1 =（2，1），（4，3）2、解：r1 和 r2 的关系图略。由关系图可知，r1 是等价关系。r1 不同的等价类有两个，即a，b

40、和c，d。由于 r2 不是自反的，所以 r2 不是等价关系。3、解 ：（1） 真值表pqppp（pp）q00101011001000111000因此公式（1）为可满足。（2） 真值表pqpq（pq）（pq）q00100011001001011100因此公式（2）为恒假。（3） 真值表pqrpqqrpr（pq）（qr）（pr）00011110011111010101101111111000101101011111010011111111因此公式（3）为恒真。4. 解：$x（f（x）g（x） （f（-2）g（-2）（f（3）g（3）（f（6）g（6） （10）（10）（01）15. 解：v1v31

41、223uvv2 1v4从 u 到 v 的最短路为 uv1v2v4v3v。最短路权值为 9。图中圆圈中的数字为使用迪克斯特拉算法添加边的次序。6、解：（abc）（ab）-（a（b-c）a）=（ab）- a（利用两次吸收律）=（ab） a=（a a）（b a）=f（b a）=b- a7、解：r=（1，1），（1，2），（1，3），（2，1），（2，2），（3，1） r 的关系图为11223345关系矩阵 mr= 1111101000000001、解：（a，）的哈斯图为：ecbda22a 为 a 的极小元，也是最小元； e 为 a 的极大元，也是最大元。9、解：（pq）（pq）（pq）（pq）（pq）（pq）（pq）（pq）（pq）（pq）（pq）（pq） 上面结果为合取范式。利用对分配得：（pq）（pq）（pp）（pq）（qp）（qq）（pq）（qp） 上面结果为析取范式。10