离散数学第10章习题答案

合集下载

离散数学(第三版)陈建明-刘国荣课后习题答案

离散数学(第三版)陈建明-刘国荣课后习题答案

离散数学辅助教材概念分析结构思想与推理证明第一部分集合论刘国荣交大电信学院计算机系离散数学习题解答习题一(第一章集合)1. 列出下述集合的全部元素:1)A={x | x ∈N∧x是偶数∧x<15}2)B={x|x∈N∧4+x=3}3)C={x|x是十进制的数字}[解] 1)A={2,4,6,8,10,12,14}2)B=3)C={0,1,2,3,4,5,6,7,8,9}2. 用谓词法表示下列集合:1){奇整数集合}2){小于7的非负整数集合}3){3,5,7,11,13,17,19,23,29}[解] 1){n n I(m I)(n=2m+1)};2){n n I n0n<7};3){p p N p>2p<30(d N)(d1d p(k N)(p=k d))}。

3. 确定下列各命题的真假性:1)2)∈3){}4)∈{}5){a,b}{a,b,c,{a,b,c}}6){a,b}∈(a,b,c,{a,b,c})7){a,b}{a,b,{{a,b,}}}8){a,b}∈{a,b,{{a,b,}}}[解]1)真。

因为空集是任意集合的子集;2)假。

因为空集不含任何元素;3)真。

因为空集是任意集合的子集;4)真。

因为是集合{}的元素;5)真。

因为{a,b}是集合{a,b,c,{a,b,c}}的子集;6)假。

因为{a,b}不是集合{a,b,c,{a,b,c}}的元素;7)真。

因为{a,b}是集合{a,b,{{a,b}}}的子集;8)假。

因为{a,b}不是集合{a,b,{{a,b}}}的元素。

4. 对任意集合A,B,C,确定下列命题的真假性:1)如果A∈B∧B∈C,则A∈C。

2)如果A∈B∧B∈C,则A∈C。

3)如果A B∧B∈C,则A∈C。

[解] 1)假。

例如A={a},B={a,b},C={{a},{b}},从而A∈B∧B∈C但A∈C。

2)假。

例如A={a},B={a,{a}},C={{a},{{a}}},从而A∈B∧B∈C,但、A∈C。

离散数学课后习题答案

离散数学课后习题答案

1-1,1-2(1) 解:a) 是命题,真值为T。

b) 不是命题。

c) 是命题,真值要根据具体情况确定。

d) 不是命题。

e) 是命题,真值为T。

f) 是命题,真值为T。

g) 是命题,真值为F。

h) 不是命题。

i) 不是命题。

(2) 解:原子命题:我爱北京天安门。

A(3) 解:a) (┓P ∧R)→Qb) Q→Rc) ┓Pd) P→┓Q(4) 解:a)设Q:我将去参加舞会。

R:我有时间。

P:天下雨。

Q (R∧┓P):我将去参加舞会当且仅当我有时间和天不下雨。

b)设R:我在看电视。

Q:我在吃苹果。

R∧Q:我在看电视边吃苹果。

c) 设Q:一个数是奇数。

R:一个数不能被2除。

(Q→R)∧(R→Q):一个数是奇数,则它不能被2整除并且一个数不能被2整除,则它是奇数。

(5) 解:a) 设P:王强身体很好。

Q:王强成绩很好。

P∧Qb) 设P:小李看书。

Q:小李听音乐。

P∧Qc) 设P:气候很好。

Q:气候很热。

P∨Qd) 设P: a和b是偶数。

Q:a+b是偶数。

P→Qe) 设P:四边形ABCD是平行四边形。

Q :四边形ABCD的对边平行。

PQf) 设P:语法错误。

Q:程序错误。

R:停机。

(P∨ Q)→ R(6) 解:a) P:天气炎热。

Q:正在下雨。

P∧Qb) P:天气炎热。

R:湿度较低。

P∧Rc) R:天正在下雨。

S:湿度很高。

R∨Sd) A:刘英上山。

B:李进上山。

A∧Be) M:老王是革新者。

N:小李是革新者。

M∨Nf) L:你看电影。

M:我看电影。

┓L→┓Mg) P:我不看电视。

Q:我不外出。

R:我在睡觉。

P∧Q∧Rh) P:控制台打字机作输入设备。

Q:控制台打字机作输出设备。

P∧Q1-3(1)解:a) 不是合式公式,没有规定运算符次序(若规定运算符次序后亦可作为合式公式)b) 是合式公式c) 不是合式公式(括弧不配对)d) 不是合式公式(R和S之间缺少联结词)e) 是合式公式。

(2)解:a) A是合式公式,(A∨B)是合式公式,(A→(A∨B)) 是合式公式。

(完整版)离散数学答案屈婉玲版第二版高等教育出版社课后答案

(完整版)离散数学答案屈婉玲版第二版高等教育出版社课后答案
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) 前提引入
离散数学答案 屈婉玲版
第二版 高等教育出版社课后答案
第一章部分课后习题参考答案
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
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 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))

离散数学答案屈婉玲版第二版高等教育出版社课后答案

离散数学答案屈婉玲版第二版高等教育出版社课后答案

