离散数学第五章答案

合集下载

离散数学习题答案耿素云屈婉玲_百度文库

离散数学习题答案耿素云屈婉玲_百度文库

离散数学习题答案习题二及答案:(P38)5、求下列公式的主析取范式,并求成真赋值:(2)(⌝p→q)∧(q∧r)解:原式⇔(p∨q)∧q∧r⇔q∧r⇔(⌝p∨p)∧q∧r ⇔(⌝p∧q∧r)∨(p∧q∧r)⇔m3∨m7,此即公式的主析取范式,所以成真赋值为011,111。

6、求下列公式的主合取范式,并求成假赋值:(2)(p∧q)∨(⌝p∨r)解:原式⇔(p∨⌝p∨r)∧(⌝p∨q∨r)所以成假赋值为100。

7、求下列公式的主析取范式,再用主析取范式求主合取范式:(1)(p∧q)∨r解:原式⇔⇔(⌝p∨q∨r)⇔M4,此即公式的主合取范式,p∧q∧(⌝r∨r)∨((⌝p∨p)∧(⌝q∨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)∨(p∧q∧⌝r)∨(p∧q∧r)⇔m1∨m3∨m5∨m6∨m7,此即主析取范式。

主析取范式中没出现的极小项为m0,m2,m4,所以主合取范式中含有三个极大项M0,M2,M4,故原式的主合取范式⇔M09、用真值表法求下面公式的主析取范式:(1)(p∨q)∨(⌝p∧r)解:公式的真值表如下:∧M2∧M4。

由真值表可以看出成真赋值的情况有7种,此7种成真赋值所对应的极小项的析取即为主析取范式,故主析取范式⇔m1∨m2∨m3∨m4∨m5∨m6∨m7习题三及答案:(P52-54)11、填充下面推理证明中没有写出的推理规则。

前提:⌝p∨q,⌝q∨r,r结论:s 证明:① p 前提引入②④→s,p⌝p∨q 前提引入⌝q∨r 前提引入③ q ①②析取三段论⑤ r ③④析取三段论⑥15、在自然推理系统P中用附加前提法证明下面推理:(2)前提:(p∨q)→(r∧s),(s∨t)→u 结论:r→s 前提引入⑦ s ⑤⑥假言推理p→u证明:用附加前提证明法。

① p 附加前提引入②③④⑥⑦p∨q ①附加(p∨q)→(r∧s) 前提引入r∧s ②③假言推理⑤ s ④化简s∨t ⑤附加(s∨t)→u 前提引入⑧ u ⑥⑦假言推理故推理正确。

20春国家开放大学离散数学形考任务5资料参考答案

20春国家开放大学离散数学形考任务5资料参考答案

20春国家开放⼤学离散数学形考任务5资料参考答案离散数学形考任务5单项选择题
题⽬1
下列公式( A )为重⾔式.
选择⼀项:
A.
B.
C.
D.
题⽬2
下列等价公式成⽴的为( A ).
选择⼀项:
A. ┐P∧P┐Q∧Q
B. ┐P∨P Q
C. P∧Q P∨Q
D. ┐Q→P P→Q
题⽬3
下列等价公式成⽴的为( D ).
选择⼀项:
A. Q→(P∨Q)┐Q∧(P∨Q)
B. ┐P∧┐Q P∨Q
C. ┐P∨(P∧Q)Q
D. P→(┐Q→P)┐P→(P→Q)
题⽬4
下列公式中( C )为永真式.
选择⼀项:
A.
B.
C.
D.
题⽬5
前提条件的有效结论是( C ).
选择⼀项:
A. ┐P
B. P
C. ┐Q
D. Q
题⽬6
设命题公式G:,则使公式G取真值为1的P,Q,R赋值分别是( B ).选择⼀项:
A. 0, 0, 0
B. 1, 0, 0
C. 0, 1, 0
D. 0, 0, 1
题⽬7
设个体域D是整数集合,则命题的真值是( C ).选择⼀项:
A. F
B. 不确定
C. T
D. 以上说法都不是
题⽬8
设个体域为整数集,则公式的解释可为( A ).选择⼀项:
A. 对任⼀整数x存在整数y满⾜x+y=0
B. 存在⼀整数x对任意整数y满⾜x+y=0
C. 存在⼀整数x有整数y满⾜x+y=0
D. 任⼀整数x对任意整数y满⾜x+y=0
题⽬9。

离散数学习题答案(耿素云屈婉玲)

离散数学习题答案(耿素云屈婉玲)

离散数学习题答案习题二及答案:(P38)5、求下列公式的主析取范式,并求成真赋值: (2)()()p q q r ⌝→∧∧ 解:原式()p q q r⇔∨∧∧q r ⇔∧()p p q r ⇔⌝∨∧∧()()p q r p q r ⇔⌝∧∧∨∧∧37m m ⇔∨,此即公式的主析取范式,所以成真赋值为011,111。

6、求下列公式的主合取范式,并求成假赋值: (2)()()p q p r ∧∨⌝∨解:原式()()p p r p q r ⇔∨⌝∨∧⌝∨∨()p q r ⇔⌝∨∨4M ⇔,此即公式的主合取范式,所以成假赋值为100。

7、求下列公式的主析取范式,再用主析取范式求主合取范式: (1)()p q r ∧∨ 解:原式()(()())p q r r p p q 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 p q r p q r ⇔⌝∧⌝∧∨⌝∧∧∨∧⌝∧∨∧∧⌝∨∧∧ 13567m m m m m ⇔∨∨∨∨,此即主析取范式。

主析取范式中没出现的极小项为0m ,2m ,4m ,所以主合取范式中含有三个极大项0M ,2M ,4M ,故原式的主合取范式024M M M ⇔∧∧。

9、用真值表法求下面公式的主析取范式: (1)()()p q p r ∨∨⌝∧ 解:公式的真值表如下:由真值表可以看出成真赋值的情况有7种,此7种成真赋值所对应的极小项的析取即为主析取范式,故主析取范式1234567m m m m m m m ⇔∨∨∨∨∨∨习题三及答案:(P52-54)11、填充下面推理证明中没有写出的推理规则。

前提:,,,p q q r r s p ⌝∨⌝∨→结论:s 证明:① p 前提引入 ② p q ⌝∨ 前提引入 ③ q ①②析取三段论 ④ q r ⌝∨ 前提引入 ⑤ r ③④析取三段论 ⑥ r s → 前提引入⑦ s ⑤⑥假言推理15、在自然推理系统P 中用附加前提法证明下面推理: (2)前提:()(),()p q r s s t u ∨→∧∨→ 结论:p u →证明:用附加前提证明法。

离散数学作业5[答案]

离散数学作业5[答案]

一、填空题1.已知图G中有1个1度结点,2个2度结点,3个3度结点,4个4度结点,则G的边数是15 .2.设给定图G(如右由图所示),则图G的点割集是{f,c} .3.设G是一个图,结点集合为V,边集合为E,则G的结点度数等于边数的两倍.4.无向图G存在欧拉回路,当且仅当G连通且所有结点的度数全为偶数.5.设G=<V,E>是具有n个结点的简单图,若在G中每一对结点度数之和大于等于n-1 ,则在G中存在一条汉密尔顿路.6.若图G=<V, E>中具有一条汉密尔顿回路,则对于结点集V的每个非空子集S,在G中删除S中的所有结点得到的连通分支数为W,则S中结点数|S|与W满足的关系式为W≤|S|.7.设完全图Kn 有n个结点(n≥2),m条边,当n为奇数时,Kn中存在欧拉回路.8.结点数v与边数e满足e=v-1 关系的无向连通图就是树.9.设图G是有6个结点的连通图,结点的总度数为18,则可从G中删去4 条边后使之变成树.10.设正则5叉树的树叶数为17,则分支数为i = 4 .二、判断说明题(判断下列各题,并说明理由.)1.如果图G是无向图,且其结点度数均为偶数,则图G存在一条欧拉回路..不正确,图G是无向图,当且仅当G是连通,且所有结点度数均为偶数,这里不能确定图G是否是连通的。

2.如下图所示的图G存在一条欧拉回路.错误.因为图G为中包含度数为奇数的结点.3.如下图所示的图G不是欧拉图而是汉密尔顿图.解:错,既不是欧拉图也不是汉密尔顿图,欧拉图要求所有结点度数均为偶数,这里结点bd各有三个节点;汉密尔顿图要求每一对结点度数之和大于等于总结点数,这里不满足。

4.设G是一个有7个结点16条边的连通图,则G为平面图.错,没有提到面5.设G是一个连通平面图,且有6个结点11条边,则G有7个面.对,由欧拉定理得到:结点-边+面=2 ,即为连通平面图,这里6-11+7=2三、计算题1.设G=<V,E>,V={ v1,v2,v3,v4,v5},E={ (v1,v3),(v2,v3),(v2,v4),(v3,v4),(v3,v5),(v4,v5) },试(1) 给出G的图形表示;(2) 写出其邻接矩阵;(3) 求出每个结点的度数;(4) 画出其补图的图形.解:(1)G的图形如图十二(2)邻接矩阵:图十二⎥⎥⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎢⎢⎣⎡111111111111(3)v1,v2,v3,v4,v5结点的度数依次为1,2,4,3,2(4)补图如图十三:2.图G=<V, E>,其中V={ a, b, c, d, e},E={ (a, b), (a, c), (a, e), (b, d), (b, e), (c, e), (c, d), (d, e) },对应边的权值依次为2、1、2、3、6、1、4及5,试(1)画出G的图形;(2)写出G的邻接矩阵;(3)求出G权最小的生成树及其权值.解:(1)G的图形表示如图十四:图十四(2)邻接矩阵:⎥⎥⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎢⎢⎣⎡1111111111111111(3)粗线表示最小的生成树,如图十五如图十五最小的生成树的权为1+1+2+3=7:3.已知带权图G如右图所示.(1) 求图G的最小生成树;(2)计算该生成树的权值.4.设有一组权为2, 3, 5, 7, 17, 31,试画出相应的最优二叉树,计算该最优二叉树的权.四、证明题1.设G 是一个n 阶无向简单图,n 是大于等于3的奇数.证明图G 与它的补图G 中的奇数度顶点个数相等.2.设连通图G 有k 个奇数度的结点,证明在图G 中至少要添加2k 条边才能使其成为欧拉图.证明:由定理3.1.2,任何图中度数为奇数的结点必是偶数,可知k 是偶数.又根据定理4.1.1的推论,图G 是欧拉图的充分必要条件是图G 不含奇数度结点.因此只要在每对奇数度结点之间各加一条边,使图G 的所有结点的度数变为偶数,成为欧拉图. 故最少要加2k 条边到图G 才能使其成为欧拉图.。

离散数学答案

离散数学答案

2015春课件作业第一部分集合论第一章集合的基本概念和运算1-1 设集合 A ={{2,3,4},5,1},下面命题为真是 A (选择题) [ A ] A.1 ∈A; B.2 ∈ A; C.3 ∈A; D.{3,2,1} ⊆ A。

1-2 A,B,C 为任意集合,则他们的共同子集是 D (选择题) [ D ] A.C; B.A; C.B; D.Ø。

1-3 设 S = {N,Z,Q,R},判断下列命题是否正确(是非题)(1) N ⊆ Q,Q ∈S,则 N ⊆ S,否[错](2)-1 ∈Z,Z ∈S,则 -1 ∈S 。

否[错]1-4 设集合 B = {4,3} ∩Ø, C = {4,3} ∩{ Ø },D ={ 3,4,Ø },E = {x│x ∈R 并且 x2 - 7x + 12 = 0},F = { 4,Ø,3,3},试问:集合 B 与那个集合之间可用等号表示 A (选择题) [A ]A. C;B. D;C. E;D. F.1-5 用列元法表示下列集合:A = { x│x ∈N 且 3-x 〈 3 }(选择题) [D ]A. N;B. Z;C. Q;D. Z+1-6 为何说集合的确定具有任意性 ? (简答题)按照所研究的问题来确定集合的元素。

而我们所要研究的问题当然是随意的。

所以,集合的定义(就是集合成分的确定)就带有任意性。

第二章二元关系2-1 给定 X =(3, 2,1),R 是 X 上的二元关系,其表达式如下:R = {〈x,y〉x,y ∈X 且 x > y } (综合题)求:(1)domR =?; (2)ranR =?; (3)R 的性质。

所谓谓词表达法,即是将集合中所有元素的共同性质用一个谓词概括起来,如本题几例所示。

有的书上称其为抽象原则。

反过来,列元法则是遵照元素的性质和要求,逐一将他们列出来,以备下用,结果如下:R = {<1,1>,<2,2>,<3,3>};(1)DomR={R中所有有序对的x}={3,2,1};(2)RanR={R中所有有序对的y}={3,2,1};(3)R 的性质:自反,对称,传递性质.2-2 设 R 是正整数集合上的关系,由方程 x + 3y = 12 决定,即R = {〈x,y〉│x,y ∈Z+ 且 x + 3y = 12},试给出 dom(R 。

离散数学屈婉玲第五章

离散数学屈婉玲第五章
3. 代替规则 设A为一公式,将A中某个个体变项的所有自由出现用A中 未曾出现过的个体变项符号代替,其余部分不变,设所得 公式为A,则AA.
5
实例
例1 将下面命题用两种形式符号化, 并证明两者等值x):x犯错误. x(F(x)G(x)) 或 x(F(x)G(x))
(F(b,a)F(b,b)F(b,c)) (F(c,a)F(c,b)F(c,c))
11
5.2 一阶逻辑前束范式
定义5.2 设A为一阶逻辑公式,若A具有如下形式
Q1x1Q2x2…QkxkB 则称A为前束范式,其中Qi (1 i k)为或,B为不含量词 的公式.
例如, x(F(x)G(x))
xy(F(x)(G(y)H(x,y))) 是前束范式
x(F(x,u,z)yG(x,y,z)) xy(F(x,u,z)G(x,y,z))
代替规则 辖域扩张等值式
8
实例
例3 设个体域D={a,b,c}, 消去下述公式中的量词: (1) xy(F(x)G(y))
解 xy(F(x)G(y)) (y(F(a)G(y)))(y(F(b)G(y)))(y(F(c)G(y))) ((F(a)G(a))(F(a)G(b))(F(a)G(c))) ((F(b)G(a))(F(b)G(b))(F(b)G(c))) ((F(c)G(a))(F(c)G(b))(F(c)G(c)))
例如,xF(x)xF(x), xF(x)yG(y) xF(x)yG(y) 等
第二组 (1) 消去量词等值式 设D ={a1, a2, … , an} ① xA(x) A(a1)A(a2)…A(an) ② xA(x) A(a1)A(a2)…A(an)
2
基本等值式
(2) 量词否定等值式 ① xA(x) xA(x) ② xA(x) xA(x)

2020年智慧树知道网课《离散数学(山东联盟)》课后章节测试满分答案

第一章测试
1
【单选题】(6分)
A.
B.
C.
D.
2
【单选题】(6分)
设P:我将去市里,Q:我有时间.命题“我将去市里,仅当我有时间”符号化为
A.
Q→P
B.
⌝P∨Q
C.
P↔Q
D.
P→Q
3
【单选题】(7分)
A.
B.
C.
D.
4
【单选题】(7分)
下列公式是重言式的为
A.
P∧Q↔⌝P∨Q
B.
⌝(P∨Q)↔(⌝P∧⌝Q)
C.
(B→(A∨B))↔(⌝A∧(A∨B))
D.
A∧⌝B↔A∨B
5
【单选题】(6分)
A.
永真式
B.
永假式
C.
可满足式
D.
无法确定
6
【单选题】(7分)下列表述成立的为
A.
⌝P∧⌝Q⇔P∨Q
B.
⌝A∧(A∨B)⇒B
C.
P→Q⇒Q
D.
⌝B→A⇔A→B
7
【单选题】(7分)
下列结论中不正确的是
A.
三个命题变元的布尔小项⌝P∧Q∧⌝R的编码是m010
B.
任意两个不同的布尔小项的析取式必为永真式
C.
任意两个不同的布尔大项的析取式必为永真式
D.
三个命题变元的布尔大项⌝P∨Q∨⌝R的编码是M101
8
【单选题】(7分)
A.
B.。

离散数学习题答案(耿素云屈婉玲)

离散数学习题答案习题二及答案:(P38)5、求下列公式的主析取式,并求成真赋值: (2)()()p q q r ⌝→∧∧ 解:原式()p q q r ⇔∨∧∧q r ⇔∧()p p q r ⇔⌝∨∧∧()()p q r p q r ⇔⌝∧∧∨∧∧37m m ⇔∨,此即公式的主析取式,所以成真赋值为011,111。

6、求下列公式的主合取式,并求成假赋值: (2)()()p q p r ∧∨⌝∨解:原式()()p p r p q r ⇔∨⌝∨∧⌝∨∨()p q r ⇔⌝∨∨4M ⇔,此即公式的主合取式,所以成假赋值为100。

7、求下列公式的主析取式,再用主析取式求主合取式: (1)()p q r ∧∨ 解:原式()(()())p q r r p p q 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 p q r p q r ⇔⌝∧⌝∧∨⌝∧∧∨∧⌝∧∨∧∧⌝∨∧∧13567m m m m m ⇔∨∨∨∨,此即主析取式。

主析取式中没出现的极小项为0m ,2m ,4m ,所以主合取式中含有三个极大项0M ,2M ,4M ,故原式的主合取式024M M M ⇔∧∧。

9、用真值表法求下面公式的主析取式: (1)()()p q p r ∨∨⌝∧ 解:公式的真值表如下:由真值表可以看出成真赋值的情况有7种,此7种成真赋值所对应的极小项的析取即为主析取式,故主析取式1234567m m m m m m m ⇔∨∨∨∨∨∨习题三及答案:(P52-54)11、填充下面推理证明中没有写出的推理规则。

前提:,,,p q q r r s p ⌝∨⌝∨→结论:s 证明:① p 前提引入 ② p q ⌝∨ 前提引入 ③ q ①②析取三段论 ④q r ⌝∨ 前提引入⑤ r ③④析取三段论 ⑥r s → 前提引入⑦ s ⑤⑥假言推理15、在自然推理系统P 中用附加前提法证明下面推理: (2)前提:()(),()p q r s s t u ∨→∧∨→ 结论:p u →证明:用附加前提证明法。

离散数学课后习题答案

离散数学课后习题答案离散数学课后习题答案离散数学是计算机科学中的一门重要课程,它涵盖了诸多数学概念与技巧,为计算机科学的理论基础打下了坚实的基础。

在学习离散数学的过程中,课后习题是巩固知识、提高能力的重要途径。

然而,有时候我们会遇到一些难以解答的问题,需要参考一些答案来进行思考与学习。

本文将为大家提供一些离散数学课后习题的答案,希望能对大家的学习有所帮助。

一、集合论1. 设A={1,2,3},B={2,3,4},求A∪B和A∩B的结果。

答案:A∪B={1,2,3,4},A∩B={2,3}。

2. 证明:任意集合A和B,有(A-B)∪(B-A)=(A∪B)-(A∩B)。

答案:首先,对于任意元素x,如果x属于(A-B)∪(B-A),那么x属于A-B或者x属于B-A。

如果x属于A-B,那么x属于A∪B,但x不属于A∩B;如果x属于B-A,同样有x属于A∪B,但x不属于A∩B。

所以(A-B)∪(B-A)属于(A∪B)-(A∩B)。

另一方面,对于任意元素x,如果x属于(A∪B)-(A∩B),那么x属于A∪B,但x不属于A∩B。

所以x属于A或者x属于B。

如果x属于A,但x不属于B,那么x属于A-B;如果x属于B,但x不属于A,那么x属于B-A。

所以x属于(A-B)∪(B-A)。

所以(A∪B)-(A∩B)属于(A-B)∪(B-A)。

综上所述,(A-B)∪(B-A)=(A∪B)-(A∩B)。

证毕。

二、逻辑与证明1. 证明:如果p为真命题,那么¬p为假命题。

答案:根据命题的定义,命题要么为真,要么为假,不存在其他情况。

所以如果p为真命题,那么¬p为假命题。

2. 证明:对于任意整数n,如果n^2为偶数,则n为偶数。

答案:假设n为奇数,即n=2k+1(k为整数)。

那么n^2=(2k+1)^2=4k^2+4k+1=2(2k^2+2k)+1。

根据偶数的定义,2(2k^2+2k)为偶数,所以n^2为奇数。

离散数学-第5章-3、4

5.6 Planar Graphs and Graph Coloring 平面图与着 色
5.7 Trees 树
4
5.3 Representing Graphs and Graph Isomorphism
Representing Graphs 图的表示
Methods for representing graphs: Adjacency lists 邻接表 -- lists that specify all the vertices that are adjacent to each vertex该表规定与图的每个顶点邻接的顶点 Adjacency matrice 邻接矩阵 Incidence matrices 关联矩阵
〖Example 3〗 What is the adjacency matrix AG for the following graph G based on the order of vertices a, b, c, d ? a
b d
c
Solution:
13 2021/1/20
0 0 1 0
AG
1 0
……
……
an1 an2 … ann
an1 an2 … ann
=(bij)n×n
bij表示vi两步到达vj的路径数目
(4) 有向图中:C=AAT。
C= (cij)=
a11 a12 … a1n
a11 a21 … an1
× a21 a22 … a2n
a12 a22 … an2
……
……
an1 an2 … ann
dij=∑αik αjk
vk
dij表示以vi,vj为终点的始点数目。
vi
  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。

离散数学第五章答案 【篇一:3~离散数学习题解答(第五章)格与布尔代数5】 题五(第五章 格与布尔代数) 1.设〈l,?〉是半序集,?是l上的整除关系。问当l取下列集合时,〈l,?〉是否是格。 a) l={1,2,3,4,6,12} b) l={1,2,3,4,6,8,12} c) l={1,2,3,4,5,6,8,9,10} [解] a) 〈l,?〉是格,因为l中任两个元素都有上、下确界。 6 3 1 b) 〈l,?〉不是格。因为l中存在着两个元素没有上确界。 例如:8?12=lub{8,12}不存在。 12 6 3 1 c) 〈l,?〉不是格。因为l中存在着两个元素没有上确界。 倒例如:4?6=lub{4,6}不存在。 7 1 2.设a,b是两个集合,f是从a到b的映射。证明:〈s,?〉是〈2b,?〉的子格。其中 s={y|y=f (x),x∈2a} [证] 对于任何b1∈s,存在着a1∈2a,使b1=f(a1),由于f(a1)={y|y∈b∧(?x)(x∈a1∧f (x)=y)} ?b 所以b1∈2b,故此s?2b;又b0=f (a)∈s (因为a∈2a),所以s非空; 对于任何b1,b2∈s,存在着a1,a2∈2a,使得b1=f (a1),b2=f (a2),从而 l∪b{b1,b2}=b1∪b2=f (a1)f (a2) =f (a1∪a2) (习题三的8的1)) 由于a1∪a2?a,即a1∪a2∈2a,因此f (a1∪a2)∈s,即上确界l∪b{b1,b2}存在。 对于任何b1,b2∈s,定义a1=f –1(b1)={x|x∈a∧f (x)∈b1},a2=f-1(b2)={x|x∈a∧f (x)∈b2},则a1,a2∈2a,且显然b1=f (a1),b2=f (a2),于是 glb{b1,b2}=b1∩b2=f (a1)∩f (a2) ?f (a1∩a2) (习题三的8的2)) 又若y∈b1∩b2,则y∈b,且y∈b2。由于y∈b1=f (a1)={y|y∈b∧(?x)(x∈a1∧f (x)=y)},于是存在着x∈a1,使f (x)=y,但是f (x)=y∈b2。故此x∈a2=f-1(b2)={x|x∈a∧f(x)∈b2},因此x∈a1∩a2,从而y=f (x)∈f (a1∩a2),所以 glb{b1,b2}=b1∩b2=f (a1)∩f (a2) ?f (a1∩a2) 这说明 glb{b1,b2}=b1∩b2=f (a1)∩f (a2)=f (a1∩a2)于是从a1∩a2∈2a可知f (a1∩a2)∈s,即下确界glb{b1,b2}存在。 因此,〈s,?〉是〈2b,?〉的子格。 3.设〈l,?〉是格,任取a,b∈l且a?b。证明〈b,?〉是格。其中 b={x|x∈l 且 a?x?b} [证] 显然b?l;根据自反性及a?b?b 所以a,b∈b,故此b非空; 对于任何x,y∈b,则有a?x?b及a?y?b,由于x,y∈l,故有z1=x?y为下确界∈l存在。我们只需证明z1,z2∈b即可,证明方法有二,方法一为: 由于 a?x,所以a?x=x,于是 z1=x?y =(a?x) ?y (利用a?x=x) =a? (x?y) (由?运算结合律) 因此a?z1;另一方面,由y?b可知y?b=b,由x?b可知x?b=b,于是 z1?b=(x?y) ?b =x?(y?b)(由?运算结合律) =x?b (利用y?b=b) =b (利用x?b=b) 因此 z1?b,即 a?z1?b所以z1∈b 由于a?x及a?y,所以a*x=a,a*y=a,因而 a*z2=a* (x*y) =(a*x) *y (由*运算结合律) =a*y(利用a*x=a) =a (利用a*y=a) 因而a?z2;又由于y?b,所以y*b=y 于是 z2=x*y =x* (y*b) =(x*y) *b (利用*运算结合律) =z2*b 从而z2?b,即a?z2?b所以z2∈b 因此〈b,?〉是格(是格〈l,?〉的子格)。 方法二:根据上、下确界性质,由a?x,a?y,可得a?x*y,(见附页数) 4.设〈l,?,*,?〉是格。?a,b∈l,证明:(附页) a?x??y,即a?z2,a? 又由x?b,y?b,可得x?y?b,x*y?y?b,即z1?b,z2?b 所以a?z1?b,a?z2?b,故此z1,z2∈b a*b?a且a*b?b?a与b是不可比较的。 [证] 先证? 用反证法,假设a与b是可比较的,于是有a?b或者b?a。 当a?b时,a*b=a与a*b?a(得a*b≠a)矛盾; 当b?a时,a*b=b与a*b?b(得a*b≠b)矛盾; 因此假设错误,a与b是不可比较的。 次证? 由于a*b?a,a*b?b。如果a*b?a,则a?b,与a和b不可比较的已知条件矛盾,所以a*b≠a,故此a*b?a;如果a*b=b,则b?a,也与a和b不可比较的已知条件矛盾,所以a*b≠b,故此可得a*b?b。 5.设〈l,?,*,?〉是格。证明: a) (a*b) ? (c*d)?(a? c) * (b? d) b) (a*b) ? (b*c)?(c ? a)?(a?b) * (b?c) * (c?a) [证] a) 方法一,根据上、下确界的性质,由 a*b?a?a?c及a*b?b?b?d 所以得到 a*b?(a?c) * (b?d) 又由 c*d?c?a?c及c*d?d?b?d,所以得到 c*d?(a?c) * (b?d) 因此(a*b) ? (c*d) ? (a?c) * (b?d) 方法二 (a*b) ? (c*d) ?[(a?c) * (a?d)] * [(a?c) * (b?d)] (分配不等式,交换律,结合律,保序性) ?(a?c) * (b?d)(保序性) b) 方法一,根据上、下确界的性质 由a*b?a?a?b,a*b?b?b?c,a*b?a?c?a可得 a*b?(a?b) * (b?c) * (c?a) 同理可得 b*c?(a?b) * (b?c) * (c?a) 及 c*a?(a?b) * (b?c) * (c?a) 所以 (a?b) ? (b?c) ? (c?a)?(a?b) * (b?c) * (c?a) 方法二:(a?b) ? (b?c) ? (c?a) ?[b* (a?c)] ? (c*a) (交换律,结合律,分配不等式,保序性) ?[b? (c*a)] * [(a?c) ? (c*a)](分配不等式,交换律,) ?[(a?b) * (b?c)] * (a?c)(分配不等式,结合律,交换律,吸收律,保序性) ?(a?b) * (b?c) * (c?a) (结合律) 6.设i是整数集合。证明:〈i,min,max〉是分配格。 [证] 由于整数集合i是全序集,所以任何两个整数的最小者和最大者是存在的,因此〈i,min,max〉 是格是显然的。 下面我们来证〈i,min,max〉满足分配律 对于任何a,b,c∈i 有 a* (b?c)=min{a,max{b,c}} (a*b) ? (a*c)=min{min{a,b},min{a,c}} (1)若b≤c时,当 (a) a≤b,则a≤c ,故此 min{a,max{b,c}}=min{a,c}=a max{min{a,b},min{a,c}}=max{a,a}=a (b)b≤a≤c ,则 min{a,max{b,c}}=min{a,c}=a max{min{a,b},min{a,c}}=max{b,a}=a (c)c≤a,则b≤a,因此 min{a,max{b,c}}=min{a,c}=c max{min{a,b},min{a,c}}=max{b,a}=c (2)若c≤b时,当 (a)a≤c,则a≤b,故此 min{a,max{b,c}}=min{a,b} max{min{a,b},min{a,c}}=min{a,a}=a (b)c≤a≤b,则 min{a,max{b,c}}=min{a,b}=a max{min{a,b},min{a,c}}=max{a,c}=a (c)b≤a,则c≤a,因此 min{a,max{b,c}}=min{a,b}=b max{min{a,b}},min{a,c}}=max{b,c}=b 综合(1)(2)总有 a* (b?c)=(a?b) * (a? c) 【篇二:离散数学习题解答(第五章)格与布尔代数】

