离散数学3、4章
离散数学(刘任任版)第3章答案
![离散数学(刘任任版)第3章答案](https://img.taocdn.com/s3/m/6c5a17ca172ded630b1cb6ba.png)
6.
设A={1,2},B={x,y,z},C={u,v}
令 (1) x, (2) y, ( x) u, ( y) ( z) v,
则有 是满射和单射 , 但不是满射, 而不是单射 .
4.
(1)设和是满射, 则对任意的z C, 有y B, 使得 ( y) z. 又有x A, 使得 ( x) y 于是, ( x) ( ( x)) ( y) z 故 是满射.
(2)设和是单射, 则对任意的 x1, x2 A, x1 x2, 有 ( x1) ( x2). 设 ( x1) y1 B. ( x2) y 2 B.于是y1 y 2 从而 ( y1) ( y 2).设 ( y1) z1 C, ( y 2) z 2 C, 于是 ( x1) ( ( x1)) ( y1) z1 ( x 2) ( ( x2)) ( y 2) z 2 因此 ( x1) ( ( x2)).故 是单射
(a) b1 , (a) b2 , 从而b1 b2.矛盾.
故A1 A2 ,即是单射.
若是单射, 则不一定是满射 .例如, 令 A {1,2}, B {x, y}, (1) (2) x,
( x) {1,2}, ( y)
于是,是单射, 但不是满射 .
(3)设和是双射, 则由(1)和(2)知, 是双射.
5.
(1)设 是满射.任取z C, 则存在x A 使得z ( x) ( ( x)) ( y) 即存在y B.使得 ( y) z.故是满射
离散数学复习要点
![离散数学复习要点](https://img.taocdn.com/s3/m/a8416a60a58da0116d17492c.png)
离散数学复习要点第一章命题逻辑一、典型考查点1、命题的判断方法:陈述句真值唯一,特殊:反问句也是命题。
其它疑问句、祈使句、感叹句、悖论等皆不是。
详见教材P12、联结词运算定律┐∧∨→记住特殊的:1∧1⇔1,0∨0⇔0,1→0⇔0,11⇔1,00⇔1详见P53、命题符号化步骤:A划分原子命题,找准联结词。
特殊自然语言:不但而且,虽然但是用∧,只有P才Q,应为Q →P;除非P否则Q,应为┐P→Q。
B设出原子命题写出符号化公式。
详见P54、公式的分类判定(重言式、矛盾式、可满足式)方法:其一根据所有真值赋值情况,其二根据等价演算来判断。
详见P95、真值表的构造步骤:①命题变元按字典序排列,共有2n个真值赋值。
②对每个指派,以二进制数从小到大或从大到小顺序列出。
③若公式较复杂,可先列出各子公式的真值(若有括号,则应从里层向外层展开),最后列出所求公式的真值。
详见P8。
6、基本概念:置换规则,P规则,T规则,详见P24;合取范式,析取范式,详见P15;小项详见P16;大项详见P18,最小联结词组详见P15,7、等价式详见P22表1.6.2 证明方法:①真值表完全相同②用等价演算③利用A B的充要条件是A B且B A。
主要等价式:(1)双否定:A A。
(2)交换律:A∧B B∧A,A∨B B∨A,A B B A。
3)结合律:(A∧B)∧C A ∧(B∧C),(A∨B)∨C A∨(B∨C),(A B)C A(B C)。
(4) 分配律:A∧(B∨C)(A∧B)∨(A∧C),A∨(B∧C)(A∨B)∧(A∨C)。
(5) 德·摩根律:(A∧B)A∨B,(A∨B)A∧B。
(6) 等幂律:A∧A A,A∨A A。
(7) 同一律:A∧T A,A∨F A。
(8) 零律:A∧F F,A∨T T。
(9) 吸收律:A∧(A∨B)A,A∨(A∧B)A。
(10) 互补律:A ∧A F,(矛盾律),A∨A T。
(排中律)(11) 条件式转化律:A→B A∨B,A→B B→A。
离散数学知识点总结
![离散数学知识点总结](https://img.taocdn.com/s3/m/4c9659de0975f46527d3e133.png)
总结离散数学知识点第二章命题逻辑1.→,前键为真,后键为假才为假;<—>,相同为真,不同为假;2.主析取范式:极小项(m)之和;主合取范式:极大项(M)之积;3.求极小项时,命题变元的肯定为1,否定为0,求极大项时相反;4.求极大极小项时,每个变元或变元的否定只能出现一次,求极小项时变元不够合取真,求极大项时变元不够析取假;5.求范式时,为保证编码不错,命题变元最好按P,Q,R的顺序依次写;6.真值表中值为1的项为极小项,值为0的项为极大项;7.n个变元共有n2个极小项或极大项,这n2为(0~n2-1)刚好为化简完后的主析取加主合取;8.永真式没有主合取范式,永假式没有主析取范式;9.推证蕴含式的方法(=>):真值表法;分析法(假定前键为真推出后键为真,假定前键为假推出后键也为假)10.命题逻辑的推理演算方法:P规则,T规则①真值表法;②直接证法;③归谬法;④附加前提法;第三章谓词逻辑1.一元谓词:谓词只有一个个体,一元谓词描述命题的性质;多元谓词:谓词有n个个体,多元谓词描述个体之间的关系;2.全称量词用蕴含→,存在量词用合取^;3.既有存在又有全称量词时,先消存在量词,再消全称量词;第四章集合1.N,表示自然数集,1,2,3……,不包括0;2.基:集合A中不同元素的个数,|A|;3.幂集:给定集合A,以集合A的所有子集为元素组成的集合,P(A);4.若集合A有n个元素,幂集P(A)有n2个元素,|P(A)|=||2A=n2;5.集合的分划:(等价关系)①每一个分划都是由集合A的几个子集构成的集合;②这几个子集相交为空,相并为全(A);6.集合的分划与覆盖的比较:分划:每个元素均应出现且仅出现一次在子集中;覆盖:只要求每个元素都出现,没有要求只出现一次;第五章关系1.若集合A有m个元素,集合B有n个元素,则笛卡尔A×B的基数为2种不同的关系;mn,A到B上可以定义mn2.若集合A有n个元素,则|A×A|=2n,A上有22n个不同的关系;3.全关系的性质:自反性,对称性,传递性;空关系的性质:反自反性,反对称性,传递性;全封闭环的性质:自反性,对称性,反对称性,传递性;4.前域(domR):所有元素x组成的集合;后域(ranR):所有元素y组成的集合;5.自反闭包:r(R)=RUI;x对称闭包:s(R)=RU1-R;传递闭包:t(R)=RU2R U3R U……6.等价关系:集合A上的二元关系R满足自反性,对称性和传递性,则R称为等价关系;7.偏序关系:集合A上的关系R满足自反性,反对称性和传递性,则称R是A上的一个偏序关系;8.covA={<x,y>|x,y属于A,y盖住x};9.极小元:集合A中没有比它更小的元素(若存在可能不唯一);极大元:集合A中没有比它更大的元素(若存在可能不唯一);最小元:比集合A中任何其他元素都小(若存在就一定唯一);最大元:比集合A中任何其他元素都大(若存在就一定唯一);10.前提:B是A的子集上界:A中的某个元素比B中任意元素都大,称这个元素是B的上界(若存在,可能不唯一);下界:A中的某个元素比B中任意元素都小,称这个元素是B的下界(若存在,可能不唯一);上确界:最小的上界(若存在就一定唯一);下确界:最大的下界(若存在就一定唯一);第六章函数2种不同的关系,有m n种不同的函1.若|X|=m,|Y|=n,则从X到Y有mn数;2.在一个有n个元素的集合上,可以有22n种不同的关系,有n n种不同的函数,有n!种不同的双射;3.若|X|=m,|Y|=n,且m<=n,则从X到Y有A m n种不同的单射;4.单射:f:X-Y,对任意x,2x属于X,且1x≠2x,若f(1x)≠f(2x);1满射:f:X-Y,对值域中任意一个元素y在前域中都有一个或多个元素对应;双射:f:X-Y,若f既是单射又是满射,则f是双射;5.复合函数:fºg=g(f(x));6.设函数f:A-B,g:B-C,那么①如果f,g都是单射,则fºg也是单射;②如果f,g都是满射,则fºg也是满射;③如果f,g都是双射,则fºg也是双射;④如果fºg是双射,则f是单射,g是满射;第七章代数系统1.二元运算:集合A上的二元运算就是2A到A的映射;2.集合A上可定义的二元运算个数就是从A×A到A上的映射的个数,即从从A×A到A上函数的个数,若|A|=2,则集合A上的二元运算的个数为2*22=42=16种;3.判断二元运算的性质方法:①封闭性:运算表内只有所给元素;②交换律:主对角线两边元素对称相等;③幂等律:主对角线上每个元素与所在行列表头元素相同;④有幺元:元素所对应的行和列的元素依次与运算表的行和列相同;⑤有零元:元素所对应的行和列的元素都与该元素相同;4.同态映射:<A,*>,<B,^>,满足f(a*b)=f(a)^f(b),则f为由<A,*>到<B,^>的同态映射;若f是双射,则称为同构;第八章群1.广群的性质:封闭性;半群的性质:封闭性,结合律;含幺半群(独异点):封闭性,结合律,有幺元;群的性质:封闭性,结合律,有幺元,有逆元;2.群没有零元;3.阿贝尔群(交换群):封闭性,结合律,有幺元,有逆元,交换律;4.循环群中幺元不能是生成元;5.任何一个循环群必定是阿贝尔群;第十章格与布尔代数1.格:偏序集合A中任意两个元素都有上、下确界;2.格的基本性质:1) 自反性a≤a 对偶: a≥a2) 反对称性a≤b ^ b≥a => a=b对偶:a≥b ^ b≤a => a=b3) 传递性a≤b ^ b≤c => a≤c对偶:a≥b ^ b≥c => a≥c4) 最大下界描述之一a^b≤a 对偶 avb≥aA^b≤b 对偶 avb≥b5)最大下界描述之二c≤a,c≤b => c≤a^b对偶c≥a,c≥b =>c≥avb6) 结合律a^(b^c)=(a^b)^c对偶 av(bvc)=(avb)vc7)等幂律a^a=a 对偶 ava=a8) 吸收律a^(avb)=a 对偶 av(a^b)=a9) a≤b <=> a^b=a avb=b10) a≤c,b≤d => a^b≤c^d avb≤cvd11) 保序性b≤c => a^b≤a^c avb≤avc12)分配不等式av(b^c)≤(avb)^(avc)对偶 a^(bvc)≥(a^b)v(a^c)13)模不等式a≤c <=> av(b^c)≤(avb)^c3.分配格:满足a^(bvc)=(a^b)v(a^c)和av(b^c)=(avb)^(avc);4.分配格的充要条件:该格没有任何子格与钻石格或五环格同构;5.链格一定是分配格,分配格必定是模格;6.全上界:集合A中的某个元素a大于等于该集合中的任何元素,则称a为格<A,<=>的全上界,记为1;(若存在则唯一)全下界:集合A中的某个元素b小于等于该集合中的任何元素,则称b为格<A,<=>的全下界,记为0;(若存在则唯一)7.有界格:有全上界和全下界的格称为有界格,即有0和1的格;8.补元:在有界格内,如果a^b=0,avb=1,则a和b互为补元;9.有补格:在有界格内,每个元素都至少有一个补元;10.有补分配格(布尔格):既是有补格,又是分配格;11.布尔代数:一个有补分配格称为布尔代数;第十一章图论1.邻接:两点之间有边连接,则点与点邻接;2.关联:两点之间有边连接,则这两点与边关联;3.平凡图:只有一个孤立点构成的图;4.简单图:不含平行边和环的图;5.无向完全图:n个节点任意两个节点之间都有边相连的简单无向图;有向完全图:n个节点任意两个节点之间都有边相连的简单有向图;6.无向完全图有n(n-1)/2条边,有向完全图有n(n-1)条边;7.r-正则图:每个节点度数均为r的图;8.握手定理:节点度数的总和等于边的两倍;9.任何图中,度数为奇数的节点个数必定是偶数个;10.任何有向图中,所有节点入度之和等于所有节点的出度之和;11.每个节点的度数至少为2的图必定包含一条回路;12.可达:对于图中的两个节点v,j v,若存在连接i v到j v的路,则称i vi与v相互可达,也称i v与j v是连通的;在有向图中,若存在i v到j v的j路,则称v到j v可达;i13.强连通:有向图章任意两节点相互可达;单向连通:图中两节点至少有一个方向可达;弱连通:无向图的连通;(弱连通必定是单向连通)14.点割集:删去图中的某些点后所得的子图不连通了,如果删去其他几个点后子图之间仍是连通的,则这些点组成的集合称为点割集;割点:如果一个点构成点割集,即删去图中的一个点后所得子图是不连通的,则该点称为割点;15.关联矩阵:M(G),m是i v与j e关联的次数,节点为行,边为列;ij无向图:点与边无关系关联数为0,有关系为1,有环为2;有向图:点与边无关系关联数为0,有关系起点为1终点为-1,关联矩阵的特点:无向图:①行:每个节点关联的边,即节点的度;②列:每条边关联的节点;有向图:③所有的入度(1)=所有的出度(0);16.邻接矩阵:A(G),a是i v邻接到j v的边的数目,点为行,点为列;ij17.可达矩阵:P(G),至少存在一条回路的矩阵,点为行,点为列; P(G)=A(G)+2A(G)+3A(G)+4A(G)可达矩阵的特点:表明图中任意两节点之间是否至少存在一条路,以及在任何节点上是否存在回路;A(G)中所有数的和:表示图中路径长度为1的通路条数;2A(G)中所有数的和:表示图中路径长度为2的通路条数;3A(G)中所有数的和:表示图中路径长度为3的通路条数;4A(G)中所有数的和:表示图中路径长度为4的通路条数;P(G)中主对角线所有数的和:表示图中的回路条数;18.布尔矩阵:B(G),v到j v有路为1,无路则为0,点为行,点为列;i19.代价矩阵:邻接矩阵元素为1的用权值表示,为0的用无穷大表示,节点自身到自身的权值为0;20.生成树:只访问每个节点一次,经过的节点和边构成的子图;21.构造生成树的两种方法:深度优先;广度优先;深度优先:①选定起始点v;②选择一个与v邻接且未被访问过的节点1v;③从v出发按邻接方向继续访问,当遇到一个节点所1有邻接点均已被访问时,回到该节点的前一个点,再寻求未被访问过的邻接点,直到所有节点都被访问过一次;广度优先:①选定起始点v;②访问与v邻接的所有节点1v,2v,……,k v,这些作为第一层节点;③在第一层节点中选定一个节点v为起点;1④重复②③,直到所有节点都被访问过一次;22.最小生成树:具有最小权值(T)的生成树;23.构造最小生成树的三种方法:克鲁斯卡尔方法;管梅谷算法;普利姆算法;(1)克鲁斯卡尔方法①将所有权值按从小到大排列;②先画权值最小的边,然后去掉其边值;重新按小到大排序;③再画权值最小的边,若最小的边有几条相同的,选择时要满足不能出现回路,然后去掉其边值;重新按小到大排序;④重复③,直到所有节点都被访问过一次;(2)管梅谷算法(破圈法)①在图中取一回路,去掉回路中最大权值的边得一子图;②在子图中再取一回路,去掉回路中最大权值的边再得一子图;③重复②,直到所有节点都被访问过一次;(3)普利姆算法①在图中任取一点为起点v,连接边值最小的邻接点2v;1②以邻接点v为起点,找到2v邻接的最小边值,如果最小边值2比v邻接的所有边值都小(除已连接的边值),直接连接,否则退回1v,1连接v现在的最小边值(除已连接的边值);1③重复操作,直到所有节点都被访问过一次;24.关键路径例2 求PERT图中各顶点的最早完成时间, 最晚完成时间, 缓冲时间及关键路径.解:最早完成时间TE(v1)=0TE(v2)=max{0+1}=1TE(v3)=max{0+2,1+0}=2TE(v4)=max{0+3,2+2}=4TE(v5)=max{1+3,4+4}=8TE(v6)=max{2+4,8+1}=9TE(v7)=max{1+4,2+4}=6TE(v8)=max{9+1,6+6}=12 最晚完成时间TL(v8)=12TL(v7)=min{12-6}=6TL(v6)=min{12-1}=11TL(v5)=min{11-1}=10TL(v4)=min{10-4}=6TL(v3)=min{6-2,11-4,6-4}=2 TL(v2)=min{2-0,10-3,6-4}=2 TL(v1)=min{2-1,2-2,6-3}=0 缓冲时间TS(v1)=0-0=0TS(v2)=2-1=1TS(v3)=2-2=0TS(v4)=6-4=2TS(v5=10-8=2TS(v6)=11-9=2TS(v7)=6-6=0TS(v8)=12-12=0关键路径: v1-v3-v7-v825.欧拉路:经过图中每条边一次且仅一次的通路;欧拉回路:经过图中每条边一次且仅一次的回路;欧拉图:具有欧拉回路的图;单向欧拉路:经过有向图中每条边一次且仅一次的单向路;欧拉单向回路:经过有向图中每条边一次且仅一次的单向回路;26.(1)无向图中存在欧拉路的充要条件:①连通图;②有0个或2个奇数度节点;(2)无向图中存在欧拉回路的充要条件:①连通图;②所有节点度数均为偶数;(3)连通有向图含有单向欧拉路的充要条件:①除两个节点外,每个节点入度=出度;②这两个节点中,一个节点的入度比出度多1,另一个节点的入;度比出度少1;(4)连通有向图含有单向欧拉回路的充要条件:图中每个节点的出度=入度;27.哈密顿路:经过图中每个节点一次且仅一次的通路;哈密顿回路:经过图中每个节点一次且仅一次的回路;哈密顿图:具有哈密顿回路的图;28.判定哈密顿图(没有充要条件)必要条件:任意去掉图中n个节点及关联的边后,得到的分图数目小于等于n;充分条件:图中每一对节点的度数之和都大于等于图中的总节点数;29.哈密顿图的应用:安排圆桌会议;方法:将每一个人看做一个节点,将每个人与和他能交流的人连接,找到一条经过每个节点一次且仅一次的回路(哈密顿图),即可;30.平面图:将图形的交叉边进行改造后,不会出现边的交叉,则是平面图;31.面次:面的边界回路长度称为该面的次;32.一个有限平面图,面的次数之和等于其边数的两倍;33.欧拉定理:假设一个连通平面图有v个节点,e条边,r个面,则 v-e+r=2;34.判断是平面图的必要条件:(若不满足,就一定不是平面图)设图G是v个节点,e条边的简单连通平面图,若v>=3,则e<=3v-6;35.同胚:对于两个图G1,G2,如果它们是同构的,或者通过反复插入和除去2度节点可以变成同构的图,则称G1,G2是同胚的;36.判断G是平面图的充要条件:图G不含同胚于K3.3或K5的子图;37.二部图:①无向图的节点集合可以划分为两个子集V1,V2;②图中每条边的一个端点在V1,另一个则在V2中;完全二部图:二部图中V1的每个节点都与V2的每个节点邻接;判定无向图G为二部图的充要条件:图中每条回路经过边的条数均为偶数;38.树:具有n个顶点n-1条边的无回路连通无向图;39.节点的层数:从树根到该节点经过的边的条数;40.树高:层数最大的顶点的层数;41.二叉树:①二叉树额基本结构状态有5种;②二叉树内节点的度数只考虑出度,不考虑入度;③二叉树内树叶的节点度数为0,而树内树叶节点度数为1;④二叉树内节点的度数=边的总数(只算出度);握手定理“节点数=边的两倍”是在同时计算入度和出度的时成立;⑤二叉树内节点的总数=边的总数+1;⑥位于二叉树第k层上的节点,最多有12 k个(k>=1);⑦深度为k的二叉树的节点总数最多为k2-1个,最少k个(k>=1);⑧如果有n个叶子,2n个2度节点,则0n=2n+1;42.二叉树的节点遍历方法:先根顺序(DLR);中根顺序(LDR);后根顺序(LRD);43.哈夫曼树:用哈夫曼算法构造的最优二叉树;44.最优二叉树的构造方法:①将给定的权值按从小到大排序;②取两个最小值分支点的左右子树(左小右大),去掉已选的这两个权值,并将这两个最小值加起来作为下一轮排序的权值;③重复②,直达所有权值构造完毕;45.哈夫曼编码:在最优二叉树上,按照左0右1的规则,用0和1代替所有边的权值;每个节点的编码:从根到该节点经过的0和1组成的一排编码;欢迎您的下载,资料仅供参考!致力为企业和个人提供合同协议,策划案计划书,学习课件等等打造全网一站式需求。
离散数学(微课版) 第4章
![离散数学(微课版) 第4章](https://img.taocdn.com/s3/m/6df4e58b0408763231126edb6f1aff00bed570d9.png)
离散数学(微课版)第4章1. 引言在离散数学的第4章中,我们将讨论图论的基本概念和应用。
图论是研究图及其在现实生活中的应用的数学分支,它在计算机科学、网络设计、运筹学等领域中具有重要的应用价值。
本章将介绍图的定义、图的表示方法、图的遍历算法等内容。
2. 图的定义图由一组节点和一组节点之间的边构成。
节点通常表示现实世界中的对象,而边则表示对象之间的关系。
图可以用于描述各种问题,如社交网络中的用户关系、城市之间的交通网络等。
2.1 有向图和无向图图可以分为有向图和无向图两种类型。
在有向图中,边具有方向,表示节点之间的单向关系。
而在无向图中,边没有方向,表示节点之间的双向关系。
2.2 顶点和边图由顶点和边组成。
顶点是图的节点,用来表示对象。
边连接两个顶点,表示两个对象之间的关系。
2.3 路径和环路径是指在图中从一个顶点到另一个顶点的连接序列。
环是一条路径,其起点和终点相同。
3. 图的表示方法在计算机中,图可以用不同的数据结构来表示。
常见的表示方法包括:3.1 邻接矩阵邻接矩阵是用二维数组表示图的连接关系。
对于无向图,邻接矩阵是对称的,而对于有向图,则不对称。
A B CA010B101C010上述邻接矩阵表示了一个无向图,其中顶点A与顶点B相连,顶点B与顶点C相连。
3.2 邻接表邻接表是用链表表示图的连接关系。
对于每个顶点,邻接表保存了与其相连的其他顶点的信息。
A ->B -> NULLB -> A ->C -> NULLC -> B -> NULL上述邻接表表示了一个无向图,顶点A与顶点B相连,顶点B与顶点A、C相连,顶点C与顶点B相连。
4. 图的遍历算法图的遍历算法是指按照一定的方式访问图中的所有节点。
常见的图的遍历算法有深度优先搜索和广度优先搜索。
4.1 深度优先搜索深度优先搜索从起点开始,尽可能深地访问尚未访问的节点,直到无法继续深入为止,然后回溯到上一个节点,继续深入其他未访问的节点。
离散数学第3章 集合
![离散数学第3章 集合](https://img.taocdn.com/s3/m/287a5a761611cc7931b765ce050876323112742a.png)
任取x, xX … xY (2) 证X=Y
方法一 分别证明 XY 和 YX 方法二 任取x,xX … xY
注意:在使用方法二的格式时,必须保证每步推理都是充分 必要的
27
第三章 集合
命题演算法
例3-3.2 证明A(AB) = A (吸收律)
元素a属于A,记作aA; 或者a不属于A,记作aA,也可以记作┓(aA)。
(4)任意性:集合的元素也可以是集合。 例:A={1,{2},2,{3,4},{6}} A=5,2A,{2}A,6A,{6}A
6
第三章 集合 例如:A={{a,b},d,{{b}}}。可以用一种树形图来表示这种
隶属关系,该图分层构成,每一层上的结点都表示一个集 合,它的儿子就是它的元素。 集合的树型层次结构
32
第三章 集合
§3-3-3 笛卡儿积
定义3-3.2 两个元素a,b组成二元组,若它们有次序 之别,称为二元有序组,或称为有序对或序偶,记为<a, b>,称a为第一分量,b为第二分量;若它们无次序区分, 称为二元无序组,或称为无序对,记为(a,b)。
有序对具有如下性质。 (1)有序性:当x≠y时<x,y>≠<y,x>。 (2)<x,y>与<u,v>相等的充分必要条件是
A
B
11
第三章 集合
§3-2 集合之间的关系
§3-2-1 集合之间的关系 (1)相等关系: • 两集合A和B相等,当且仅当它们有相同的元素。 • 若A与B相等,记为A=B;否则,记为A≠B。 • 可形式化为:A=B(x)(xAxB)。
12
第三章 集合
离散数学第四章(第1讲)
![离散数学第四章(第1讲)](https://img.taocdn.com/s3/m/c5bf677f941ea76e58fa04c8.png)
第四章 二元关系
§1 序偶与笛卡尔积 §2 关系及其表示 §3 关系的性质 §4 关系的运算 §5 等价关系与划分 §6 相容关系与覆盖 §7 偏序关系
§1 序偶与笛卡尔乘积
1 序偶 《定义》由二个具有给定次序的客体所组成的序列
称为序偶。记作〈x,y〉 例:X—Y二维平面上的一个点的坐标〈x,y〉就
是一个序偶。
说明: (1)在序偶中二个元素要有确定的排列次序。 若ab时,则〈a,b〉〈b,a〉 若〈x,y〉=〈a,b〉(x=a y=b) (2) 多重序元: 三元组:〈〈x,y〉,z〉 =〈x,y,z〉 n元组: 〈〈〈〈x1,x2〉,x3〉…〉,xn〉= 〈x1,…,xn〉
ran R={a,b,c,d}
FLD R={1,2,3,4,a,b,c,d}
4.关系和笛卡尔乘积 笛卡尔乘积的任何子集都可以定义一种二元关系。 例:X={1,2,3,4},Y={1,2}
X Y {1,1 ,1,2 , 2,1 , 2,2 , 3,1 , 3,2 , 4,1 , 4,2 }
S1={<x,y>|x X yYx ≤ y}={<1,1><1,2><2,2>}
2 笛卡尔乘积 《定义》设A,B为二个任意集合,若序偶的第 一个成员(左元素)是A的一个元素,序偶的 第二个成员(右元素)是B的一个元素,则所 有这样的序偶构成的集合称为A和B的笛卡尔乘 积。
记作:A B={〈x,y〉|(xA)(yB)}
离散数学 第三-四章
![离散数学 第三-四章](https://img.taocdn.com/s3/m/52ee8120af45b307e871978d.png)
Ai
(f) A (A∪B ), B (A∪B )
集合与关系 >集合的运算
交与 并的关系 定理3-2.1 设A、B、C为三个集合,则下列分配律 成立。 a) A∩(B∪C)=(A∩B)∪(A∩C) b) A∪(B∩C)=(A∪B)∩(A∪C) 定理3-2.2 设A、B为任意两个集合,则下列吸收律 成立 a) A∪(A∩B)=A b) A∩(A∪B)=A 定理3-2.3 A B 当且仅当 A∪B=B 或 A∩B=A。
集合与关系 > 集合的运算
本节重点掌握的概念: 集合, 集合相等,集合包含, 幂集。
本节重点掌握的方法: 集合的表示, 求幂集.
作业
3-1 (1)(a),(c) ,(e)
(3) (4) (a),(c) ,(e) (5) (6) (a),(c) ,(e) (9)
集合与关系 >集合的概念和表示法
上节知识点: 1. 集合的概念 2. 集合的表示 3 集合之间的关系 4 空集和全集 5 幂集(power set)
A-B
E B
A
集合与关系 >集合的运算
• 绝对补 定义3-2.4 设E为全集,任一集合A关于E的补 E-A, 称为集合A的绝对补,记作~A。
即 ~ A={ x| xE ∧ xA}
集合与关系 >集合的运算
(3) 集合的补(complement) 定义3-2.3 设A、B为任意两个集合,所有属于A而 不属于B的一切元素组成的集合S称为B对于A的 补集,或相对补,记作A-B。 即 A-B={ x| xA ∧ xB} 或 xA-B xA但 xB
例如 A={2, 5, 6} B={1, 2, 4, 7, 9} A-B={5, 6} B-A={1,4,7,9} E - A?
《离散数学》教学大纲
![《离散数学》教学大纲](https://img.taocdn.com/s3/m/ee2554a59f3143323968011ca300a6c30c22f1f6.png)
《离散数学》教学大纲(Discrete Mathematics)适用专业:电子信息类课程类别:学科基础课课程学时:48课程学分:3.0先修课程:高等数学、线性代数等一、课程简介离散数学是研究离散量的结构及其相互关系的数学学科,是现代数学的一个重要分支,是计算机科学中基础理论的核心课程,是计算机科学与技术的支撑学科。
它在计算机科学与技术领域有着广泛的应用,同时离散数学也是计算机专业的许多专业课程,如程序设计语言、数据结构、操作系统、编译技术、人工智能与机器人、数据库、网络、计算机图形学、算法设计与分析、理论计算机科学基础等必不可少的先行课程。
通过离散数学的学习,不但可以掌握离散结构的描述工具和处理方法,为后续课程的学习创造条件,而且可以提高抽象思维和严格的逻辑推理能力,为将来参与创新性的研究和开发工作打下坚实的基础。
二、教学目的与任务离散数学是一门培养学生缜密思维、严格推理,具有综合归纳分析能力的课程。
通过本课程的学习,使学生有一定的严格逻辑推理与抽象思维能力,掌握离散量的处理及运算技能,能够将离散数学应用到解决计算机技术中的实际问题中。
不仅能为学生奠定计算机科学的专业基础,并且能为将后续课程的学习及将来开发软、硬件技术及研究、应用提供有力的工具。
三、课程内容第1章命题逻辑的基本概念1.1命题与联结词1.2命题公式及其赋值第2章命题逻辑等值演算2.1等值式2.2析取范式与合取范式* 2.3联结词的完备集* 2.4可满足性问题与消解法第3章命题逻辑的推理理论3.1推理的形式结构3.2自然推理系统P3.3消解证明法第4章一阶逻辑基本概念4.1一阶逻辑命题符号化4.2一阶逻辑公式及其解释第5章一阶逻辑等值演算与推理5.1一阶逻辑等值式与置换规则5.2一阶逻辑前束范式* 5.3一阶逻辑的推理理论第6章集合代数6.1集合的基本概念6.2集合的运算6.3有穷集的计数6.4集合恒等式第7章二元关系7.1有序对与笛卡儿积7.2二元关系7.3关系的运算7.4关系的性质7.5关系的闭包7.6等价关系与划分7.7偏序关系第8章函数8.1函数的定义与性质8.2函数的复合与反函数* 8.3双射函数与集合的基数* 8.4一个电话系统的描述实例第14章图的基本概念14.1图14.2通路与回路14.3图的连通性14.4图的矩阵表示* 14.5图的运算第15章欧拉图与哈密顿图15.1欧拉图15.2哈密顿图15.3最短路问题、中国邮递员问题与货郎担问题第16章树16.1无向树及其性质16.2生成树16.3根树及其应用三、课程学时分配、教学内容与教学基本要求四、教学方法与教学手段说明该课程教学方式主要有:课堂教学、交互学习、课后作业。
《离散数学》部分习题答案
![《离散数学》部分习题答案](https://img.taocdn.com/s3/m/7372140dba1aa8114431d9ad.png)
第一章部分课后习题参考答案16 设p、q的真值为0;r、s的真值为1,求下列各命题公式的真值。
(1)p∨(q∧r)⇔0∨(0∧1) ⇔0(2)(p↔r)∧(﹁q∨s) ⇔(0↔1)∧(1∨1) ⇔0∧1⇔0.(3)(⌝p∧⌝q∧r)↔(p∧q∧﹁r) ⇔(1∧1∧1)↔ (0∧0∧0)⇔0(4)(⌝r∧s)→(p∧⌝q) ⇔(0∧1)→(1∧0) ⇔0→0⇔117.判断下面一段论述是否为真:“π是无理数。
并且,如果3是无理数,则2也是无理数。
另外6能被2整除,6才能被4整除。
”答:p: π是无理数 1q: 3是无理数0r: 2是无理数 1s:6能被2整除 1t: 6能被4整除0命题符号化为:p∧(q→r)∧(t→s)的真值为1,所以这一段的论述为真。
19.用真值表判断下列公式的类型:(4)(p→q) →(⌝q→⌝p)(5)(p∧r) ↔(⌝p∧⌝q)(6)((p→q) ∧(q→r)) →(p→r)答:(4)p q p→q ⌝q ⌝p ⌝q→⌝p (p→q)→(⌝q→⌝p)0 0 1 1 1 1 10 1 1 0 1 1 11 0 0 1 0 0 11 1 1 0 0 1 1所以公式类型为永真式(5)公式类型为可满足式(方法如上例)(6)公式类型为永真式(方法如上例)第二章部分课后习题参考答案3.用等值演算法判断下列公式的类型,对不是重言式的可满足式,再用真值表法求出成真赋值.(1) ⌝(p∧q→q)(2)(p→(p∨q))∨(p→r)(3)(p∨q)→(p∧r)答:(2)(p→(p∨q))∨(p→r)⇔(⌝p∨(p∨q))∨(⌝p∨r)⇔⌝p∨p∨q∨r⇔1所以公式类型为永真式(3)P q r p∨q p∧r (p∨q)→(p∧r)0 0 0 0 0 10 0 1 0 0 10 1 0 1 0 00 1 1 1 0 01 0 0 1 0 01 0 1 1 1 11 1 0 1 0 01 1 1 1 1 1所以公式类型为可满足式4.用等值演算法证明下面等值式:(2)(p→q)∧(p→r)⇔(p→(q∧r))(4)(p∧⌝q)∨(⌝p∧q)⇔(p∨q) ∧⌝(p∧q)证明(2)(p→q)∧(p→r)⇔ (⌝p∨q)∧(⌝p∨r)⇔⌝p∨(q∧r))⇔p→(q∧r)(4)(p∧⌝q)∨(⌝p∧q)⇔(p∨(⌝p∧q)) ∧(⌝q∨(⌝p∧q) ⇔(p∨⌝p)∧(p∨q)∧(⌝q∨⌝p) ∧(⌝q∨q)⇔1∧(p∨q)∧⌝(p∧q)∧1⇔(p∨q)∧⌝(p∧q)5.求下列公式的主析取范式与主合取范式,并求成真赋值(1)(⌝p→q)→(⌝q∨p)(2)⌝(p→q)∧q∧r(3)(p∨(q∧r))→(p∨q∨r)解:(1)主析取范式(⌝p→q)→(⌝q∨p)⇔⌝(p ∨q)∨(⌝q ∨p)⇔(⌝p ∧⌝q)∨(⌝q ∨p) ⇔ (⌝p ∧⌝q)∨(⌝q ∧p)∨(⌝q ∧⌝p)∨(p ∧q)∨(p ∧⌝q)⇔(⌝p ∧⌝q)∨(p ∧⌝q)∨(p ∧q)⇔320m m m ∨∨⇔∑(0,2,3)主合取范式:(⌝p →q)→(⌝q ∨p)⇔⌝(p ∨q)∨(⌝q ∨p)⇔(⌝p ∧⌝q)∨(⌝q ∨p)⇔(⌝p ∨(⌝q ∨p))∧(⌝q ∨(⌝q ∨p)) ⇔1∧(p ∨⌝q)⇔(p ∨⌝q) ⇔ M 1⇔∏(1) (2) 主合取范式为: ⌝(p →q)∧q ∧r ⇔⌝(⌝p ∨q)∧q ∧r⇔(p ∧⌝q)∧q ∧r ⇔0所以该式为矛盾式.主合取范式为∏(0,1,2,3,4,5,6,7) 矛盾式的主析取范式为 0 (3)主合取范式为:(p ∨(q ∧r))→(p ∨q ∨r)⇔⌝(p ∨(q ∧r))→(p ∨q ∨r)⇔(⌝p ∧(⌝q ∨⌝r))∨(p ∨q ∨r)⇔(⌝p ∨(p ∨q ∨r))∧((⌝q ∨⌝r))∨(p ∨q ∨r))⇔1∧1 ⇔1所以该式为永真式.永真式的主合取范式为 1主析取范式为∑(0,1,2,3,4,5,6,7)第三章部分课后习题参考答案14. 在自然推理系统P中构造下面推理的证明:(2)前提:p→q,⌝(q∧r),r结论:⌝p(4)前提:q→p,q↔s,s↔t,t∧r结论:p∧q证明:(2)①⌝(q∧r) 前提引入②⌝q∨⌝r ①置换③q→⌝r ②蕴含等值式④r 前提引入⑤⌝q ③④拒取式⑥p→q 前提引入⑦¬p(3)⑤⑥拒取式证明(4):①t∧r 前提引入②t ①化简律③q↔s 前提引入④s↔t 前提引入⑤q↔t ③④等价三段论⑥(q→t)∧(t→q) ⑤置换⑦(q→t)⑥化简⑧q ②⑥假言推理⑨q→p 前提引入⑩p ⑧⑨假言推理(11)p∧q ⑧⑩合取15在自然推理系统P中用附加前提法证明下面各推理:(1)前提:p→(q→r),s→p,q结论:s→r证明①s 附加前提引入②s→p 前提引入③p ①②假言推理④p→(q→r) 前提引入⑤q→r ③④假言推理⑥q 前提引入⑦r ⑤⑥假言推理16在自然推理系统P中用归谬法证明下面各推理:(1)前提:p→⌝q,⌝r∨q,r∧⌝s结论:⌝p证明:①p 结论的否定引入②p→﹁q 前提引入③﹁q ①②假言推理④¬r∨q 前提引入⑤¬r ④化简律⑥r∧¬s 前提引入⑦r ⑥化简律⑧r∧﹁r ⑤⑦合取由于最后一步r∧﹁r 是矛盾式,所以推理正确.第四章部分课后习题参考答案3. 在一阶逻辑中将下面将下面命题符号化,并分别讨论个体域限制为(a),(b)条件时命题的真值:(1) 对于任意x,均有2=(x+)(x).(2) 存在x,使得x+5=9.其中(a)个体域为自然数集合.(b)个体域为实数集合.解:F(x): 2=(x+)(x).G(x): x+5=9.(1)在两个个体域中都解释为)xF∀,在(a)中为假命题,在(b)中为真命题。
离散数学(集合论)
![离散数学(集合论)](https://img.taocdn.com/s3/m/7c30b8c289eb172ded63b725.png)
D.M 律
双重否 定
26
E
补元律 零律 同一律
AA= A= A=A
AA=E AE=E AE=A
否定
=E
27
E=
第3章 集合的基本概念和运算
3.1 集合的基本概念
3.2 集合的基本运算
3.3 集合中元素的计数
28
3.3 集合中元素的计数
集合的基数与有穷集合 包含排斥原理 有穷集的计数
0 n 1 n n n n
15
幂 集 定义
P(A) = { B | BA }
设 A={a,b,c},则 P(A)={,{a},{b},{c},{a,b},{a,c},{b,c}{a,b,c}}
计数: 如果 |A| = n,则 |P(A)| = 2n
16
空集和全集 空集:不含任何元素的集合,记为
42
文氏图法
求1到1000之间(包含1和1000在内)既不能被 5 和6 整除, 也不能被 8 整除的数有多少个?
43
例2 24名科技人员,每人至少会1门外语. 英语:13; 日语:5; 德语:10; 法语:9 英日:2; 英德:4; 英法:4; 法德:4 会日语的不会法语、德语 求:只会 1 种语言人数,会 3 种语言人数
元素
a A
a A
表示方法:列举法A={a,b,c,d} 描述法 B={x|x∈Z,3<x≤6} …
12
集合与元素的关系
A={a,{b, c},d }
aA
{b, c} A
b x( x A x B) A
包含 A B x (xA xB)
(4)
37
3.1 容斥原理
又 A U A,
离散数学(第二版)第4章二元关系和函数
![离散数学(第二版)第4章二元关系和函数](https://img.taocdn.com/s3/m/3aee460b50e2524de4187ec4.png)
第四章 二元关系和函数
定义4.2.3 设R是A到B的二元关系。 (1) 用xRy表示 <x,y>∈R,意为x,y有R关系(为使可读 性好,我们将分场合使用这两种表达方式中的某一种)。 xy 表示<x,y> R。 (2) 由<x,y>∈R的所有x组成的集合称为关系R的定义域 (domain),记作Dom R,即
显然A×B与 B×A所含元素的个数相同(A,B是有限集 合),但A×B≠B×A。
定理4.1.1 若A,B是有穷集合,则有 |A×B|=|A|·|B|(·为数乘运算)
该定理由排列组合的知识不难证明。 定理4.1.2 对任意有限集合A1,A2,…,An,有 |A1×A2×…×An|=|A1|·|A2|·… ·|An|(·为数乘运算)
第四章 二元关系和函数
本节主要介绍关系的基本概念以及关系的表示方法。 定义4.2.1 任何序偶的集合,确定了一个二元关系,并 称该集合为一个二元关系,记作R 。 二元关系也简称关系。 对于二元关系R,如果<x,y>∈R,也可记作xRy。 定义并不要求R中的元素<x,y> 中的x,y取自哪个个体 域。 因此,R={<2,a>,<u,狗>,<钱币,思想>}也是一 个二元关系。
若R={<x,y>|x∈A∧y∈B∧ x|y },则称R为整除关系, 常记为|,其中x|y表示x整除y。
若A是任意集合,R是A上的二元关系,下面的关系也常 见:
若R={<x,y>|x∈P(A)∧y∈P(A)∧x y},则称R为包含
若R={<x,y>|x∈P(A)∧y∈P(A)∧x y},则称R为真包
第四章 二元关系和函数
离散数学——精选推荐
![离散数学——精选推荐](https://img.taocdn.com/s3/m/90e025c17e192279168884868762caaedc33ba45.png)
离散数学第一章命题逻辑定义1。
设P为一命题,P的否定是一个新的命题,记作¬P。
若P为T,¬P为F;若P为F,¬P为T。
联结词“¬”表示命题的否定。
否定联结词有时亦可记作“¯”。
(P3)定义2。
两个命题P和Q的合取是一个复合命题,记作P∧Q。
当且仅当P,Q同时为T时,P∧Q为T,在其他情况下,P∧Q的真值都是F。
(P4)定义3。
两个命题P和Q的析取是一个复合命题,记作P∨Q。
当且仅当P,Q同时为F时,P∨Q的真值为F,否则P∨Q的真值为T。
(P5)定义4。
给定两个命题P和Q,其条件命题是一个复合命题,记作P→Q,读作“如果P,那么Q”或者“若P则Q”。
当且仅当P的真值为T,Q的真值为F时,P→Q的真值为F,否则P→Q的真值为T。
我们称P为前件,Q为后件。
(P6)定义5。
给定两个命题P和Q,其复合命题P⇆Q的真值为F。
(P7)定义6。
命题演算的合式公式(wff),规定为:(1)单个命题变元本身是一个合式公式。
(2)如果A是合式公式,那么¬A是合式公式。
(3)如果A和B是合式公式,那么(A∧B),(A∨B),(A→B)和(A⇆B)都是合式公式。
(4)当且仅当能够有限次地应用(1),(2),(3)所得到的包含命题变元,联结词和括号的符号串是合式公式。
(P9)定义7。
在命题公式中,对于分量指派真值得各种可能组合,就确定了这个命题公式的各种真值情况,把它汇列成表,就是命题公式的真值表。
(P12)定义8。
给定两个命题公式A和B,设P1,P2,…,P n为所有出现于A和B中的原子变元,若给P1,P2,…,P n任一组真值指派,A和B的真值都相同,则称A和B是等价的或逻辑相等。
记作A⇔B。
(P15)定义9。
如果X是合式公式的A的一部分,且X本身也是一个合式公式,则称X为公式A 的字公式。
(P16)定理1。
设X是合式公式A的字公式,若X⇔Y,如果将A中的X用Y来置换,所得到公式B 与公式A等价,即A⇔B。
离散数学第4章关系
![离散数学第4章关系](https://img.taocdn.com/s3/m/7b7fc74953ea551810a6f524ccbff121dd36c5f8.png)
关系的复合运算
总结词
复合运算是一种二元运算,它返回两个 关系中满足一定条件的元素组成的新关 系。
VS
详细描述
关系的复合运算是指将两个关系中的元素 按照一定的顺序组合在一起,形成一个新 的关系。这个新的关系只包含满足一定条 件的元素,这些元素按照它们在各自关系 中的顺序排列。
关系的表示
总结词
关系的表示方法有多种,包括表格、图形和符号等。
详细描述
关系的表示方法可以根据具体情况选择。表格表示法是一种常用的方法,通过二维表格的形式列出所 有可能的元素对及其关系状态。图形表示法则更加直观,通过节点和边的形式展示关系。符号表示法 则使用特定的符号或字母来表示关系,如集合论中的笛卡尔积等。
04
关系闭包
闭包的定义
闭包
对于给定的关系R,其闭包记作R+, 是指在R的基础上通过添加某些有序对 后得到的新的关系。
定义方式
如果存在一个集合A,对于A中的任意 元素x和y,如果(x,y)在R+中,那么(x,y) 在R中也一定存在。
闭包的性质
02
01
03
自反性
如果一个关系是自反的,那么其闭包也是自反的。
详细描述
如果集合中的任何一个元素x,都不满足关系 R,使得x与自己有R关系,则称关系R具有反 自反性。例如,在一个班级中,“是自己的 老师”这个关系不具有自反性,因为没有人
是自己的老师。
对称性
总结词
对称性是指如果元素x和元素y之间有关系R,并且元素y 和元素x之间也有关系R,则称关系R是对称的。
详细描述
02
关系的运算
关系的并运算
总结词
并运算是一种二元运算,它将两个关系合并成一个新的关系 。
离散数学_第_4_章习题解答讲解
![离散数学_第_4_章习题解答讲解](https://img.taocdn.com/s3/m/ec880f493c1ec5da50e270a4.png)
第四章归结法原理习题与解答1. 用归结法证明:(1)(2)(3)(4)(5)(6)解(1) 首先将p→q,p→r,¬(p→q∧r)化为合取范式。
p→q⇔¬p∨qp→r⇔¬p∨r¬(p→q∧r)⇔¬(¬p∨(q∧r))⇔p∧(¬q∨¬r) 给出子句集{¬p∨q,¬p∨r,p,¬q∨¬r}的反驳如下。
⑴ ¬p∨q⑵ ¬p∨r⑶ p⑷ ¬q∨¬r⑸ q 由⑴和⑶由⑵和⑶⑹ r⑺ ¬r 由⑷和⑸⑻ □ 由⑹和⑺因此,p→q,p→r|=p→q∧r(2) 首先将p→r,q→r,¬(p∨q→r)化为合取范式。
p→r⇔¬p∨rq→r⇔¬q∨r¬(p∨q→r)⇔(p∨q)∧¬r给出子句集{¬p∨r,¬q∨r,p∨q,¬r}的反驳如下。
⑴ ¬p∨r⑵ ¬q∨r⑶ p∨q⑷ ¬r⑸ q∨r 由⑴和⑶ p→q,p→r|=p→q∧r p→r,q→r|=p∨q→r p→q∨r|=(p→q)→(p→r)p∧q→r|=(p→r)∨(q→r) p∨q∨r,p→r|=q∨r (p→q)→(p→r)|=p→(q→r)由⑵和⑸⑹ r⑺ □由⑷和⑹因此,p→r,q→r|=p∨q→r(3) 首先将p→q∨r,¬((p→q)∨(p→r))化为合取范式。
p→q∨r⇔¬p∨q∨r¬((p→q)∨(p→r))⇔¬((¬p∨q)∨(¬p∨r))⇔p∧¬q∧¬r 给出子句集{¬p∨q∨r,p,¬q,¬r}的反驳如下。
⑴ ¬p∨q∨r⑵ p⑶ ¬q⑷ ¬r⑸ q∨r 由⑴和⑵⑹ r 由⑶和⑸⑺ □ 由⑷和⑹因此,p→q∨r|=(p→q)∨(p→r)(4) 首先将p∧q→r,¬((p→r)∨(q→r))化为合取范式。
离散数学课后习题答案
![离散数学课后习题答案](https://img.taocdn.com/s3/m/bfdb111ca2161479171128f6.png)
第一章命题逻辑基本概念课后练习题答案1.将下列命题符号化,并指出真值:(1)p∧q,其中,p:2是素数,q:5是素数,真值为1;(2)p∧q,其中,p:是无理数,q:自然对数的底e是无理数,真值为1;(3)p∧┐q,其中,p:2是最小的素数,q:2是最小的自然数,真值为1;(4)p∧q,其中,p:3是素数,q:3是偶数,真值为0;(5)┐p∧┐q,其中,p:4是素数,q:4是偶数,真值为0.2.将下列命题符号化,并指出真值:(1)p∨q,其中,p:2是偶数,q:3是偶数,真值为1;(2)p∨q,其中,p:2是偶数,q:4是偶数,真值为1;(3)p∨┐q,其中,p:3是偶数,q:4是偶数,真值为0;(4)p∨q,其中,p:3是偶数,q:4是偶数,真值为1;(5)┐p∨┐q,其中,p:3是偶数,q:4是偶数,真值为0;3.(1)(┐p∧q)∨(p∧┐q),其中,小丽从筐里拿一个苹果,q:小丽从筐里拿一个梨;(2)(p∧┐q)∨(┐p∧q),其中,p:刘晓月选学英语,q:刘晓月选学日语;.4.因为p与q不能同时为真.5.设p:今天是星期一,q:明天是星期二,r:明天是星期三:(1)p→q,真值为1(不会出现前件为真,后件为假的情况);(2)q→p,真值为1(也不会出现前件为真,后件为假的情况);(3)p q,真值为1;(4)p→r,若p为真,则p→r真值为0,否则,p→r真值为1.返回第二章命题逻辑等值演算本章自测答案5.(1):∨∨,成真赋值为00、10、11;(2):0,矛盾式,无成真赋值;(3):∨∨∨∨∨∨∨,重言式,000、001、010、011、100、101、110、111全部为成真赋值;7.(1):∨∨∨∨⇔∧∧;(2):∨∨∨⇔∧∧∧;8.(1):1⇔∨∨∨,重言式;(2):∨⇔∨∨∨∨∨∨;(3):∧∧∧∧∧∧∧⇔0,矛盾式.11.(1):∨∨⇔∧∧∧∧;(2):∨∨∨∨∨∨∨⇔1;(3):0⇔∧∧∧.12.A⇔∧∧∧∧⇔∨∨.第三章命题逻辑的推理理论本章自测答案6.在解本题时,应首先将简单陈述语句符号化,然后写出推理的形式结构*,其次就是判断*是否为重言式,若*是重言式,推理就正确,否则推理就不正确,这里不考虑简单语句之间的内在联系(1)、(3)、(6)推理正确,其余的均不正确,下面以(1)、(2)为例,证明(1)推理正确,(2)推理不正确(1)设p:今天是星期一,q:明天是星期三,推理的形式结构为(p→q)∧p→q(记作*1)在本推理中,从p与q的内在联系可以知道,p与q的内在联系可以知道,p与q不可能同时为真,但在证明时,不考虑这一点,而只考虑*1是否为重言式.可以用多种方法(如真值法、等值演算法、主析取式)证明*1为重言式,特别是,不难看出,当取A为p,B为q时,*1为假言推理定律,即(p→q)∧p→q ⇒ q(2)设p:今天是星期一,q:明天是星期三,推理的形式结构为(p→q)∧p→q(记作*2)可以用多种方法证明*2不是重言式,比如,等值演算法、主析取范式(主和取范式法也可以)等(p→q)∧q→p⇔(┐p∨q) ∧q →p⇔q →p⇔┐p∨┐q⇔⇔∨∨从而可知,*2不是重言式,故推理不正确,注意,虽然这里的p与q同时为真或同时为假,但不考虑内在联系时,*2不是重言式,就认为推理不正确.9.设p:a是奇数,q:a能被2整除,r:a:是偶数推理的形式结构为(p→q┐)∧(r→q)→(r→┐p) (记为*)可以用多种方法证明*为重言式,下面用等值演算法证明:(p→┐q)∧(r→q)→(r→┐p)⇔(┐p∨┐q) ∨(q∨┐r)→(┐q∨┐r) (使用了交换律)⇔(p∨q)∨(┐p∧r)∨┐q∨┐r⇔(┐p∨q)∨(┐q∧┐r)⇔┐p∨(q∨┐q)∧┐r⇔110.设p:a,b两数之积为负数,q:a,b两数种恰有一个负数,r:a,b都是负数.推理的形式结构为(p→q)∧┐p→(┐q∧┐r)⇔(┐p∨q) ∧┐p→(┐q∧┐r)⇔┐p→(┐q∧┐r) (使用了吸收律)⇔p∨(┐q∧┐r)⇔∨∨∨由于主析取范式中只含有5个W极小项,故推理不正确.11.略14.证明的命题序列可不惟一,下面对每一小题各给出一个证明① p→(q→r)前提引入② P前提引入③ q→r①②假言推理④ q前提引入⑤ r③④假言推理⑥ r∨s前提引入(2)证明:① ┐(p∧r)前提引入② ┐q∨┐r①置换③ r前提引入④ ┐q ②③析取三段论⑤ p→q前提引入⑥ ┐p④⑤拒取式(3)证明:① p→q前提引入② ┐q∨q①置换③ (┐p∨q)∧(┐p∨p) ②置换④ ┐p∨(q∧p③置换⑤ p→(p∨q) ④置换15.(1)证明:① S结论否定引入② S→P前提引入③ P①②假言推理④ P→(q→r)前提引入⑤ q→r③④假言推论⑥ q前提引入⑦ r⑤⑥假言推理(2)证明:① p附加前提引入② p∨q①附加③ (p∨q)→(r∧s)前提引入④ r∧s②③假言推理⑤ s④化简⑥ s∨t⑤附加⑦ (s∨t)→u前提引入⑧ u⑥⑦拒取式16.(1)证明:① p结论否定引入② p→ ┐q前提引入③ ┐q ①②假言推理④ ┐r∨q前提引入⑤ ┐r③④析取三段论⑥ r∧┐s前提引入⑦ r⑥化简⑧ ┐r∧r⑤⑦合取(2)证明:① ┐(r∨s)结论否定引入② ┐r∨┐s①置换③ ┐r②化简④ ┐s②化简⑤ p→r前提引入⑥ ┐p③⑤拒取式⑦ q→s前提引入⑧ ┐q④⑦拒取式⑨ ┐p∧┐q⑥⑧合取⑩ ┐(p∨q)⑨置换口p∨q前提引入⑾①口┐(p∨q) ∧(p∨q) ⑩口合取17.设p:A到过受害者房间,q: A在11点以前离开,r:A犯谋杀罪,s:看门人看见过A。
离散数学3、4章
![离散数学3、4章](https://img.taocdn.com/s3/m/5d1af63c1711cc7931b71657.png)
2020/3/28
离散数学
12
双射的逆也是双射
• 显然,若是A到B的双射,则其逆映 射 – 1也是B到A的双射,并且对任意 的x∈A,均有: – 1((x)) = x .
2020/3/28
离散数学
24
抽屉原理(鸽巢原理)
我们知道,若A,B均为有限集,且A与B 之间存在双射,则A和B的元素个数相等,即 A~B。但是:
定理4.1.2 任何有限集均不能和其真子集等势。
• 此定理也称为抽屉原则:若将n+1个物体放入 n个抽屉中,则至少有一个抽屉中放了两个或 两个以上的物体。
第三章 映 射
映射又称为函数,是两个集合 之间一种特殊的二元关系。
本章主要介绍各种典型的映射及 其性质、运算以及它们之间的联 系。
2020/3/28
离散数学
1
§3.1 基本概念
定义3.1.1: 设A,B是两个集合,是A到B的二 元关系,若对A中每个元素a,有唯一的 b∈B, 使得<a,b>∈ ,则称为A到B的映射,记为:
本章将利用“映射”的概念建立集合 间的等势关系,并拓广集合中元素个数 的概念,引进集合的基数的概念,最后 讨论可数集与不可数集。
2020/3/28
离散数学
20
§4.1 等 势
如何比较两个集合中元素的多少呢? 引入等势的概念。
定义4.1.1 设A和B是集合,若存在A到B 的双射,则称A与B等势,记为A ~B 。 (可形象理解为A与B的元素一样多。)
在,于是A~C,故~是传递的。 综上所
《离散数学》第3章 集合
![《离散数学》第3章 集合](https://img.taocdn.com/s3/m/f6f346d9d15abe23482f4d71.png)
P ( A) = {φ , A}
第二节 集合的运算 内容: 内容:集合的运算,文氏图,运算律。 重点: 重点:(1) 掌握集合的运算
A ∪ B, A ∩ B, A − B, ~ A, A ⊕ B
(2) 用文氏图表示集合间的相互 关系和运算, (3) 掌握基本运算律的内容及运用。
一、集合的运算。 集合的运算。 集合 A, B 的并集 A ∪ B, 交集 A ∩ B,相对补集
三 包含排斥定理 设A和 B是两个有限集合,则 A ∪ B = A + B − A ∩ B ,
B 其中 A, B 分别表示 A、的元数.
把包含排斥定理推广到n个集合的情况可用如下定 理表述: 设A1 , A2 ,⋯ A为有限集合,其元数分别为 A , A ,⋯, A ,则 n
1 2 n
A1 ∪ A2 ∪ ⋯ ∪ An
A= B ⇔ A⊆ B∧B⊆ A
5、特殊的集合。 空集 φ 全集 E (或 U )
φ ⊆ A ⊆ E ( A 为任一集合)
例1、选择适当的谓词表示下列集合。 、 (1) 小于5的非负整数集 (2) 奇整数集合
{x | x ∈ N ∧ x < 5} {x | x = 2n + 1 ∧ n ∈ Z }
{ } (8) {a, b} ∈ {a, b, {{a, b}}}
(7) {a, b} ⊆ a, b, {{a, b}}
例3、A, B, C 为集合,若 A ∈ B 且B ∈ C , 、 有可能 A ∈ C 吗,有可能 A ∉ C 吗? 解:两种情形都有可能。 设 A = {a}, B = {{a}} , C = {{a}, {{a}}} , 则 A ∈ B, B ∈ C ,有 A ∈ C 。 又设 A = {a}, B = {{a}} , C = {{{a}}}, 则 A ∈ B, B ∈ C ,但 A ∉ C 。
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
2014-3-31 离散数学 2
几个概念
• 映象:若<a,b>∈ ,则称b为a的映象。 (被射 中的人) • 象源:若<a,b>∈ ,则a为b的象源,记为 (a)=b。 (射箭的人) • 映象集: (A)={b∈B|存在a∈A,使 (a)=b} 称 为A的映象集。(全体被射中的人的集合。) 显 然, (A) B 。 • 变换:A到A的映射称为变换。(窝里斗)
2014-3-31 离散数学 5
满射、单射和双射的例子
• 设:N N,N 是自然数集,(n)= 2n, n∈N。则是 单射,但不是满射。
• 设:[0, ] [0, 1],() = sin(), ∈[0, ]。则是 满射,但不是单射。
• 设:N E,N 是自然数集合,E是自 然数中的所有偶数的集合,(n)= 2n,n ∈ N。 则是 单射且是满射,所以是双射。
2014-3-31 离散数学 22
有限与无限
• 定义4.1.2:设Nn={0,1, , n– 1} , n1 , 若集合A与Nn等势,则称A为有限集; 否则称A为无限集。
2014-3-31
离散数学
3
下列关系是否构成映射?
a b c
A
e f g R1
B
a b c
A
e
f g
R2
B
a b c
A
e f g R3
B
嗨!R1可不 是映射喔。 有人偷懒了。
2014-3-31
嗨!R2也不是 映射喔。有人 一箭双雕。
离散数学
啊哈!R3才是 一个映射呢。
4
满射、单射、双射
• 定义3.1.2:若是A到B的映射,且对b∈B, a∈A, 使得 (a)=b,则称是A到B上的映射, 简称满射。此时每个b∈B 必是A 中至少一个 元素a 的映象,且 (A)=B。 糟糕!全被射中了。 • 定义3.1.3:设是A到B的映射,若对a,b∈A, a≠b,均有 (a)≠ (b),则称为A到B的单射或入 射。此时| (A)|=|A|, B中每个元素最多是A中 一个元素的映象。 还好,只中了一箭。 • 定义3.1.4:设是A到B的映射,若既是满射 又是单射,则为A到B的双射或1––1映射。 哼!你能射我,我也能射你。
2014-3-31 离散数学 20
§4.1 等 势
如何比较两个集合中元素的多少呢? 引入等势的概念。 定义4.1.1 设A和B是集合,若存在A到B 的双射,则称A与B等势,记为A ~B 。 (可形象理解为A与B的元素一样多。) • “~”是一个等价关系。 • 例1 自然数集N与偶自然数集E是等势的, 其中定义N到E的双射为:(n) = 2n n∈N.
2014-3-31
离散数学
17
双射两次求逆后不变
• 定理3.2.3 设是A到B的双射,则
( – 1 )– 1 =
• 证明:因为是双射,所以 – 1 是B到A的双射,
从而( – 1) – 1是A到B的双射。对任意x∈A,设
(x) =y ,则 – 1(y) = x ,由于 – 1也是双射,所以 ( – 1)– 1(x) = y,故( – 1)– 1 = 。
• = • ,即映射的乘法不满足交换律;
(3)映射的乘法满足结合律。
2014-3-31 离散数学 14
复合映射交换后不一定是映射
令是A到B的映射, 是B到C的映射,
1 2 3 4
5
6 7 8
A
B
C
• (1) = (4) = 7; • (2) = (4) = 7; • (3) = (5) = 8 . 而 • (x) 都不存在, 其中,x ∈B .
2014-3-31 离散数学 21
证明“~”是一个等价关系
证明:设S={X|任意两个元素之间存在双射,X 是集合},~是S上的二元关系: ~={<A,B>|A,B∈S,存在双射:AB } 1) 对每个AS,存在恒等映射I:AA,I是双射, 于是A~A,故~是自反的。 2) 对任意A,BS,若A~B,则存在双射:AB, 显然双射-1:BA存在,于是B~A,故~是 对称的。 3) 对任意A,B,CS,若A~B,B~C,则存在双射 :AB和:BC,而· (A)=· ((A))=(B)=C, 即双射· :AC存在,于是A~C,故~是传 递的。 综上所述,~是等价关系。
2014双射的逆
• 定理3.2.4 设是A到B的双射, 是B到C的双
•• 证明: 由假设不难知道, ( • ) – 1 和 – 1 • – 1均是C 先让我们来回忆一下复合关系的逆(定 到A的双射。对任意z∈ C,因为 – 1也是双射,所以有 -1 -1 -1。 理 2.2.3 ): (R· S) = S · R 唯一的y∈B,使– 1(z) = y. 又因为 –1也是双射,所以 对y有唯一的x∈A ,使 – 1(y) = x.于是, – 1 • – 1 (z) = – 1 ( – 1(z)) = – 1 (y) = x 又因( • )(x) = ((x)) = (y) = z ,且 • 也是双射, 所以 ( • )– 1(z) = x . 从而对任意z∈C , 有( • )– 1(z) = – 1 • – 1 (z)。因此, (式3.2)成立。
第三章
映射
映射又称为函数,是两个集合 之间一种特殊的二元关系。 本章主要介绍各种典型的映射及 其性质、运算以及它们之间的联 系。
2014-3-31
离散数学
1
§3.1 基本概念
定义3.1.1: 设A,B是两个集合,是A到B的二 元关系,若对A中每个元素a,有唯一的 b∈B, 使得<a,b>∈ ,则称为A到B的映射,记为: : AB 或 A B
• ( • ) = ( • ) • • 证明:对任意x∈A,有 ( • ( • ) )(x) = ( ( • )(x) ) = ( ((x))) (( • ) • )(x) = ( • ) ((x)) = ( ((x))) 因此,(式3.1)成立。即映射的乘法满足结合律。 (式3.1)
2014-3-31 离散数学 9
等势有限集合间的单射即满射
• 定理3.1.1 设A,B是两个有限集,且|A|=|B| .于 是, : AB是单射当且仅当是满射。 • 证明:(必要性)设是单射,则 |A|= |(A)| , 因 为|A|=|B| ,所以 |(A)|= |B| ,又因(A) B且B有 限,所以(A) = B,从而是满射。 (充分性)设是满射,则(A) = B,于是, |A|=|B|=|(A)| , 即|A|=| (A)| 。又因A有限,所 以是单射。
y z
b B
y
C
• (a)= (x) = a ; • (b)= (y) = b ;
A
所以, • ≠ • ,即映射的乘法不满足交换律。
2014-3-31 离散数学 16
映射的乘法满足结合律
• 定理3.2.2 设是A到B的映射, 是B到C的映
射,是C到D的映射,于是
2014-3-31 离散数学 7
2、:R×R R×R,R为实数集。 (x,y)=<x+y,x-y>
解:⑪(单射性) 任取(x,y),(u,v), 假设(x,y)≠(u,v),若 (x,y)= (u,v),即<x+y,x-y>= <u+v,u-v> 则: x+y=u+v 得: x=u x-y=u-v y=v 从而(x,y)=(u,v),与假设矛盾.故是单射. ⑫(满射性) 对任意<u,v>∈R×R,令: (x,y)=<x+y,x-y>= <u,v>,即: x+y=u 解得: x=(u+v)/2 x-y=v y=(u-v)/2 显然((u+v)/2, (u-v)/2)∈R×R,且满足 ((u+v)/2, (u-v)/2)= <u,v>,故是满射.总之, 是双射.
2014-3-31
离散数学
11
双射才有逆映射
• 定理3.2.1 设是A到B的映射,于是, 存在 逆映射当且仅当是双射。
• 证明:必要性:设-1存在, -1:BA。若不是满 射,则y∈B ,使得y不是A中任何元素的映象,即y没 有象源。若不是单射,则 x1, x2∈A , x1≠x2且 (x1)= (x2)=y,则y的象源不唯一。不论哪种情况,都 说明的逆关系不是B到A的映射,此与假设矛盾。故 是双射。
2014-3-31 离散数学 6
判断下列映射是否单射,满射和双射。
1、设:N N,N 是自然数集,(n)= 2n, n∈N。 (是变换) 解: 取b=2n+1,b∈N,由的定义知: (n) ≠b,n,b∈N。∴ 不是满射。 任取i,j∈N,且i≠j。若(i)= (j),即 2i=2j,则i=j,此与i≠j矛盾。∴ (i)≠(j)。 故是单射。综上所述: 是单射但不是 满射。
因此,上例中 • 是映射, • 不是映射。
2014-3-31
离散数学
15
映射的乘法不满足交换律
• 假如 • 和 • 都是映射,如下所示: • (x)= (a) = x ; • (y)= (b) = y ; • (z)= (b) = y ; x a x
2014-3-31
离散数学
13
复合映射
• 定义3.2.2:设是A到B的映射, 是B到C的映
射,对任意x∈A, 定义( • )(x) = ((x)),易