离散数学答案屈婉玲版第二版高等教育出版社课后答案第一章部分课后习题参考答案16 设p、q的真值为0;r、s的真值为1,求下列各命题公式的真值;1p∨q∧r⇔0∨0∧1 ⇔02pr∧﹁q∨s ⇔01∧1∨1 ⇔0∧1⇔0.3⌝p∧⌝q∧rp∧q∧﹁r ⇔1∧1∧1 0∧0∧0⇔04⌝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.用真值表判断下列公式的类型:4p→q →⌝q→⌝p5p∧r ↔⌝p∧⌝q6p→q ∧q→r →p→r答: 4p q p→q ⌝q ⌝p ⌝q→⌝p p→q→⌝q→⌝p0 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→q2p→p∨q∨p→r3p∨q→p∧r答:2p→p∨q∨p→r⇔⌝p∨p∨q∨⌝p∨r⇔⌝p∨p∨q∨r⇔1所以公式类型为永真式3P q r p∨q p∧r p∨q→p∧r0 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.用等值演算法证明下面等值式:2p→q∧p→r⇔p→q∧r4p∧⌝q∨⌝p∧q⇔p∨q ∧⌝p∧q证明2p→q∧p→r⇔⌝p∨q∧⌝p∨r⇔⌝p∨q∧r⇔p→q∧r4p∧⌝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∧q5.求下列公式的主析取范式与主合取范式,并求成真赋值1⌝p→q→⌝q∨p2⌝p→q∧q∧r3p∨q∧r→p∨q∨r解:1主析取范式⌝p→q→⌝q∨p⇔⌝p∨∨⌝∨p⇔⌝p∧⌝∨⌝∨p⇔⌝p∧⌝∨⌝∧p∨⌝q∧⌝p∨p∧q∨p∧⌝q⇔⌝p∧⌝q∨p∧⌝q∨p∧q⇔∑0,2,3主合取范式:⌝p→q→⌝q∨p⇔⌝p∨∨⌝∨p⇔⌝p∧⌝∨⌝∨p⇔⌝p∨⌝q∨p∧⌝∨⌝∨p⇔1∧p∨⌝q⇔p∨⌝q ⇔ M1⇔∏12 主合取范式为:⌝p→∧∧r⇔⌝⌝p∨∧∧r⇔p∧⌝∧∧r⇔0所以该式为矛盾式.主合取范式为∏0,1,2,3,4,5,6,7矛盾式的主析取范式为 03主合取范式为: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结论:⌝p4前提:q→p,q↔s,s↔t,t∧r结论:p∧q证明:2①⌝q∧r 前提引入②⌝q∨⌝r ①置换③q→⌝r ②蕴含等值式④r 前提引入⑤⌝q ③④拒取式⑥p→q 前提引入⑦¬p3 ⑤⑥拒取式证明4:①t∧r 前提引入②t ①化简律③q↔s 前提引入④s↔t 前提引入⑤q↔t ③④等价三段论⑥q→t∧t→q ⑤置换⑦q→t ⑥化简⑧q ②⑥假言推理⑨q→p 前提引入⑩p ⑧⑨假言推理11p∧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,均有x2−2=x+√2x−√2.2 存在x,使得x+5=9.其中a个体域为自然数集合.b个体域为实数集合.解:Fx: x2−2=x+√2x−√2.Gx: x+5=9.1在两个个体域中都解释为)∀,在a中为假命题,在b中为真命题;(xxF2在两个个体域中都解释为)(x∃,在ab中均为真命题;xG4. 在一阶逻辑中将下列命题符号化:1 没有不能表示成分数的有理数.2 在北京卖菜的人不全是外地人.解:1Fx: x能表示成分数Hx: x是有理数命题符号化为: ))x∧F⌝∃x⌝(x()(H2Fx: x是北京卖菜的人Hx: x是外地人命题符号化为: ))F⌝∀xx→(x(H)(5. 在一阶逻辑将下列命题符号化:1 火车都比轮船快.3 不存在比所有火车都快的汽车.解:1Fx: x是火车; Gx: x是轮船; Hx,y: x比y快命题符号化为: ))FyxGy∀∀∧x→))((,H)x((y(2 1Fx: x是火车; Gx: x是汽车; Hx,y: x比y快命题符号化为: )))xFxyG∧∀y→⌝∃H)(,(((y()x9.给定解释I如下:a 个体域D为实数集合R.b D中特定元素a ̅=0.c 特定函数f x,y=x−y,x,y D∈.d 特定谓词F̅x,y:x=y,G̅x,y:x<y,x,y D∈.说明下列公式在I下的含义,并指出各公式的真值:答:1 对于任意两个实数x,y,如果x<y, 那么x≠y. 真值1.2 对于任意两个实数x,y,如果x-y=0, 那么x<y. 真值0.10. 给定解释I如下:a 个体域D=NN为自然数集合.b D中特定元素a̅=2.c D上函数f(x,y)=x+y,g̅x,y=xy.d D上谓词F̅x,y:x=y.说明下列各式在I下的含义,并讨论其真值.(1)xFgx,a,x(2)xyFfx,a,y→Ffy,a,x答:1 对于任意自然数x, 都有2x=x, 真值0.2 对于任意两个自然数x,y,使得如果x+2=y, 那么y+2=x. 真值0.11. 判断下列各式的类型:1 F(x,y)→(G(x,y)→F(x,y)).3 xyF(x,y)→x yFx,y.解:1因为1→pq⇔qp为永真式;pp→⌝()(⇔)∨⌝∨所以F(x,y)→(G(x,y)→F(x,y)).为永真式;3取解释I个体域为全体实数Fx,y:x+y=5所以,前件为任意实数x存在实数y使x+y=5,前件真;后件为存在实数x对任意实数y都有x+y=5,后件假,此时为假命题再取解释I个体域为自然数N,Fx,y::x+y=5所以,前件为任意自然数x存在自然数y使x+y=5,前件假;此时为假命题;此公式为非永真式的可满足式;13. 给定下列各公式一个成真的解释,一个成假的解释;1 x Fx∨G(x))2 xFx∧Gx∧Hx解:1个体域:本班同学Fx:x会吃饭, Gx:x会睡觉.成真解释Fx:x是泰安人,Gx:x是济南人.2成假解释2个体域:泰山学院的学生Fx :x 出生在山东,Gx:x 出生在北京,Hx:x 出生在江苏,成假解释. Fx :x 会吃饭,Gx :x 会睡觉,Hx :x 会呼吸. 成真解释.第五章部分课后习题参考答案5.给定解释I如下:a 个体域D={3,4};b )(x f f 为3)4(,4)3(==f f c 1)3,4()4,3(,0)4,4()3,3(),(====F F F F y x F 为. 试求下列公式在I下的真值. 1),(y x yF x ∃∀3)))(),((),((y f x f F y x F y x →∀∀ 解:1 ))4,()3,((),(x F x F x y x yF x ∨∀⇔∃∀2 )))(),((),((y f x f F y x F y x →∀∀ 12.求下列各式的前束范式;1),()(y x yG x xF ∀→∀5)),()((),(2121211x x G x x H x x F x ⌝∃→→∃ 本题课本上有错误 解:1 ),()(y x yG x xF ∀→∀),()(y t yG x xF ∀→∀⇔)),()((y t G x F y x →∀∃⇔ 5 )),()((),(2121211x x G x x H x x F x ⌝∃→→∃ 15.在自然数推理系统F 中,构造下面推理的证明:(1) 前提: ))())()((()(y R y G y F y x xF →∨∀→∃,)(x xF ∃结论: ∃xRx(2) 前提: ∀xFx →Ga ∧Rx, xFx结论:xFx ∧Rx 证明1①)(x xF ∃ 前提引入 ②Fc ①EI③))())()((()(y R y G y F y x xF →∨∀→∃ 前提引入 ④))())()(((y R y G y F y →∨∀ ①③假言推理 ⑤Fc ∨Gc →Rc ④UI⑥Fc ∨Gc ②附加 ⑦Rc ⑤⑥假言推理 ⑧∃xRx ⑦EG 2①∃xFx 前提引入 ②Fc ①EI③∀xFx →Ga ∧Rx 前提引入 ④Fc →Ga ∧Rc ③UI⑤Ga ∧Rc ②④假言推理 ⑥Rc ⑤化简 ⑦Fc ∧Rc ②⑥合取引入 ⑧∃xFx ∧Rx ⑦EG第六章部分课后习题参考答案5.确定下列命题是否为真: 1∅⊆∅ 真 2∅∈∅ 假 3}{∅⊆∅ 真 4}{∅∈∅ 真 5{a,b }⊆{a,b,c,{a,b,c }} 真 6{a,b }∈{a,b,c,{a,b }} 真 7{a,b }⊆{a,b,{{a,b }}} 真 8{a,b }∈{a,b,{{a,b }}} 假6.设a,b,c 各不相同,判断下述等式中哪个等式为真: 1{{a,b },c,∅}={{a,b },c } 假2{a ,b,a }={a,b } 真 3{{a },{b}}={{a,b }} 假 4{∅,{∅},a,b }={{∅,{∅}},a,b } 假 8.求下列集合的幂集:1{a,b,c } PA={ ∅,{a},{b},{c},{a,b},{a,c},{b,c},{a,b,c}}2{1,{2,3}}PA={ ∅, {1}, {{2,3}}, {1,{2,3}} }3{∅}PA={ ∅, {∅} }4{∅,{∅}}PA={ ∅, {1}, {{2,3}}, {1,{2,3}} }14.化简下列集合表达式:1A B B -A B2A B C-B C A解:1A B B -A B=A B B ~A B=A B ~A B B=∅ B=∅2A B C-B C A=A B C ~B C A=A ~B C B C ~B C A=A ~B C ∅ A=A ~B C A=A18.某班有25个学生,其中14人会打篮球,12人会打排球,6人会打篮球和排球,5人会打篮球和网球,还有2人会打这三种球;已知6个会打网球的人都会打篮球或排球;求不会打球的人数;解: 阿A={会打篮球的人},B={会打排球的人},C={会打网球的人}|A|=14, |B|=12, |A B|=6,|A C|=5,| A B C|=2,|C|=6,C⊆A B如图所示;25-5+4+2+3-5-1=25-14-5-1=5不会打球的人共5人21.设集合A={{1,2},{2,3},{1,3},{∅}},计算下列表达式:1 A2 A3 A4 A解:1 A={1,2} {2,3} {1,3} {∅}={1,2,3,∅}2 A={1,2} {2,3} {1,3} {∅}=∅3 A=1 2 3 ∅=∅4 A=∅27、设A,B,C是任意集合,证明1A-B-C=A- B⋃C2A-B-C=A-C-B-C证明1 A-B-C=A ~B ~C= A ~B ~C= A ~B⋃C =A- B⋃C2 A-C-B-C=A ~C ~B ~C= A ~C ~B C=A ~C ~B A ~C C= A ~C ~B ∅= A ~B⋃C =A- B⋃C 由1得证;第七章部分课后习题参考答案7.列出集合A={2,3,4}上的恒等关系I A,全域关系E A,小于或等于关系L A,整除关系D A. 解:I={<2,2>,<3,3>,<4,4>}A={<2,2>,<2,3>,<2,4>,<3,4>,<4,4>,<3,2>,<3,3>,<4,2>,<4,3>}EA={<2,2>,<2,3>,<2,4>,<3,3>,<3,4>,<4,4>}LAD={<2,4>}A13.设A={<1,2>,<2,4>,<3,3>}B={<1,3>,<2,4>,<4,2>}求A⋃B,A⋂B, domA, domB, domA⋃B, ranA, ranB, ranA⋂B , fldA-B.解:A⋃B={<1,2>,<2,4>,<3,3>,<1,3>,<4,2>}A⋂B={<2,4>}domA={1,2,3}domB={1,2,4}domA∨B={1,2,3,4}ranA={2,3,4}ranB={2,3,4}ranA⋂B={4}A-B={<1,2>,<3,3>},fldA-B={1,2,3}14.设R={<0,1><0,2>,<0,3>,<1,2>,<1,3>,<2,3>}求R R, R-1, R↑{0,1,}, R{1,2}解:R R={<0,2>,<0,3>,<1,3>}R -1,={<1,0>,<2,0>,<3,0>,<2,1>,<3,1>,<3,2>}R ↑{0,1}={<0,1>,<0,2>,<0,3>,<1,2>,<1,3>}R{1,2}=ranR|{1,2}={2,3}16.设A={a,b,c,d},1R ,2R 为A 上的关系,其中1R ={},,,,,a a a b b d求23122112,,,R R R R R R ;解: R 1 R 2={<a,d>,<a,c>,<a,d>}R 2 R 1={<c,d>}R 12=R 1 R 1={<a,a>,<a,b>,<a,d>}R 22=R 2 R 2={<b,b>,<c,c>,<c,d>}R 23=R 2 R 22={<b,c>,<c,b>,<b,d>}36.设A={1,2,3,4},在A ⨯A 上定义二元关系R,∀<u,v>,<x,y>∈A ⨯A ,〈u,v> R <x,y>⇔u + y = x + v.(1)证明R 是A ⨯A 上的等价关系.2确定由R 引起的对A ⨯A 的划分.1证明:∵<u,v>R<x,y> ⇔u+y=x-y∴<u,v>R<x,y>⇔u-v=x-y∀<u,v>∈A ⨯A∵u-v=u-v∴<u,v>R<u,v>∴R 是自反的任意的<u,v>,<x,y>∈A ×A如果<u,v>R<x,y> ,那么u-v=x-y∴x-y=u-v ∴<x,y>R<u,v>∴R 是对称的任意的<u,v>,<x,y>,<a,b>∈A ×A若<u,v>R<x,y>,<x,y>R<a,b>则u-v=x-y,x-y=a-b∴u-v=a-b ∴<u,v>R<a,b>∴R是传递的∴R是A×A上的等价关系2 ∏={{<1,1>,<2,2>,<3,3>,<4,4>}, {<2,1>,<3,2>,<4,3>}, {<3,1>,<4,2>},{<4,1>}, {<1,2>,<2,3>,<3,4>}, {<1,3>,<2,4>}, {<1,4>} }41.设A={1,2,3,4},R为A⨯A上的二元关系, ∀〈a,b〉,〈c,d〉∈A⨯A ,〈a,b〉R〈c,d〉⇔a + b = c + d(1)证明R为等价关系.(2)求R导出的划分.1证明:∀<a,b〉∈A⨯Aa+b=a+b∴<a,b>R<a,b>∴R是自反的任意的<a,b>,<c,d>∈A×A设<a,b>R<c,d>,则a+b=c+d∴c+d=a+b ∴<c,d>R<a,b>∴R是对称的任意的<a,b>,<c,d>,<x,y>∈A×A若<a,b>R<c,d>,<c,d>R<x,y>则a+b=c+d,c+d=x+y∴a+b=x+y ∴<a,b>R<x,y>∴R是传递的∴R是 A×A上的等价关系2∏={{<1,1>}, {<1,2>,<2,1>}, {<1,3>,<2,2>,<3,1>}, {<1,4>,<4,1>,<2,3>,<3,2>}, {<2,4>,<4,2>,<3,3>}, {<3,4>,<4,3>}, {<4,4>}}43. 对于下列集合与整除关系画出哈斯图:1 {1,2,3,4,6,8,12,24}2 {1,2,3,4,5,6,7,8,9,10,11,12}解:1 245.下图是两个偏序集<A,R >的哈斯图.分别写出集合A 和偏序关系R 的集合表达式.a b解: aA={a,b,c,d,e,f,g}R ={<a,b>,<a,c>,<a,d>,<a,e>,<a,f>,<a,g>,<b,d>,<b,e>,<c,f>,<c,g>}A I ⋃ b A={a,b,c,d,e,f,g} R ={<a,b>,<a,c>,<a,d>,<a,e>,<a,f>,<d,f>,<e,f>}A I ⋃46.分别画出下列各偏序集<A,R >的哈斯图,并找出A 的极大元`极小元`最大元和最小元.1A={a,b,c,d,e} R ={<a,d>,<a,c>,<a,b>,<a,e>,<b,e>,<c,e>,<d,e>}⋃I A . 2A={a,b,c,d,e}, R ={<c,d>}⋃IA.解:1 2项目 1 2极大元: e a,b,d,e极小元: a a,b,c,e最大元: e 无最小元: a 无第八章部分课后习题参考答案1.设f :N →N,且f x=12x x x ⎧⎪⎨⎪⎩,若为奇数若为偶数, 求f 0, f {0}, f 1, f {1}, f {0,2,4,6,…},f {4,6,8}, f -1{3,5,7}.解:f 0=0, f {0}={0}, f 1=1, f {1}={1},f {0,2,4,6,…}=N,f {4,6,8}={2,3,4}, f -1 {3,5,7}={6,10,14}.4. 判断下列函数中哪些是满射的哪些是单射的哪些是双射的1 f:N →N, fx=x 2+2 不是满射,不是单射2 f:N →N,fx=xmod 3,x 除以3的余数 不是满射,不是单射3 f:N →N,fx=10x x ⎧⎨⎩,若为奇数,若为偶数不是满射,不是单射 4 f:N →{0,1},fx=01x x ⎧⎨⎩,若为奇数,若为偶数是满射,不是单射 5 f:N-{0}→R,fx=lgx 不是满射,是单射6 f:R →R,fx=x 2-2x-15 不是满射,不是单射5. 设X={a,b,c,d},Y={1,2,3},f={<a,1>,<b,2>,<c,3>,}判断以下命题的真假:1f 是从X 到Y 的二元关系,但不是从X 到Y 的函数; 对2f 是从X 到Y 的函数,但不是满射,也不是单射的; 错3f 是从X 到Y 的满射,但不是单射; 错4f 是从X 到Y 的双射. 错第十章部分课后习题参考答案4.判断下列集合对所给的二元运算是否封闭:(1) 整数集合Z 和普通的减法运算;封闭,不满足交换律和结合律,无零元和单位元(2) 非零整数集合Z ∗和普通的除法运算;不封闭(3) 全体n n ⨯实矩阵集合M n R 和矩阵加法及乘法运算,其中n ≥2;封闭 均满足交换律,结合律,乘法对加法满足分配律;加法单位元是零矩阵,无零元;乘法单位元是单位矩阵,零元是零矩阵;4全体n n ⨯实可逆矩阵集合关于矩阵加法及乘法运算,其中n ≥2;不封闭5正实数集合R +和 ° 运算,其中 ° 运算定义为:a ,b ∈R +,a ° b = ab −a −b不封闭 因为 +∉-=--⨯=R 11111116n ∈Z +,nZ ={nz | z ∈ Z }.nZ 关于普通的加法和乘法运算;封闭,均满足交换律,结合律,乘法对加法满足分配律加法单位元是0,无零元;乘法无单位元1>n ,零元是0;1=n 单位元是17A = {},,,21n a a a n ≥2.° 运算定义如下:a ,b ∈ A ,a ° b = b封闭 不满足交换律,满足结合律,8S = {2x −1|x ∈Z +}关于普通的加法和乘法运算;封闭 均满足交换律,结合律,乘法对加法满足分配律9S = {0,1},S 是关于普通的加法和乘法运算;加法不封闭,乘法封闭;乘法满足交换律,结合律10S = {x | x =2n ,n ∈Z +} ,S 关于普通的加法和乘法运算;加法不封闭,乘法封闭,乘法满足交换律,结合律5.对于上题中封闭的二元运算判断是否适合交换律,结合律,分配律;见上题7.设 为+Z 上的二元运算+∈∀Z y x ,,X Y = min x,y ,即x 和y 之中较小的数.(1)求4 6,7 3;4, 32 在+Z 上是否适合交换律,结合律,和幂等律满足交换律,结合律,和幂等律3求运算的单位元,零元及+Z 中所有可逆元素的逆元;单位元无,零元1, 所有元素无逆元8.Q Q S ⨯= Q 为有理数集,为S 上的二元运算,<a,b>,<x,y > ∈ S 有< a,b ><x,y> = <ax,ay + b>1运算在S 上是否可交换,可结合是否为幂等的不可交换:<x,y><a,b >= <xa,xb +y>≠< a,b ><x,y>可结合:<a,b ><x,y><c,d>=<ax,ay + b><c,d>=<axc,axd +ay+b ><a,b ><x,y><c,d>=<a, b><xc,xd+y>=<axc,axd +y+b ><a,b ><x,y><c,d>=<a,b ><x,y><c,d>不是幂等的2运算是否有单位元,零元 如果有请指出,并求S 中所有可逆元素的逆元;设<a,b>是单位元,<x,y > ∈ S ,<a,b ><x,y>= <x,y><a,b >=<x,y>则<ax,ay+b>=<xa,xb+y>=<x,y>,解的<a,b>=<1,0>,即为单位;设<a,b>是零元,<x,y > ∈ S ,<a,b ><x,y>= <x,y><a,b >=<a,b>则<ax,ay+b>=<xa,xb+y>=<a,b>,无解;即无零元;<x,y > ∈ S,设<a,b>是它的逆元<a,b ><x,y>= <x,y><a,b >=<1,0><ax,ay+b>=<xa,xb+y>=<1,0>a=1/x,b=-y/x所以当x ≠0时,x y x y x -=><-,1,1 10.令S={a,b},S 上有四个运算:,°,和□分别有表确定; a b c d1这4个运算中哪些运算满足交换律,结合律,幂等律a 交换律,结合律,幂等律都满足, 零元为a,没有单位元;b 满足交换律和结合律,不满足幂等律,单位元为a,没有零元c 满足交换律,不满足幂等律,不满足结合律没有单位元, 没有零元d 不满足交换律,满足结合律和幂等律没有单位元, 没有零元(2)求每个运算的单位元,零元以及每一个可逆元素的逆元;见上16.设V=〈 N,+ , 〉,其中+ ,分别代表普通加法与乘法,对下面给定的每个集合确定它是否构成V 的子代数,为什么1S 1={2n | n ∈Z } 是2S 2={2n +1 | n ∈Z } 不是 加法不封闭3S 3 = {-1,0,1} 不是,加法不封闭第十一章部分课后习题参考答案8.设S={0,1,2,3},为模4乘法,即"∀x,y ∈S, xy=xymod 4 问〈S,〉是否构成群为什么解:1 ∀x,y ∈S, xy=xymod 4S ∈,是S 上的代数运算; 2 ∀x,y,z ∈S,设xy=4k+r 30≤≤rx y z =xymod 4z=r z=rzmod 4=4kz+rzmod 4=4k+rzmod 4 =xyzmod 4同理x y z =xyzmod 4所以,x y z = x y z,结合律成立; 3 ∀x ∈S, x 1=1x=x,,所以1是单位元;4,33,1111==-- 0和2没有逆元所以,〈S,〉不构成群9.设Z 为整数集合,在Z 上定义二元运算;如下:" ∀x,y ∈Z,xoy= x+y-2问Z 关于o 运算能否构成群为什么解:1 ∀x,y ∈Z, xoy= x+y-2Z ∈,o 是Z 上的代数运算;2 ∀x,y,z ∈Z,xoy oz =x+y-2oz=x+y-2+z-2=x+y+z-4同理xoyoz= xoyoz,结合律成立;3设e 是单位元,∀x ∈Z, xo e = e ox=x,即x+e -2= e +x-2=x, e=24 ∀x ∈Z , 设x 的逆元是y, xoy= yox=e , 即x+y-2=y+x-2=2,所以,x y x -==-41所以〈Z,o 〉构成群11.设G=⎭⎬⎫⎩⎨⎧⎪⎪⎭⎫ ⎝⎛--⎪⎪⎭⎫ ⎝⎛-⎪⎪⎭⎫ ⎝⎛-⎪⎪⎭⎫ ⎝⎛1001,1001,1001,1001,证明G 关于矩阵乘法构成一个群. 解:1 ∀x,y ∈G, 易知xy ∈G,乘法是Z 上的代数运算;2 矩阵乘法满足结合律3设⎪⎪⎭⎫ ⎝⎛1001是单位元,4每个矩阵的逆元都是自己;所以G 关于矩阵乘法构成一个群.14.设G 为群,且存在a∈G,使得G={a k ∣k∈Z}证明:G 是交换群;证明:∀x,y ∈G,设l k a y a x ==,,则所以,G 是交换群17.设G 为群,证明e 为G 中唯一的幂等元;证明:设G e ∈0也是幂等元,则020e e =,即e e e 020=,由消去律知e e =018.设G 为群,a,b,c∈G,证明∣abc∣=∣bca∣=∣cab∣证明:先证设e bca e abc k k =⇔=)()(设,)(e abc k =则e abc abc abc abc =)())()(( ,即 e a bca bca bca bca a =-1)())()((左边同乘1-a ,右边同乘a 得反过来,设,)(e bac k =则.)(e abc k= 由元素阶的定义知,∣abc∣=∣bca∣,同理∣bca∣=∣cab∣19.证明:偶数阶群G 必含2阶元;证明:设群G 不含2阶元,G a ∈∀,当e a =时,a 是一阶元,当e a ≠时,a 至少是3阶元,因为群G 时有限阶的,所以a 是有限阶的,设a 是k 阶的,则1-a 也是k 阶的,所以高于3阶的元成对出现的,G 不含2阶元,G 含唯一的1阶元e ,这与群G 是偶数阶的矛盾;所以,偶数阶群G 必含2阶元20.设G 为非Abel 群,证明G 中存在非单位元a 和b,a≠b,且ab=ba.证明:先证明G 含至少含3阶元;若G 只含1阶元,则G={e},G 为Abel 群矛盾;若G 除了1阶元e 外,其余元a 均为2阶元,则e a =2,a a =-1ba ba b a ab ab ab b b a a G b a ======∈∀------111111)(,)(,,,,所以,与G 为Abel 群矛盾;所以,G 含至少含一个3阶元,设为a ,则≠a 2a ,且22aa a a =;令2a b =的证;21.设G 是M n R 上的加法群,n≥2,判断下述子集是否构成子群;1全体对称矩阵 是子群2全体对角矩阵 是子群3全体行列式大于等于0的矩阵. 不是子群4全体上下三角矩阵; 是子群22.设G 为群,a 是G 中给定元素,a 的正规化子Na 表示G 中与a 可交换的元素构成的集合,即Na={x ∣x ∈G ∧xa=ax}证明Na 构成G 的子群;证明:ea=ae,φ≠∈)(a N ea xy ya x ay x y xa y ax xy a )()()()()()(=====,所以)(a N xy ∈由xa ax =,得111111,------==eax ae x xax x axx x ,即11--=ax a x ,所以)(1a N x ∈- 所以Na 构成G 的子群31.设ϕ1是群G 1到G 2的同态,ϕ2是G 2到G 3的同态,证明ϕ1ϕ 2是G 1到G 3的同态;证明:有已知ϕ1是G 1到G 2的函数,ϕ2是G 2到G 3的函数,则ϕ1·ϕ2是G 1到G 3的函数;所以:ϕ1·ϕ2是G 1到G 3的同态;33.证明循环群一定是阿贝尔群,说明阿贝尔群是否一定为循环群,并证明你的结论; 证明:设G 是循环群,令G=<a>,G y x ∈∀,,令l k a y a x ==,,那么yx a a a a a a xy k l k l l k l k =====++,G 是阿贝尔群克莱因四元群,},,,{c b a e G =是交换群,但不是循环群,因为e 是一阶元,a,b,c 是二阶元;36.设τσ,是5元置换,且⎪⎪⎭⎫ ⎝⎛=3541254321σ,⎪⎪⎭⎫⎝⎛=2154354321τ 1计算τσσσττσστ111,,,,---;2将τσσττσ11,,--表成不交的轮换之积;3将2中的置换表示成对换之积,并说明哪些为奇置换,哪些为偶置换; 解:1 ⎪⎪⎭⎫ ⎝⎛=1235454321τσ ⎪⎪⎭⎫ ⎝⎛=5213454321στ ⎪⎪⎭⎫ ⎝⎛=-32154543211τ 2 )1425(=τσ )14253(1=-τ )25)(143(1=-τσσ3 )15)(12)(14(=τσ 奇置换,)13)(15)(12)(14(1=-τ 偶置换)25)(13)(14(1=-τσσ 奇置换第十四章部分课后习题参考答案5、设无向图G 有10条边,3度与4度顶点各2个,其余顶点的度数均小于3,问G 至少有多少个顶点在最少顶点的情况下,写出度数列、)()(G G δ、∆;解:由握手定理图G 的度数之和为:20102=⨯3度与4度顶点各2个,这4个顶点的度数之和为14度;其余顶点的度数共有6度;其余顶点的度数均小于3,欲使G 的顶点最少,其余顶点的度数应都取2, 所以,G 至少有7个顶点, 出度数列为3,3,4,4,2,2,2,2)(,4)(==∆G G δ.7、设有向图D 的度数列为2,3,2,3,出度列为1,2,1,1,求D 的入度列,并求)(),(D D δ∆, )(),(D D ++∆δ,)(),(D D --∆δ.解:D 的度数列为2,3,2,3,出度列为1,2,1,1,D 的入度列为1,1,1,2.2)(,3)(==∆D D δ,1)(,2)(==∆++D D δ,1)(,2)(==∆--D D δ8、设无向图中有6条边,3度与5度顶点各1个,其余顶点都是2度点,问该图有多少个顶点解:由握手定理图G 的度数之和为:1262=⨯设2度点x 个,则1221513=+⨯+⨯x ,2=x ,该图有4个顶点.14、下面给出的两个正整数数列中哪个是可图化的对可图化的数列,试给出3种非同构的无向图,其中至少有两个时简单图;1 2,2,3,3,4,4,52 2,2,2,2,3,3,4,4解:1 2+2+3+3+4+4+5=23 是奇数,不可图化;2 2+2+2+2+3+3+4+4=16, 是偶数,可图化;18、设有3个4阶4条边的无向简单图G 1、G 2、G 3,证明它们至少有两个是同构的;证明:4阶4条边的无向简单图的顶点的最大度数为3,度数之和为8,因而度数列为2,2,2,2;3,2,2,1;3,3,1,1;但3,3,1,1对应的图不是简单图;所以从同构的观点看,4阶4条边的无向简单图只有两个:所以,G 1、G 2、G 3至少有两个是同构的;20、已知n 阶无向简单图G 有m 条边,试求G 的补图G 的边数m '; 解:m n n m --='2)1( 21、无向图G 如下图1求G 的全部点割集与边割集,指出其中的割点和桥;2 求G 的点连通度)(G k 与边连通度)(G λ;解:点割集: {a,b},d边割集{e2,e3},{e3,e4},{e1,e2},{e1,e4}{e1,e3},{e2,e4},{e5})(G k =)(G λ=123、求G 的点连通度)(G k 、边连通度)(G λ与最小度数)(G δ;解:2)(=G k 、3)(=G λ 、4)(=G δ28、设n 阶无向简单图为3-正则图,且边数m 与n 满足2n-3=m 问这样的无向图有几种非同构的情况解:⎩⎨⎧=-=mn m n 3223 得n=6,m=9.31、设图G 和它的部图G 的边数分别为m 和m ,试确定G 的阶数; 解:2)1(+=+n n m m 得2)(811m m n +++-= 45、有向图D 如图1求2v 到5v 长度为1,2,3,4的通路数;2求5v 到5v 长度为1,2,3,4的回路数;3求D 中长度为4的通路数;4求D 中长度小于或等于4的回路数;5写出D 的可达矩阵;解:有向图D 的邻接矩阵为:⎪⎪⎪⎪⎪⎪⎭⎫ ⎝⎛=0101000101100000010110000A ,⎪⎪⎪⎪⎪⎪⎭⎫ ⎝⎛=00202200000101020000010102A ⎪⎪⎪⎪⎪⎪⎭⎫ ⎝⎛=40000020200020202020002023A 12v 到5v 长度为1,2,3,4的通路数为0,2,0,0;25v 到5v 长度为1,2,3,4的回路数为0,0,4,0;3D 中长度为4的通路数为32;4D 中长度小于或等于4的回路数10;4出D 的可达矩阵⎪⎪⎪⎪⎪⎪⎭⎫ ⎝⎛=1111111111111111111111111P 第十六章部分课后习题参考答案1、画出所有5阶和7阶非同构的无向树.2、一棵无向树T 有5片树叶,3个2度分支点,其余的分支点都是3度顶点,问T 有几个顶点 解:设3度分支点x 个,则)135(232315-++⨯=+⨯+⨯x x ,解得3=xT 有11个顶点3、无向树T 有8个树叶,2个3度分支点,其余的分支点都是4度顶点,问T 有几个4度分支点根据T 的度数列,请至少画出4棵非同构的无向树;解:设4度分支点x 个,则)128(243218-++⨯=+⨯+⨯x x ,解得2=x4、棵无向树T 有i n i=2,3,…,k 个i 度分支点,其余顶点都是树叶,问T 应该有几片树叶 解:设树叶x 片,则)1(21-+⨯=⨯+⨯x n x i n i i ,解得2)2(+-=i n i x评论:2,3,4题都是用了两个结论,一是握手定理,二是1-=n m5、nn≥3阶无向树T 的最大度(T)至少为几最多为几解:2,n-16、若nn ≥3阶无向树T 的最大度(T) =2,问T 中最长的路径长度为几解:n-17、证明:nn ≥2 阶无向树不是欧拉图.证明:无向树没有回路,因而不是欧拉图;8、证明:nn ≥2 阶无向树不是哈密顿图.证明:无向树没有回路,因而不是哈密顿图;9、证明:任何无向树T 都是二部图.证明:无向树没有回路,因而不存在技术长度的圈,是二部图;10、什么样的无向树T 既是欧拉图,又是哈密顿图解:一阶无向树14、设e 为无向连通图G 中的一条边, e 在G 的任何生成树中,问e 应有什么性质解:e 是桥15、设e为无向连通图G中的一条边, e不在G的任何生成树中, 问e应有什么性质解:e是环23、已知n阶m条的无向图G是kk≥2棵树组成的森林,证明:m = n-k.;证明:数学归纳法;k=1时, m = n-1,结论成立;时,结论成立,当k=t时,无向图G是t棵树组成的森林,任取两棵树,每棵树任取一个设k=t-1t-11顶点,这两个顶点连线;则所得新图有t-1棵树,所以m = n-k-1.所以原图中m = n-k得证;24、在图所示2图中,实边所示的生成子图T是该图的生成树.1指出T的弦,及每条弦对应的基本回路和对应T的基本回路系统.2 指出T的所有树枝, 及每条树枝对应的基本割集和对应T的基本割集系统.a b图解:aT的弦:c,d,g,hT的基本回路系统: S={{a,c,b},{a,b,f,d},{e,a,b,h},{e,a,b,f,g}}T的所有树枝: e,a,b,fT的基本割集系统: S={{e,g,h},{a,c,d,g,h},{b,c,d,g,h},{f,d,g}}b有关问题仿照给出25、求图所示带权图中的最小生成树.a b图解:注:答案不唯一;37、画一棵权为3,4,5,6,7,8,9的最优2叉树,并计算出它的权.38.下面给出的各符号串集合哪些是前缀码A1={0,10,110,1111} 是前缀码A2={1,01,001,000} 是前缀码A3={1,11,101,001,0011} 不是前缀码A4={b,c,aa,ac,aba,abb,abc} 是前缀码A5={ b,c,a,aa,ac,abc,abb,aba} 不是前缀码41.设7个字母在通信中出现的频率如下:a: 35% b: 20%c: 15% d: 10%e: 10% f: 5%g: 5%用Huffman算法求传输它们的前缀码.要求画出最优树,指出每个字母对应的编码.并指出传输10n n ≥2个按上述频率出现的字母,需要多少个二进制数字.解:a:01 b:10 c:000 d:110 e:001 f:1111 g:1110WT=54+54+103+103+153+202+352=255传输10n n≥2个按上述频率出现的字母,需要25510n-2个二进制数字.。

离散数学答案版(全)

离散数学答案版(全)

1.2.4
0 0 1 11
Q
0 1 1 1
P Q
0 0 1 1 1.2.5 双条件联结词
P
0 1 0 1
Q
1 1 0 1
P Q
1.2.6
0 0 1 1 与非联结词↑
P
0 1 0 1
Q
1 0 0 1
PQ
1 1 1 0
0 0 1 1
0 1 0 1
性质: (1) P↑P ﹁(P∧P) ﹁P; (2) (P↑Q)↑(P↑Q) ﹁(P↑Q) P∧Q; (3) (P↑P)↑(Q↑Q) ﹁P↑﹁Q P∨Q。 1.2.7 或非联结词↓
定义设pq是两个命题公式复合命题pq称为命题pq的条件否定当且仅当p的真值为1q的真值为0时pq的真值为1否则pq的真值为0172最小联结词组定义设s是一些联结词组成的非空集合如果任何的命题公式都可以用仅包含s中的联结词的公式表示则称s是联结词的全功能集
第一章
命题逻辑
内容: 命题及命题联结词、命题公式的基本概念,真值表、基本等价式及永真蕴涵 式,命题演算的推理理论中常用的直接证明、条件证明、反证法等证明方法。 教学目的: 1.熟练掌握命题、联结词、复合命题、命题公式及其解释的概念。 2.熟练掌握常用的基本等价式及其应用。 3.熟练掌握(主)析/合取范式的求法及其应用。 4.熟练掌握常用的永真蕴涵式及其在逻辑推理中的应用。 5.熟练掌握形式演绎的方法。
式中每一个析取项都是 P1,P2,…,Pn 的一个极大项,则称该合取范式为 G 的主 合取范式。通常,主合取范式用↕表示。重言式的主合取范式中不含任何极大项, 用 1 表示。 定理 任意的命题公式都存在一个唯一的与之等价的主合取范式。
1.6
公式的蕴涵

离散数学教程 肖新攀编著 课后习题答案 第十章

离散数学教程 肖新攀编著 课后习题答案 第十章

离散数学教程 肖新攀编著 课后习题答案
第十章
图的矩阵表示
10.1 (a) (b) 1 0 0 1 0 0 1 1 0 0 0 0 10.2 0 1 1 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 −1 1 1 0 0 −1 1 0 0 0 0 0 0 1 0 0 −1 −1 1 0 0 0
本文档由天天learn提供,查看其他章节请点击/html/46/n-46.html
离散数学教程 肖新攀编著 课后习题答案

1 1 (8) P (D) = 1 1 1 1 10.5
1 1
1 1 1 1 1

1 1 1
1 −1 0 0 0 0
0 −1 0 0 0 0 0 0
e6 为桥, 易知 G 的生成树必含 e6 。因此只需求出 G − e6 的生成树。 1 0 0 1 0 0 1 1 1 0 G − e6 的关联矩阵为 M = 0 0 1 0 1 1 1 0 0 1 以 v4 为参考点, 得基本关联矩阵为 Mf = 0 0 1 0 1 0 0 1 1 1 1 0 0 0 1
A1 = 1 0 A4 = 0 2 2
0
1 0 1 0 4 0
0
1 0 2
A2 = 0 2 1 0 A5 = 4 0 0 4 0 4
1 0
1
0 1 0
A3 = 2 0 0 2 A6 = 0 8 4 0 4 0

离散数学课后练习题答案(第三版)-乔维声-汤维版

离散数学课后练习题答案(第三版)-乔维声-汤维版

离散数学课后练习题答案(第三版)-乔维声-汤维版、命题逻辑1.用形式语言写出下列命题:(1)如果这个数是大于1 的整数,则它的大于1 最小因数一定是素数。

(2)如果王琳是学生党员又能严格要求自己,则她一定会得到大家的尊敬。

(3)小王不富有但很快乐。

(4)说逻辑学枯燥无味或毫无价值都是不对的。

(5)我现在乘公共汽车或者坐飞机。

(6)如果有雾,他就不能搭船而是乘车过江。

解:(1)设P:这个数是大于1 的整数。

Q:这个数的大于1 最小因数是素数。

则原命题可表示为:P→Q。

或:设P1:这个数大于1。

P2:这个数是整数。

Q:这个数的大于1 最小因数是素数。

则原命题可表示为:P1∧ P2→Q。

(2)设P:王琳是学生。

Q:王琳是党员。

R:王琳能严格要求自己。

S:王琳会得到大家的尊敬。

则原命题可表示为:P ∧Q∧R→ S。

(3)设P:小王富有。

Q:小王很快乐。

则原命题可表示为:⌝P ∧Q。

(4)设P:逻辑学枯燥无味。

Q:逻辑学毫无价值。

则原命题可表示为:⌝( P∨Q)。

(5)设P:我现在乘公共汽车。

Q:我现在坐飞机。

则原命题可表示为:P⎺∨Q。

(6)设P:天有雾。

Q:他搭船过江。

R:他乘车过江。

则原命题可表示为:P →⌝ Q∧R。

2.设P:天下雪。

Q:我将进城。

R:我有时间。

将下列命题形式化:(1)天不下雪,我也没有进城。

(2)如果我有时间,我将进城。

(3)如果天不下雪而我又有时间的话,我将进城。

解:原命题可分别表示为:(1)⌝P ∧⌝ Q。

(2)R→Q。

(3)⌝P ∧ R→Q。

3.将P、Q、R所表示的命题与上题相同,试把下列公式翻译成自然语言:(1)R∧Q(2)⌝(R∨Q)(3)Q↔(R∧⌝P)(4)(Q→R)∧(R→Q)解:(1)原公式可翻译为:我有时间而且我将进城。

(2)⌝(R∨Q) ⇔⌝R∧⌝Q。

原公式可翻译为:我没有时间也没有进城。

(3)我将进城当且仅当我有时间而且天不下雪。

(4)(Q→R)∧(R→Q) ) ⇔(Q∧R) ∨ (⌝Q ∧⌝ R) ⇔ Q↔R。

大学_《离散数学》课后习题答案

大学_《离散数学》课后习题答案

《离散数学》课后习题答案《离散数学》简介1、集合论部分:集合及其运算、二元关系与函数、自然数及自然数集、集合的基数2、图论部分:图的基本概念、欧拉图与哈密顿图、树、图的矩阵表示、平面图、图着色、支配集、覆盖集、独立集与匹配、带权图及其应用3、代数结构部分:代数系统的基本概念、半群与独异点、群、环与域、格与布尔代数4、组合数学部分:组合存在性定理、基本的计数公式、组合计数方法、组合计数定理5、数理逻辑部分:命题逻辑、一阶谓词演算、消解原理离散数学被分成三门课程进行教学,即集合论与图论、代数结构与组合数学、数理逻辑。

教学方式以课堂讲授为主,课后有书面作业、通过学校网络教学平台发布课件并进行师生交流。

《离散数学》学科内容随着信息时代的到来,工业革命时代以微积分为代表的连续数学占主流的地位已经发生了变化,离散数学的重要性逐渐被人们认识。

离散数学课程所传授的思想和方法,广泛地体现在计算机科学技术及相关专业的诸领域,从科学计算到信息处理,从理论计算机科学到计算机应用技术,从计算机软件到计算机硬件,从人工智能到认知系统,无不与离散数学密切相关。

由于数字电子计算机是一个离散结构,它只能处理离散的或离散化了的数量关系,因此,无论计算机科学本身,还是与计算机科学及其应用密切相关的现代科学研究领域,都面临着如何对离散结构建立相应的数学模型;又如何将已用连续数量关系建立起来的数学模型离散化,从而可由计算机加以处理。

离散数学是传统的逻辑学,集合论(包括函数),数论基础,算法设计,组合分析,离散概率,关系理论,图论与树,抽象代数(包括代数系统,群、环、域等),布尔代数,计算模型(语言与自动机)等汇集起来的一门综合学科。

离散数学的应用遍及现代科学技术的诸多领域。

离散数学也可以说是计算机科学的基础核心学科,在离散数学中的有一个著名的典型例子-四色定理又称四色猜想,这是世界近代三大数学难题之一,它是在1852年,由英国的一名绘图员弗南西斯格思里提出的,他在进行地图着色时,发现了一个现象,“每幅地图都可以仅用四种颜色着色,并且共同边界的国家都可以被着上不同的颜色”。

北航离散数学第10章习题答案

北航离散数学第10章习题答案

第10章习题答案1.图10.5给出了一个带权有向图,试求从顶点u1到u8的最短通路。

解:从顶点u1到u8的最短通路为(u1,u3,u6,u5,u8)3. 图10.7给出了一个工序流线图,试求其关键通路。

图中有两条弧<b,c>和<e,f>的权值为0,如何解释这些弧? 各顶点的缓冲时间是多少?解:TE(a)=0,TE(b)=TE(a)+3=3,TE(c)=max{ TE(b)+0,TE(a)+2}= max{3+0,0+2}=3,TE(d)= max{ TE(a)+4,TE(c)+2}=max{0+4,3+2}=5,TE(e)=max{ TE(b)+4,TE(c)+4}= max{3+4,3+4}=7,TE(f)=max{ TE(e)+0,TE(c)+4}= max{7+0,3+4}=7,TE(g)=max{ TE(e)+3,TE(d)+5}= max{7+3,5+5}=10,TE(h)=max{ TE(f)+3,TE(g)+1}= max{7+3,10+1}=11,TE(i)=max{ TE(e)+6,TE(h)+1}= max{7+6,11+1}=13TL(i)= TE(i)=13,TL(h)= TE(i)-1=13-1=12,TL(g)=TL(h)-1=12-1=11,TL(f)= TL(h)-3=12-3=9,TL(e)=min{TL(i)-6,TL(g)-3,TL(f)-0}=min{13-6,11-3,9-0}=7,TL(d)= TL(g)-5=6,TL(c)=min{TL(e)-4,TL(f)-4,TL(d)-2}=min{7-4,9-4,6-2}=3,TL(b)=min{TL(e)-4,TL(c)-0}=min{7-4,3-0}=3,TL(a)=min{TL(b)-3,TL(c)-2,TL(d)-4}= min{3-3,3-2,6-4}=0 由上可见,TE(a)= TL(a),TE(b)= TL(b),TE(c)= TL(c),TE(e)= TL(e),TL(i)= TE(i),所以,其关键通路为(a,b,c,e,i)和(a,b,e,i)。

离散数学(第二版)最全课后习题答案详解

离散数学(第二版)最全课后习题答案详解

27.设 A、B 都是含命题变量项 p1,p2,…,pn的公式,证明: 重言式.
是重言式当且仅当 A 和 B 都是
解:
A
B
0
0
0
1
1
0
1
1
由真值表可得,当且仅当 A 和 B 都是重言式时,
0 0 0 1 是重言式。
28. 设 A、B 都是含命题变量项 p1,p2,…,pn的公式,已知
,该式为重言式,所以论述为真。
18.在什么情况下,下面一段论述是真的:“说小王不会唱歌或小李不会跳舞是正确的,而说如 果小王会唱歌,小李就会跳舞是不正确的.” 解:p:小王会唱歌。q:小李会跳舞。
真值为 1.
真值为 0.可得,p 真值为 1,q 真值为 0.
所以,小王会唱歌,小李不会跳舞。
19.用真值表判断下列公式的类型:
(2)p: 是无理数.
(7)p:刘红与魏新是同学. (10)p:圆的面积等于半径的平方乘以 π. (13)p:2008 年元旦下大雪.
3.写出下列各命题的否定式,并将原命题及其否定式都符号化,最后指出各否定式的真值.
(1)5 是有理数.
答:否定式:5 是无理数. p:5 是有理数.q:5 是无理数.其否定式 q 的真值
5.将下列命题符号化,并指出真值. (1)2 或 3 是偶数. (2)2 或 4 是偶数. (3)3 或 5 是偶数. (4)3 不是偶数或 4 不是偶数. (5)3 不是素数或 4 不是偶数.
答: p:2 是偶数,q:3 是偶数,r:3 是素数,s:4 是偶数, t:5 是偶数 (1)符号化: p q∨ ,其真值为 1. (2)符号化:p r∨ ,其真值为 1. (3)符号化:r t∨ ,其真值为 0. (4)符号化:¬ ∨¬q s,其真值为 1. (5)符号化:¬ ∨¬r s,其真值为 0.

离散数学课后习题答案_(左孝凌版)

离散数学课后习题答案_(左孝凌版)

习题 1-5(1)证明:a)(P∧(P→Q))→Q⇔ (P∧(┐P∨Q))→Q⇔(P∧┐P)∨(P∧Q)→Q⇔(P∧Q)→Q⇔┐(P∧Q)∨Q⇔┐P∨┐Q∨Q⇔┐P∨T⇔Tb)┐P→(P→Q)⇔P∨(┐P∨Q)⇔ (P∨┐P)∨Q⇔T∨Q⇔Tc)((P→Q)∧(Q→R))→(P→R)因为(P→Q)∧(Q→R)⇒(P→R)所以 (P→Q)∧(Q→R)为重言式。