题五(第五章 格与布尔代数) 1.设〈l,?〉是半序集,?是l上的整除关系。问当l取下列集合时,〈l,?〉是否是格。 a) l={1,2,3,4,6,12} b) l={1,2,3,4,6,8,12} c) l={1,2,3,4,5,6,8,9,10} [解] a) 〈l,?〉是格,因为l中任两个元素都有上、下确界。 6 3 1 b) 〈l,?〉不是格。因为l中存在着两个元素没有上确界。 例如:8?12=lub{8,12}不存在。 12 6 3 1 c) 〈l,?〉不是格。因为l中存在着两个元素没有上确界。 倒例如:4?6=lub{4,6}不存在。 7 1 2.设a,b是两个集合,f是从a到b的映射。证明:〈s,?〉是〈2b,?〉的子 格。其中 s={y|y=f (x),x∈2a} [证] 对于任何b1∈s,存在着a1∈2a,使b1=f(a1),由于f(a1)={y|y∈b∧(?x)(x∈ a1∧f (x)=y)}?b 所以b1∈2b,故此s?2b;又b0=f (a)∈s (因为a∈2a),所以s非空; 对于任何b1,b2∈s,存在着a1,a2∈2a,使得b1=f (a1),b2=f (a2),从而

相关文档
最新文档