d)((a∧b)∨(b∧c) ∨(c∧a))↔(a∨b)∧(b∨c)∧(c∨a)因为((a∧b)∨(b∧c)∨(c∧a))⇔((a∨c)∧b)∨(c∧a)⇔((a∨c)∨(c∧a))∧(b∨(c∧a))⇔(a∨c)∧(b∨c)∧(b∨a)所以((a∧b)∨(b∧c) ∨(c∧a))↔(a∨b)∧(b∨c)∧(c∨a)为重言式。

(2)证明:a)(P→Q)⇒P→(P∧Q)解法1:设P→Q为T(1)若P为T,则Q为T,所以P∧Q为T,故P→(P∧Q)为T(2)若P为F,则Q为F,所以P∧Q为F,P→(P∧Q)为T命题得证解法2:设P→(P∧Q)为F ,则P为T,(P∧Q)为F ,故必有P为T,Q为F ,所以P→Q为F。

解法3:(P→Q) →(P→(P∧Q))⇔┐(┐P∨Q)∨(┐P∨(P∧Q))⇔┐(┐P∨Q)∨((┐P∨P)∧(┐P∨Q))⇔T所以(P→Q)⇒P→(P∧Q)b)(P→Q)→Q⇒P∨Q设P∨Q为F,则P为F,且Q为F,故P→Q为T,(P→Q)→Q为F,所以(P→Q)→Q⇒P∨Q。

c)(Q→(P∧┐P))→(R→(R→(P∧┐P)))⇒R→Q设R→Q为F,则R为T,且Q为F,又P∧┐P为F所以Q→(P∧┐P)为T,R→(P∧┐P)为F所以R→(R→(P∧┐P))为F,所以(Q→(P∧┐P))→(R→(R→(P∧┐P)))为F 即(Q→(P∧┐P))→(R→(R→(P∧┐P)))⇒R→Q成立。

(3)解:a) P→Q表示命题“如果8是偶数,那么糖果是甜的”。

离散数学课后练习题答案(第三版)_乔维声_汤维版

离散数学课后练习题答案(第三版)_乔维声_汤维版

、命题逻辑1.用形式语言写出下列命题:(1)如果这个数是大于1 的整数,则它的大于1 最小因数一定是素数。

(2)如果王琳是学生党员又能严格要求自己,则她一定会得到大家的尊敬。

(3)小王不富有但很快乐。

(4)说逻辑学枯燥无味或毫无价值都是不对的。

(5)我现在乘公共汽车或者坐飞机。

(6)如果有雾,他就不能搭船而是乘车过江。

解:(1)设P:这个数是大于1 的整数。

Q:这个数的大于1 最小因数是素数。

则原命题可表示为:P→Q。

或:设P1:这个数大于1。

P2:这个数是整数。

Q:这个数的大于1 最小因数是素数。

则原命题可表示为:P1∧ P2→Q。

(2)设P:王琳是学生。

Q:王琳是党员。

R:王琳能严格要求自己。

S:王琳会得到大家的尊敬。

则原命题可表示为:P ∧Q∧R→ S。

(3)设P:小王富有。

Q:小王很快乐。

则原命题可表示为:⌝P ∧Q。

(4)设P:逻辑学枯燥无味。

Q:逻辑学毫无价值。

则原命题可表示为:⌝( P∨Q)。

(5)设P:我现在乘公共汽车。

Q:我现在坐飞机。

则原命题可表示为:P⎺∨Q。

(6)设P:天有雾。

Q:他搭船过江。

R:他乘车过江。

则原命题可表示为:P →⌝ Q∧R。

2.设P:天下雪。

Q:我将进城。

R:我有时间。

将下列命题形式化:(1)天不下雪,我也没有进城。

(2)如果我有时间,我将进城。

(3)如果天不下雪而我又有时间的话,我将进城。

解:原命题可分别表示为:(1)⌝P ∧⌝ Q。

(2)R→Q。

(3)⌝P ∧ R→Q。

3.将P、Q、R所表示的命题与上题相同,试把下列公式翻译成自然语言:(1)R∧Q(2)⌝(R∨Q)(3)Q↔(R∧⌝P)(4)(Q→R)∧(R→Q)解:(1)原公式可翻译为:我有时间而且我将进城。

(2)⌝(R∨Q) ⇔⌝R∧⌝Q。

原公式可翻译为:我没有时间也没有进城。

(3)我将进城当且仅当我有时间而且天不下雪。

(4)(Q→R)∧(R→Q) ) ⇔(Q∧R) ∨ (⌝Q ∧⌝ R) ⇔ Q↔R。

离散数学习题答案1-2-6-7-8-9章-2009-12-17

离散数学习题答案1-2-6-7-8-9章-2009-12-17

习题1:1. 解 (1){2,3,5,7,11,13,17,19}(2){x|x=20*k,k 是自然数}(3){2,-1}2. 解 (1){2,4}(2){1,2,3,4,5}(3){1,3}(4){1,3,5}3. 解 (1){1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20}(2)φ(3)全体自然数(4){0,2,4,6,8,10,12,14,16,18,20}(5)1,3,5,7,9,11,13,15,17,19}4. 解 (1)正确(2)正确(3)错误(4)正确5. 解 (1)A={1},B={{1}},C={{1}}(2)A={1},B={{1}},C={{{1}}}6. 解 (1)正确。

由子集的定义。

(2) 不一定。

如:A={1},B={{1}},C={{1}}。

(3)不一定。

如:A={1},B={1,2},C={{1,2}}(4)不一定。

如:A={1},B={1,2},C={{1,2}}。

7. 解 A={1,2},B={1},C={2},有B A ≠,但是C B C A =成立。

A={1,2},B={1},C={1},有B A ≠,但是C B C A =成立。

8. 解 (1)φ(2){φ}(3){{φ}}(4){φ,{φ}}9. 解 (1){1,2,3,4,5,6,7,8,9}(2){0,1,2,3,4,5,6,7,8,9,10}(3){0,3,6,7,8,9}10. 解 33311. 解 2512. 解(1)454(2)124(3)22013. 解 (1){φ}(2){φ,{a}}(3){φ,{φ},{a},{φ,a}}(4){φ,{φ},{{φ}},{{φ},φ}}(5){φ,{{φ}},{φ},{a},{{φ},φ},{{φ},a},{φ,a},{{φ},φ,a}}14. 证明:假设B ≠C ,则至少存在一元素x ∈B 且x ∉C 。

离散数学习题答案-ch10-ch13

离散数学习题答案-ch10-ch13

习题十1、设G 是一个(n,m )简单图;证明:m ≤C(n,2)等号成立,当且仅当G 是完全图证明:此题有两个内容,第一方面证明简单图满足 m ≤C(n,2),第二证明 ,m=C(n,2)当且仅当G 是完全图(1): (1): 因为在简单无向图中,因为在简单无向图中,每个结点的最大度数为n-1n-1,,所以图的总度数的上限为n(n-1),所以边的上限为n(n-1)/2n(n-1)/2,,因此任意一个简单无像图G ,其边数满足:m ≤n(n-1)/2= C(n,2) (2)(2):: m=C(n,2) ⇒ G 是完全图是完全图 因为,当m=C(n,2)m=C(n,2)时,全图的总度数为时,全图的总度数为n(n-1),n(n-1),因此其平均点度为因此其平均点度为因此其平均点度为(n-1)(n-1)(n-1),因为,因为n 阶简单无向图中点度的最大值为(向图中点度的最大值为(n-1n-1n-1)),所以此时每个点的度数都相同并为(所以此时每个点的度数都相同并为(n-1n-1n-1)),根据完全图的定义,此图为完全图义,此图为完全图G 是完全图⇒ m=C(n,2)当G 为完全图时,既每个结点都和其他结点相邻,所以全图的总边数所以全图的总边数 m m= n(n-1)/2 = C(n,2)4、证明:在(n,m )图中 δ≤2m/n ≤Δ证明:因为2m/n 2m/n 代表简单无向图的平均点度值,所以平均值大于等于最小值,小于等于最代表简单无向图的平均点度值,所以平均值大于等于最小值,小于等于最大值,结论成立大值,结论成立6、设G 是(n,m )简单二部图,证明:m ≤n 2/4证明:设G 的两个顶点集合中顶点个数分别为n1,n2n1,n2,并有,并有,并有 n = n1 + n2 (1 n = n1 + n2 (1式);同时,在简单二部图中,当其为完全二部图是,其边数最大,及max(m) = max(m) = n1 n1 n1 ×× n2 (2式);联立(立(11)(2)式,通过高等数学的知识,当n1=n2=1/2n 时,时,max(m)max(m)max(m)取得最大值取得最大值取得最大值 n n 2/4 /4 ,所以,所以一般(一般(n,m n,m n,m)简单二部图,其边数小于等于此最大值既)简单二部图,其边数小于等于此最大值既)简单二部图,其边数小于等于此最大值既 m m m≤≤n 2/49、如果G ≌ G G’’,称G 是自补图;确定一个图为自补图的最低条件:画出一个自补图解:因为G 和自己的补图同构,那么G 和G ’应该有相等条数的边,所以’应该有相等条数的边,所以 m = m m = m m = m’,又因为’,又因为m + m m + m’’= n(n-1)/2= n(n-1)/2,所以,所以G 的边的条数必须满足m = n(n-1)/4.m = n(n-1)/4.因此图因此图G 的阶数或阶数减一必需是4的倍数,这就是最低条件。

离散数学第四版课后标准答案

离散数学第四版课后标准答案

离散数学第四版课后标准答案离散数学第四版课后答案第1章习题解答1.1 除(3),(4),(5),(11)外全是命题,其中,(1),(2),(8),(9),(10),(14),(15)是简单命题,(6),(7),(12),(13)是复合命题。

分析⾸先应注意到,命题是陈述句,因⽽不是陈述句的句⼦都不是命题。

本题中,(3)为疑问句,(5)为感叹句,(11)为祈使句,它们都不是陈述句,所以它们都不是命题。

其次,4)这个句⼦是陈述句,但它表⽰的判断结果是不确定。

⼜因为(1),(2),(8),(9),(10),(14),(15)都是简单的陈述句,因⽽作为命题,它们都是简单命题。

(6)和(7)各为由联结词“当且仅当”联结起来的复合命题,(12)是由联结词“或”联结的复合命题,⽽(13)是由联结词“且”联结起来的复合命题。

这⾥的“且”为“合取”联结词。

在⽇常⽣活中,合取联结词有许多表述法,例如,“虽然……,但是……”、“不仅……,⽽且……”、“⼀⾯……,⼀⾯……”、“……和……”、“……与……”等。

但要注意,有时“和”或“与”联结的是主语,构成简单命题。

例如,(14)、(15)中的“与”与“和”是联结的主语,这两个命题均为简单命题,⽽不是复合命题,希望读者在遇到“和”或“与”出现的命题时,要根据命题所陈述的含义加以区分。

1.2 (1)p: 2是⽆理数,p为真命题。

(2)p:5能被2整除,p为假命题。

(6)p→q。

其中,p:2是素数,q:三⾓形有三条边。

由于p与q都是真命题,因⽽p→q为假命题。

(7)p→q,其中,p:雪是⿊⾊的,q:太阳从东⽅升起。

由于p为假命题,q为真命题,因⽽p→q为假命题。

(8)p:2000年10⽉1⽇天⽓晴好,今⽇(1999年2⽉13⽇)我们还不知道p的真假,但p的真值是确定的(客观存在的),只是现在不知道⽽已。

(9)p:太阳系外的星球上的⽣物。

它的真值情况⽽定,是确定的。

1(10)p:⼩李在宿舍⾥. p的真值则具体情况⽽定,是确定的。

离散数学_屈婉玲_耿素云_张立昂_主编_高等教育出版社_课后最全答案

离散数学_屈婉玲_耿素云_张立昂_主编_高等教育出版社_课后最全答案

第一章命题逻辑基本概念课后练习题答案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。

离散数学课后习题答案_(左孝凌版)

离散数学课后习题答案_(左孝凌版)

1-1,1-2(1)解:a)是命题,真值为T。

b)不是命题。

c)是命题,真值要根据具体情况确定。

d)不是命题。

e)是命题,真值为T。

f)是命题,真值为T。

g)是命题,真值为F。

h)不是命题。

i)不是命题。

(2)解:原子命题:我爱北京天安门。

复合命题:如果不是练健美操,我就出外旅游拉。

(3)解:a)(┓P ∧R)→Qb)Q→Rc)┓Pd)P→┓Q(4)解:a)设Q:我将去参加舞会。

R:我有时间。

P:天下雨。

Q↔ (R∧┓P):我将去参加舞会当且仅当我有时间和天不下雨。

b)设R:我在看电视。

Q:我在吃苹果。

R∧Q:我在看电视边吃苹果。

c) 设Q:一个数是奇数。

R:一个数不能被2除。

(Q→R)∧(R→Q):一个数是奇数,则它不能被2整除并且一个数不能被2整除,则它是奇数。

(5) 解:a)设P:王强身体很好。

Q:王强成绩很好。

P∧Qb)设P:小李看书。

Q:小李听音乐。

P∧Qc)设P:气候很好。

Q:气候很热。

P∨Qd)设P: a和b是偶数。

Q:a+b是偶数。

P→Qe)设P:四边形ABCD是平行四边形。

Q :四边形ABCD的对边平行。

P↔Qf)设P:语法错误。

Q:程序错误。

R:停机。

(P∨ Q)→ R(6) 解:a)P:天气炎热。

Q:正在下雨。

P∧Qb)P:天气炎热。

R:湿度较低。

P∧Rc)R:天正在下雨。

S:湿度很高。

R∨Sd)A:刘英上山。

B:李进上山。

A∧Be)M:老王是革新者。

N:小李是革新者。

M∨Nf)L:你看电影。

M:我看电影。

┓L→┓Mg)P:我不看电视。

Q:我不外出。

R:我在睡觉。

P∧Q∧Rh)P:控制台打字机作输入设备。

Q:控制台打字机作输出设备。

P∧Q1-3(1)解:a)不是合式公式,没有规定运算符次序(若规定运算符次序后亦可作为合式公式)b)是合式公式c)不是合式公式(括弧不配对)d)不是合式公式(R和S之间缺少联结词)e)是合式公式。

(2)解:a)A是合式公式,(A∨B)是合式公式,(A→(A∨B))是合式公式。

  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。

第10章习题答案1.解 (1)设G 有m 条边,由握手定理得2m =∑∈Vv v d )(=2+2+3+3+4=14,所以G 的边数7条。

(2)由于这两个序列中有奇数个是奇数,由握手定理的推论知,它们都不能成为图的度数列。

(3) 由握手定理得∑∈Vv v d )(=2m =24,度数为3的结点有6个占去18度,还有6度由其它结点占有,其余结点的度数可为0、1、2,当均为2时所用结点数最少,所以应由3个结点占有这6度,即图G 中至多有9个结点。

2.证明 设1v 、2v 、…、n v 表示任给的n 个人,以1v 、2v 、…、n v 为结点,当且仅当两人为朋友时其对应的结点之间连一条边,这样得到一个简单图G 。

由握手定理知∑=nk kv d 1)(=3n 必为偶数,从而n 必为偶数。

3. 解 由于非负整数列d =(d 1,d 2,…,d n )是可图化的当且仅当∑=ni i d 1≡0(mod 2),所以(1)、(2)、(3)、(5)能构成无向图的度数列。

(1)、(2)、(3)是可简单图化的。

其对应的无向简单图如图所示。

(5)是不可简单图化的。

若不然,存在无向图G 以为1,3,3,3度数列,不妨设G 中结点为1v 、2v 、3v 、4v ,且d(1v )=1,d(2v )=d(3v )=d(4v )=3。

而1v 只能与2v 、3v 、4v 之一相邻,设1v 与2v 相邻,于是d(3v )=d(4v )=3不成立,矛盾。

4.证明 因为两图中都有4个3度结点,左图中每个3度结点均与2个2度结点邻接,而右图中每个3度结点均只与1个2度结点邻接,所以这两个无向图是不同构的。

5. 解 具有三个结点的所有非同构的简单有向图共16个,如图所示,其中(8)~(16)为其生成子图。

6. 解 (1)G 的所有子图如图所示。

(1)(3)(5)(6)(9)(10)(13)(14)(2)图(8)~(18)是G 的所有生成子图。

7. 解 (1)五个结点的图G 与它的补图G 如图所示。

对G 与G 建立双射:1v →1v ,2v →2v ,3v →3v ,4v →4v ,5v →5v 。

显然这两个图保持相应点边之间的对应的关联关系,故G ≅G 。

因此,G 是五个结点的自补图。

(3)设图G 是自补图,有m 条边,G 对应的完全图的边数为s ,则G 对应的补图G 的边数为s -m 。

因为G ≅G ,故边数相等,即有m =s -m ,s =2m ,因此G 对应的完全图的边数s 为偶数。

(2)由(3)知,自补图对应的完全图的边数为偶数。

n 个结点的完全图n K 的边数为21n (n -1),当n =3或n =6时,n K 的边数为奇数,因此不存在三个结点或六个结点的自补图。

(4)设G 为n 阶自补图,则需21n (n -1)能被2整除,因此n 必为4k 或4k +1形式。

8.解 由G 的补图G 的定义可知,G ∪G 为n K ,由于n 为奇数,所以n K 中各顶点的度数n -1为偶数。

对于图G 的任意结点v ,应有v 也是G 的顶点,且)(v d G +)(v d G =)(v d n K =n -1,由于n -1为偶数,所以)(v d G 和)(v d G 奇偶性相同,因此若G 中有r 个奇数度结点,则G 中也有r 个奇数度结点。

9.画出4阶无向完全图K 4的所有非同构的生成子图,并指出自补图来。

(1)(2)GG (8)(9)(10)(11)(12)(13)(14)(15)(16)(17)(18)(1)(2)(3)(4)(5)(6)(7)解 下图中的11个图是K 4的全部的非同构的生成子图,其中(7)为自补图。

10.证明 由握手定理的推论可知,G 中5度结点数只能是0、2、4、6、8五种情况(此时6度结点数分别为9、7、5、3、1)。

以上五种情况都满足至少5个6度结点或至少6个5度结点的情况。

11.证明 设G 为任一3度正则图,有n 个结点1v 、2v 、…、n v ,则所有结点度数之和∑=ni i v d 1)(=3n 。

若n 为奇数,则3n 也为奇数,与握手定理矛盾。

故n 为偶数。

12.证明 若G 中孤立结点的个数大于2,结论显然成立。

若G 中有1个孤立结点,则G 中至少有3个结点,因而不考虑孤立结点,就是说G 中每个结点的度数都大于等于1。

又因为G 为简单图,所以每个结点的度数都小于等于n -1。

因而G 中结点的度的取值只能是1,2,…,n -1这n 个数。

由抽屉原理可知,取n -1个值的n 个结点的度至少有两个是相同的。

13. 解 (1)从a 到d 的所有基本路共有10条:abd ,abcd ,abed ,abced ,abecd ,afed ,afecd ,afebd ,afebcd ,afecbd 。

(2)从a 到d 的所有简单路共有14条:除(1)中的10条外还有abcebd ,abecbd ,afebced ,afecbed 。

(3)长度最小的基本回路共4个:bceb ,bdeb ,cdec ,bcdb 。

长度最大的基本回路共1个:abdcefa 。

(4)长度最小的简单回路共4个:bceb ,bdeb ,cdec ,bcdb 。

长度最大的简单回路2个:abcebdefa ,afebcedba 。

(5)从a 到d 的距离为2。

(6)γ(G )=2,λ(G )=2,δ(G )=2,∆(G )=4。

14. 解 (1)d +(a )=2,d -(a )=1,d +(b )=1,d -(b )=2,d +(c )=1,d -(c )=1,d +(d )=2,d -(d )=2,d +(e )=1,d -(e )=1。

(2)从a 到d 的基本路2条:ad ,abd 。

从a 到d 的简单路5条:ad ,abd ,adcbd ,adead ,adeabd 。

(3)基本回路共3个abdea ,adea ,bdcb .简单回路共4个:abdea ,adea ,bdcb ,adcbdea 。

15. 证明 (1)设无向图G 中只有两个奇数度结点u 和v 。

从u 开始构造一条回路,即从u 出发经关联结点u 的边1e 到达结点1u ,若)(1u d 为偶数,则必可由1u 再经关联1u 的边2e 到达结点2u ,如此继续下去,每条边只取一次,直到另一个奇数度结点为止,由于图G 中只有两个奇数度结点,故该结点或是u 或是v 。

如果是v ,那么从u 到v 的一条路就构造好了。

如果仍是u ,该回路上每个结点都关联偶数条边,而)(u d 是奇数,所以至少还有一条边关联结点u 的边不在该回路上。

继续从u 出发,沿着该边到达另一个结点'1u ,依次下去直到另一个奇数度结点停下。

这样经过有限次后必可到达结点v ,这就是一条从u 到v 的路。

(2)若有向图G 中只有两个奇数度结点,它们一个可达另一个结点或互相可达不一定成立。

下面有向图中,只有两个奇数度结点u 和v ,u 和v 之间都不可达。

16.证明 设无向图G 是不连通的,其k 个连通分支为1G 、2G 、…、k G 。

任取结点u 、v ∈G ,若u 和v 不在图G 的同一个连通分支中,则[u ,v ]不是图G 的边,因而[u ,v ]是图G 的边;若u 和v 在图G 的同一个连通分支中,不妨设其在连通分支i G (1≤i ≤k )中,在不同于i G 的另一连通分支上取一结点w ,则[u ,w ]和[w ,v ]都不是图G 的边,,因而[u ,w ]和[w ,v ]都是G 的边。

综上可知,不管那种情况,u 和v 都是可达的。

由u 和v 的任意性可知,G 是连通的。

17. 证明 充分性:若连通图G 中存在结点u 和w ,使得连接u 和w 的每条路都经过e ,则在子图G -{e }中u 和w 必不可达,故e 是G 的割边。

必要性:若e 是G 的割边,则G -{e }至少有两个连通分支G 1=<V 1,E 1>和G 2=<V 2,E 2>。

任取u ∈V 1,w ∈V 2,因为G 连通,故在G 中必有连接u 和w 的路Γ,但u 、w 在G -{e }中不可达,因此Γ必通过e ,即u 和w 之间的任意路必经过e 。

18.证明 先证任一结点至少位于一个单向分图中。

任给一结点v ,若v 是孤立结点,则含v 的平凡图即为单向分图。

若v 不是孤立结点,则必有一个结点u ,使得u 与v 有一弧e 与它们联结。

此时若有单向分图>=<111,E V G ,|1V |≥3,使u ,v ∈1V ,且e ∈1E ,那么结论成立;若不存在这样的1G ,则由u ,v 和e 就构成一个单向分图。

因此,任何结点至少位于一个单向分图中。

其次证明,任何一条弧至少位于一个单向分图中。

任给一弧e ,其关联的结点u 和v 。

若存在一单向分图>=<111,E V G ,|1V |≥3,使u ,v ∈1V ,且e ∈1E ,那么结论成立。

否则,u ,v 和e 就构成一个单向分图。

综上可知,任一弧至少位于一个单向分图中。

19.证明 显然任一结点和任一弧都位于一个弱分图中。

假设有一结点v 位于两个不同的弱分图>=<111,E V G 和>=<222,E V G 中,即v ∈1V ∩2V 。

由于略去弧的方向后,1V 中所有结点与v 可达,2V 中所有结点也与v 可达,故1V 与2V 中所有结点可达,这与1G 和2G 为弱分图矛盾,故任一结点不可能包含于不同的弱分图中,即任一结点能且只能位于一个弱分图中。

假设一弧e 位于两个不同的弱分图中,该弧e 所关联的两个结点也位于两个不同的弱分图中,这是不u v w可能的,因此任一弧也只能位于一个弱分图中。

20. 解图中得(a )为强连通图;(b )为单向连通图但不是强连通图;(c )是弱连通图但不是单向连通图,当然更不是强连通图。

21.证明 充分性。

给定有向图D =<V ,E >,如果D 有一条经过每一个结点的路为1v 1e 2v 2e …1-n v 1-n e n v ,这时V ={1v ,2v ,…,1-n v ,n v },E ={1e ,2e ,…,1-n e }⊆E ,边i e (1≤i ≤n -1)以i v 为起点,以1+i v 为终点。

任给两个结点l v 、m v ∈V ,不妨设l <m ,则l v l e 1+l v …1-m e m v 就是从结点l v 到m v 的路,故D 是单向连通的。

必要性。

对结点数v 进行归纳。

当v =1或2时,单向连通图显然有一条经过每一个结点的路。

设v =k 时,有一条经过每一个结点的路1v 2v …p v ,其中结点可能有重复,这条路的下标只表示该路所经过结点的次序,显然k ≤p 。

相关文档
最新文档