2017离散数学答案(6--10)
《离散数学》作业参考答案
7 (P→Q) (P→R) ( P Q) ( P R) (合取范式) ( P Q (R R) ( 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 Q)） （( P P) Q） (P Q) （P Q） （ P Q） （P Q） (P Q) （P Q） （ P Q）（主析取范式） 2．Q→( P R) Q P R（主合取范式） （Q→( P R)） （ P Q R） （ P Q R） （ P Q R） （ P Q R） （P Q R）
E
（6）
(8)
E
前提
(9) E E
（7），（8）
8 、A→(C B)，B→ A，D→ C A→ D.
证明：
（1） A
附加前提
(2) A→(C B) 前提
(3) C B
（1），（2）
(4) B→ A
前提
(5) B
（1），（4）
(6) C
（3），（5）
(7) D→ C
前提
(8) D
( P (Q Q)) (( P P) Q) ( P Q) ( P Q) ( P Q) (P Q) ( P Q) ( P Q) (P Q)（主析取范式） 4． (P→Q) (R P) ( P Q) (R P) (P Q) (R P)（析取范式） (P Q (R R)) (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)) (P Q R) ( P Q R) ( P Q R) ( P Q R) ( P Q R)
离散数学习题答案解析
离散数学习题答案解析(总16页)--本页仅作为文档封面，使用时请直接删除即可----内页可以根据需求调整合适字体及大小--离散数学习题答案习题一及答案：（P14-15）14、将下列命题符号化：（5）李辛与李末是兄弟解：设p：李辛与李末是兄弟，则命题符号化的结果是p（6）王强与刘威都学过法语∧解：设p：王强学过法语；q：刘威学过法语；则命题符号化的结果是p q（9）只有天下大雨，他才乘班车上班→解：设p：天下大雨；q：他乘班车上班；则命题符号化的结果是q p （11）下雪路滑，他迟到了解：设p：下雪；q：路滑；r：他迟到了；则命题符号化的结果是()∧→p q r 15、设p：2+3=5.q：大熊猫产在中国.r：太阳从西方升起.求下列复合命题的真值：（4）()(())∧∧⌝↔⌝∨⌝→p q r p q r解：p=1，q=1，r=0，∧∧⌝⇔∧∧⌝⇔，p q r()(110)1p q r⌝∨⌝→⇔⌝∨⌝→⇔→⇔(())((11)0)(00)1∴∧∧⌝↔⌝∨⌝→⇔↔⇔()(())111p q r p q r19、用真值表判断下列公式的类型：（2）()→⌝→⌝p p q解：列出公式的真值表，如下所示：由真值表可以看出公式有3个成真赋值，故公式是非重言式的可满足式。
20、求下列公式的成真赋值： （4）()p q q ⌝∨→解：因为该公式是一个蕴含式，所以首先分析它的成假赋值，成假赋值的条件是：()10p q q ⌝∨⇔⎧⎨⇔⎩⇒0p q ⇔⎧⎨⇔⎩ 所以公式的成真赋值有：01，10，11。
习题二及答案：（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。
离散数学答案版(全)
Q
P Q
( P Q)
( P Q) Q
0 0 1 1
0 1 0 1
1 1 0 1
0 0 1 0
0 0 0 0
1.4.2 命题公式的分类 定义 设 G 为公式： （1）如果 G 在所有解释下取值均为真，则称 G 是永真式 或重言式； （2）如果 G 在所有解释下取值均为假，则称 G 是永假式或矛盾式； （3） 如果至少存在一种解释使公式 G 取值为真，则称 G 是可满足式。 1.4.3 等价公式 定义 设 A 和 B 是两个命题公式，如果 A 和 B 在任意赋值情况下都具有相同 的真值，则称 A 和 B 是等价公式。记为 A B。 性质定理 设 A、B、C 是公式，则 （1）A A （2）若 A B 则 B A （3）若 A B 且 B C 则 A C 定理 设 A、B、C 是公式，则下述等价公式成立： A A （1）双重否定律 （2）等幂律 A∧A A ； A∨A A （3）交换律 A∧B B∧A ； A∨B B∨A （4）结合律 （A∧B）∧C A∧（B∧C） （A∨B）∨C A∨（B∨C） （5）分配律 （A∧B）∨C （A∨C）∧（B∨C） （A∨B）∧C （A∧C）∨（B∧C） （A∨B） A∧ B （6）德·摩根律 （A∧B） A∨ B （7）吸收律 A∨（A∧B） A；A∧（A∨B） A （8）零一律 A∨1 1 ； A∧0 0 （9）同一律 A∨0 A ； A∧1 A （10）排中律 A∨ A 1 （11）矛盾律 A∧ A 0 （12）蕴涵等值式 A→B A∨B （13）假言易位 A→B B→ A （14）等价等值式 A B （A→B）∧（B→A）
式中每一个析取项都是 P1，P2，…，Pn 的一个极大项，则称该合取范式为 G 的主 合取范式。通常，主合取范式用↕表示。重言式的主合取范式中不含任何极大项， 用 1 表示。 定理 任意的命题公式都存在一个唯一的与之等价的主合取范式。
(完整word版)离散数学课后答案(word文档良心出品)
离散数学课后答案习题一6.将下列命题符号化。
（1）小丽只能从框里那一个苹果或一个梨.（2）这学期，刘晓月只能选学英语或日语中的一门外语课.答：（1）（p Λ¬q ）ν（¬pΛq）其中p:小丽拿一个苹果，q:小丽拿一个梨（2）（p Λ¬q ）ν（¬pΛq）其中p:刘晓月选学英语，q:刘晓月选学日语14.将下列命题符号化.(1) 刘晓月跑得快, 跳得高.(2)老王是山东人或河北人.(3)因为天气冷, 所以我穿了羽绒服.(4)王欢与李乐组成一个小组.(5)李辛与李末是兄弟.(6)王强与刘威都学过法语.(7)他一面吃饭, 一面听音乐.(8)如果天下大雨, 他就乘班车上班.(9)只有天下大雨, 他才乘班车上班.(10)除非天下大雨, 他才乘班车上班.(11)下雪路滑, 他迟到了.(12)2与4都是素数, 这是不对的.(13)“2或4是素数, 这是不对的”是不对的.答：(1)p∧q, 其中, p: 刘晓月跑得快, q: 刘晓月跳得高.(2)p∨q, 其中, p: 老王是山东人, q: 老王是河北人.(3)p→q, 其中, p: 天气冷, q: 我穿了羽绒服.(4)p, 其中, p: 王欢与李乐组成一个小组, 是简单命题.(5)p, 其中, p: 李辛与李末是兄弟.(6)p∧q, 其中, p: 王强学过法语, q: 刘威学过法语.(7)p∧q, 其中, p: 他吃饭, q: 他听音乐.(8)p→q, 其中, p: 天下大雨, q: 他乘班车上班.(9)p→q, 其中, p: 他乘班车上班, q: 天下大雨.(10)p→q, 其中, p: 他乘班车上班, q: 天下大雨.(11)p→q, 其中, p: 下雪路滑, q: 他迟到了.(12) ¬ (p∧q)或¬p∨¬q, 其中, p: 2是素数, q: 4是素数.(13) ¬ ¬ (p∨q)或p∨q, 其中, p: 2是素数, q: 4是素数.16.19.用真值表判断下列公式的类型:(1)p→ (p∨q∨r) (2)(p→¬q) →¬q(3) ¬ (q→r) ∧r(4)(p→q) →(¬q→¬p)(5)(p∧r) ↔( ¬p∧¬q)(6)((p→q) ∧ (q→r)) → (p→r)(7)(p→q) ↔ (r↔s)答：(1), (4), (6)为重言式.(3)为矛盾式.(2), (5), (7)为可满足式习题二9.用真值表求下面公式的主析取范式.(1) (pνq)ν(¬pΛr)(2) (p→q) →(¬p↔q)答：(1)(2)p q (p → q) →(¬p ↔ q)0 0 1 0 0 10 1 1 1 1 01 0 0 1 1 11 1 1 0 0 0从真值表可见成真赋值为01, 10.于是(p → q) →(¬p ↔ q) ⇔ m1 ∨ m211.用真值表求下面公式的主析取范式和主合取范式；(1) (pνq)Λr(2) p→(pνqνr)(3) ¬(q→¬p)Λ¬p15.用主析取范式判断下列公式是否等值:(1) (p→q) →r与q→ (p→r)(2) ¬(pΛq)与(¬pνq)答：(1)(p→q) →r ⇔¬(¬p∨q) ∨ r ⇔¬(¬p∨q) ∨ r ⇔ 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 = m101 ∨ m100 ∨ m111 ∨m101 ∨ m011 ∨ m001 ⇔m1 ∨ m3 ∨ m4 ∨ m5 ∨ m7 = ∑(1, 3, 4, 5, 7).而 q→(p→r) ⇔¬q ∨(¬p∨r) ⇔¬q ∨¬p ∨r ⇔(¬p∨p)¬∧q∧(¬r∨r) ∨¬p∧(¬q∨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)∨(p∧q∧r) = m0 ∨ m1 ∨ m4 ∨ m5 ∨ m0 ∨ m1 ∨ m2 ∨ m3 ∨ m1 ∨ m3 ∨ m5 ∨m7 ⇔ m0 ∨ m1 ∨ m2 ∨ m3 ∨ m4 ∨ m5 ∨ m7 ⇔∑(0, 1, 2, 3, 4, 5, 7). 两个公式的主吸取范式不同, 所以(p→q) →rk q→ (p→r).16. 用主析取范式判断下列公式是否等值:(1)(p→q) →r与q→ (p→r)(2) ¬ (p∧q)与¬ (p∨q)答：(1)(p→q) →r) ⇔m1∨m3∨m4∨m5∨m7q→ (p→r) ⇔m0∨m1∨m2∨m3∨m4∨m5∨m7所以(p→q) →r) k q→ (p→r)(2)¬ (p∧q) ⇔m0∨m1∨m2¬ (p∨q) ⇔m0所以¬ (p∧q) k ¬ (p∨q)习题三15.在自然推理系统P中用附加前提法证明下面各推理:(1)前提: p→ (q→r), s→p, q 结论: s→r(2)前提: (p∨q) → (r∧s), (s∨t) →u 结论: p→u答：(1)证明: ① s 附加前提引入② s→p 前提引入③ p ①②假言推理④ p→(q→r) 前提引入⑤ q→r ③④假言推理⑥ q 前提引入⑦ r ⑤⑥假言推理(2)证明: ① P 附加前提引入② p∨q ①附加③ (p∨q) → (r∧s) 前提引入④ r∧s ②③假言推理⑤④化简⑥ s∨t ⑤附加⑦ (s∨t) →u 前提引入⑧ u ⑥⑦假言推理16.在自然推理系统P中用归谬法证明下面推理:(1)前提: p→¬q, ¬r∨q, r∧¬s 结论: ¬p(2)前提: p∨q, p→r, q→s 结论: r∨s答：(1)证明: ① P 结论否定引入② p→¬q 前提引入③¬q ①②假言推理④¬r∨q 前提引入⑤¬r ③④析取三段论⑥ r∧¬s 前提引入⑦ r ⑥化简⑧¬r∧r ⑤⑦合取⑧ 为矛盾式, 由归谬法可知, 推理正确.(2)证明: ①¬ (r∨s) 结论否定引入② p∨q 前提引入③ p→r 前提引入④ q→s 前提引入⑤ r∨s ②③④构造性二难⑥¬ (r∨s) ∧ (r∨s) ①⑤合取⑥为矛盾式, 所以推理正确.18.在自然推理系统P中构造下面推理的证明.(1)如果今天是星期六, 我们就要到颐和园或圆明园去玩. 如果颐和园游人太多, 我们就不去颐和园玩. 今天是星期六. 颐和园游人太多. 所以我们去圆明园玩.(2)如果小王是理科学生, 他的数学成绩一定很好. 如果小王不是文科生, 他必是理科生. 小王的数学成绩不好. 所以小王是文科学生.(1)令 p: 今天是星期六;q: 我们要到颐和园玩;r: 我们要到圆明园玩;s:颐和园游人太多.前提: p→ (q∨r), s →¬q, p, s. 结论: r.证明① p 前提引入② p→q∨r前提引入③q∨r①②假言推理④s前提引入⑤ s →¬q前提引入⑥¬q ④⑤假言推理⑦ r ③⑥析取三段论r ¬q s →¬q sq∨r p→q∨r p(2)令p: 小王是理科生,q: 小王是文科生,r: 小王的数学成绩很好.前提: p→r, ¬q→p, ¬r 结论: q证明：① p→r 前提引入②¬r 前提引入③¬p ①②拒取式④¬q→p 前提引入⑤ q ③④拒取式习题四在一阶逻辑中将下列命题符号化:(1)没有不能表示成分数的有理数.(2)在北京卖菜的人不全是外地人.(3)乌鸦都是黑色的.(4)有的人天天锻炼身体. 没指定个体域, 因而使用全总个体域.答：(1) ¬∃x(F(x) ∧¬G(x))或∀x(F(x) →G(x)), 其中, F(x): x为有理数, G(x): x能表示成分数.(2) ¬∀x(F(x) →G(x))或∃x(F(x) ∧¬G(x)), 其中, F(x): x在北京卖菜,G(x): x是外地人.(3) ∀x(F(x) →G(x)), 其中, F(x): x是乌鸦, G(x): x是黑色的.(4) ∃x(F(x) ∧G(x)), 其中, F(x): x是人, G(x): x天天锻炼身体.5. 在一阶逻辑中将下列命题符号化:(1)火车都比轮船快.(2)有的火车比有的汽车快.(3)不存在比所有火车都快的汽车.(4)“凡是汽车就比火车慢”是不对的.答：因为没指明个体域, 因而使用全总个体域(1) ∀x∀y(F(x) ∧G(y) →H(x,y)), 其中, F(x): x是火车, G(y): y是轮船, H(x,y):x比y快.(2) ∃x∃y(F(x) ∧G(y) ∧H(x,y)), 其中, F(x): x是火车, G(y): y是汽车, H(x,y):x比y快.(3) ¬∃x(F(x) ∧∀y(G(y) →H(x,y))) 或∀x(F(x) →∃y(G(y) ∧¬H(x,y))), 其中, F(x): x是汽车, G(y): y是火车, H(x,y):x比y快.(4) ¬∀x∀y(F(x) ∧G(y) →H(x,y)) 或∃x∃y(F(x) ∧G(y) ∧¬H(x,y) ), 其中, F(x): x是汽车, G(y): y是火车, H(x,y):x比y慢.9.给定解释I如下:(a)个体域DI为实数集合\.(b)DI中特定元素⎯a =0.(c)特定函数⎯f (x,y)=x−y, x,y∈DI.(d)特定谓词⎯F(x,y): x=y,⎯G(x,y): x<y, x,y∈DI.说明下列公式在I下的含义, 并指出各公式的真值:(1) ∀x∀y(G(x,y) →¬F(x,y))(2) ∀x∀y(F(f(x,y),a) →G(x,y))(3) ∀x∀y(G(x,y) →¬F(f(x,y),a))(4) ∀x∀y(G(f(x,y),a) →F(x,y))答：(1) ∀x∀y(x<y→x≠y), 真值为1.(2) ∀x∀y((x−y=0) →x<y), 真值为0.(3) ∀x∀y((x<y) → (x−y≠0)), 真值为1.(4) ∀x∀y((x−y<0) → (x=y)), 真值为0.习题五5.给定解释I如下:(a) 个体域D={3,4}.(b)⎯f (x)为⎯f (3)=4,⎯f (4)=3.(c)⎯F(x,y)为⎯F(3,3)=⎯F(4,4)=0,⎯F(3,4)=⎯F(4,3)=1.试求下列公式在I下的真值:(1) ∀x∃yF(x,y)(2) ∃x∀yF(x,y)(3) ∀x∀y(F(x,y) →F(f(x),f(y)))答：(1) ∀x∃yF(x,y)⇔(F(3,3)∨F(3,4))∧(F(4,3)∨F(4,4))⇔(0∨1)∧(1∨0) ⇔1(2)∃x∀yF(x,y)⇔(F(3,3)∧F(3,4))∨(F(4,3)∧F(4,4))⇔(0∧1)∨(1∧0)⇔0(3)∀x∀y(F(x,y)→F(f(x),f(y)))⇔(F(3,3)→F(f(3),f(3)))∧(F(4,3)→F(f(4),f(3)))∧(F(3,4)→F(f(3),f(4)))∧(F(4,4)→F(f(4),f(4))) ⇔ (0→0)∧(1→1)∧(1→1)∧(0→0)⇔112.求下列各式的前束范式.(1) ∀xF(x) →∀yG(x, y);(3) ∀xF(x, y) ↔∃xG(x, y);答：前束范式不是唯一的.(1) ∀xF(x) →∀yG(x, y) ⇔∃x(F(x) →∀yG(x, y))⇔∃x∀y(F(x) → G(x, y)).(3) ∀xF(x, y) ↔∃xG(x, y) ⇔ (∀xF(x, y) →∃xG(x, y)) ∧ (∃xG(x, y) →∀xF(x, y)) ⇔ (∀x1F(x1, y) →∃x2G(x2, y)) ∧ (∃x3G(x3, y) →∀x4F(x4, y)) ⇔∃x1∃x2(F(x1, y) → G(x2, y)) ∧∀x3∀x4(G(x3, y) → F(x4, y)) ⇔∃x1∃x2∀x3∀x4((F(x1, y) → G(x2, y)) ∧ (G(x3, y) → F(x4, y))).13.将下列命题符号化, 要求符号化的公式全为前束范式:(1) 有的汽车比有的火车跑得快.(2) 有的火车比所有的汽车跑得快.(3) 说所有的火车比所有的汽车跑得快是不对的.(4) 说有的飞机比有的汽车慢是不对的.答：(1)令F(x):x是汽车,G(y):y是火车,H(x,y):x比y跑得快.∃x(F(x)∧∃y(G(y)∧H(x,y))⇔∃x∃y(F(x)∧G(y)∧H(x, y)).(2)令F(x):x是火车, G( y): y 是汽车,H(x,y):x比y跑得快.∃x(F(x)∧∀y(G(y)→ H(x,y)))⇔∃x∀y(F(x)∧(G y)→H(x,y))).;错误的答案:∃x∀y(F(x)∧G(y)→H(x,y)).(3)令F(x):x是火车,G(y):y是汽车,H(x,y):x比y跑得快.¬∀x(F(x)→∀y(G(y)→H(x,y)))⇔¬∀x∀y(F(x)→(G(y)→H(x,y)))⇔¬∀x∀y(F(x)∧G(y)→H(x,y))(不是前束范式)⇔∃x∃y(F(x)∧G(y)∧H(x,y)).(4)令F(x):x是飞机,G(y):y是汽车,H(x,y):x比y跑得慢.¬∃x(F(x)∧∃y(G(y)∧H(x,y)))⇔¬∃x∃y(F(x)∧G(y)∧H(x,y))(不是前束范式)⇔∀x∀y¬(F(x)∧G(y)∧H(x,y))⇔∀x∀y(F(x)∧G(y)→¬H(x,y)).21.24.在自然推理系统F中, 构造下面推理的证明:每个喜欢步行的人都不喜欢骑自行车. 每个人或者喜欢骑自行车或者喜欢乘汽车. 有的人不喜欢乘汽车, 所以有的人不喜欢步行. (个体域为人类集合) 答：令 F(x): x 喜欢步行, G( x): x喜欢骑自行车, H(x): x 喜欢乘汽车.前提:∀x(F(x)→¬G(x)), ∀x(G(x)∨H(y)),∃x¬H(x).结论:∃x¬F(x).② ∀x(G(x) ∨ H(y)) 前提引入② G(c) ∨ H(c) ①UI③∃x¬H(x) 前提引入④¬H(c) ③UI⑤ G(c) ②④析取三段⑥∀x(F(x) →¬G(x)) 前提引入⑦ F(c) →¬G(c) ⑥UI⑧¬F(c) ⑤⑦拒取⑨∃x¬F(x) ⑧EG习题七12.设A={0, 1, 2, 3}, R是A上的关系, 且R={〈0, 0〉, 〈0, 3〉, 〈2, 0〉, 〈2,1〉, 〈2, 3〉, 〈3, 2〉} 给出R的关系矩阵和关系图.16.设A={a,b,c,d}, R1,R2为A上的关系, 其中R1={〈a,a〉,〈a,b〉,〈b,d〉}R2={〈a,d〉,〈b,c〉,〈b,d〉,〈c,b〉} 求R1·R2, R2·R1,R1²,R2³. R1·R2={〈a,a〉,〈a,c〉,〈a,d〉},R2·R1={〈c,d〉}, R1²={〈a,a〉,〈a,b〉,〈a,d〉},R2³={〈b,c〉,〈b,d〉,〈c,b〉}20.设R1和R2为A上的关系,证明: (1)(R1∪R2) −1=R1−1∪R2−1(2)(R1∩R2) −1=R1−1∩R2−1答：(1)(R1∪R2)−1=R1−1∪R2−1任取〈x,y〉〈x,y〉(∈R1∪R2)−1⇔〈y,x〉(∈R1∪R2)⇔〈y,x〉∈R1∨ (y,x)∈R2)⇔〈x,y〉∈R1−1∨〈x,y〉∈R2−1⇔〈x,y〉∈R1−1∨R2−1所以(R1∪R2) −1=R1−1∪R2−1(2)(R1∩R2) −1=R1−1∩R2−1 任取〈x,y〉〈x,y〉(∈R1∩R2) −1⇔〈y,x〉(∈R1∩R2)⇔〈y,x〉∈R1∧ (y,x)∈R2)⇔〈x,y〉∈R1−1∧〈x,y〉∈R2−1⇔〈x,y〉∈R1−1∧R2−1所以(R1∪R2) −1=R1−1∩R2−126.33.43.16.47.。
《离散数学》题库大全及答案
《离散数学》题库大全及答案为离散数学领域的经典教材,全世界几乎所有知名的院校都曾经使用本书作为教材.以我个人观点看来,这本书可以称之为离散数学百科.书中不但介绍了离散数学的理论和方法,还有丰富的历史资料和相关学习网站资源.更为令人激动的便是这本书少有的将离散数学理论与应用结合得如此的好.你可以看到离散数学理论在逻辑电路,程序设计,商业和互联网等诸多领域的应用实例.本书的英文版(第六版)当中更增添了相当多的数学和计算机科学家的传记,是计算机科学历史不可多得的参考资料.作为教材这本书配有相当数量的练习.每一章后面还有一组课题,把学生已经学到的计算和离散数学的内容结合在一起进行训练.这本书也是我个人在学习离散数学时读的唯一的英文教材,实为一本值得推荐的好书。
《离散数学》题库答案一、选择或填空（数理逻辑部分）1、下列哪些公式为永真蕴含式？( )(1)?Q=>Q→P (2)?Q=>P→Q (3)P=>P→Q (4)?P∧(P∨Q)=>?P答：（1），（4）2、下列公式中哪些是永真式？( )(1)(┐P∧Q)→(Q→?R) (2)P→(Q→Q) (3)(P∧Q)→P (4)P→(P∨Q)答：（2），（3），（4）3、设有下列公式，请问哪几个是永真蕴涵式?( )(1)P=>P∧Q (2) P∧Q=>P (3) P∧Q=>P∨Q(4)P∧(P→Q)=>Q (5) ?(P→Q)=>P (6) ?P∧(P∨Q)=>?P答：（2），（3），（4），（5），（6）4、公式?x((A(x)→B(y，x))∧?z C(y，z))→D(x)中，自由变元是( )，约束变元是( )。
答：x,y, x,z5、判断下列语句是不是命题。
若是，给出命题的真值。
( )(1)北京是中华人民共和国的首都。
(2) 陕西师大是一座工厂。
(3) 你喜欢唱歌吗？ (4) 若7+8＞18，则三角形有4条边。
《离散数学》部分习题答案
第一章部分课后习题参考答案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)中为真命题。
离散数学参考答案
离散数学参考答案答题： A. B. C. D. 答题： A. B. C. D. 答题： A. B. C. D. 答题： A. B. C. D. 答题： A. B. C. D. 答题： A. B. C. D.答题： A. B. C. D. 答题： A. B. C. D. 答题： A. B. C. D. 答题： A. B. C. D.答题： A. B. C. D.12.(单选题) 设：p：派⼩王去开会。
q：派⼩李去开会。
则命题：“派⼩王或⼩李中的⼀⼈去开会” 可符号化为：（）答题： A. B. C. D. （已提交）参考答案：B问题解析：答题： A. B. C. D.答题： A. B. C. D.答题： A. B. C. D.答题： A. B. C. D.答题： A. B. C. D.答题： A. B. C. D.答题： A. B. C. D.问题解析：20.(单选题) 下⾯“”的等价说法中，不正确的为A．p是q的充分条件B．q是p的必要条件C．q仅当p D．只有q才p答题： A. B. C. D. （已提交）参考答案：C问题解析：答题： A. B. C. D.22.(单选题) 下列式⼦是合式公式的是( )A．（P ú ? Q）B．?（P ù（Q ú R））C．（P ? Q）D．ù Q ? ù R答题： A. B. C. D. （已提交）参考答案：B问题解析：23.(单选题) 公式?（（p?q）ù（q ? p））与的共同成真赋值为( ) A．01，10 B．10，01 C．11，00 D．01，11答题： A. B. C. D. （已提交）参考答案：A问题解析：24.(单选题) p,q都是命题，则p?q的真值为假当且仅当( ) A．p为假，q为真B．p为假，q也为假C．p为真，q也为真D．p为真，q为假答题： A. B. C. D. （已提交）参考答案：D问题解析：25.(单选题) n个命题变元组成的命题公式，有( )种真值情况A．n B．C． D．2n答题： A. B. C. D. （已提交）参考答案：C问题解析：26.(单选题) 设A , B 代表任意的命题公式，则德？摩根律为（A ù B）?( )A．?A ù ?B B．?A ú ?BC．A ù ?B D．AúB答题： A. B. C. D. （已提交）参考答案：B问题解析：27.(单选题) 设P , Q 是命题公式，德？摩根律为：（P ú Q）?( )A．?P ù ?Q B．?P ú ?QC．P ù ?Q D．PúQ答题： A. B. C. D. （已提交）问题解析：28.(单选题) 命题公式A与B是等值的，是指（）。
《离散数学》课后习题答案
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)⌝Q=>Q→P (2)⌝Q=>P→Q (3)P=>P→Q (4)⌝P∧(P∨Q)=>⌝P答：在第三章里面有公式（1）是附加律，（4）可以由第二章的蕴含等值式求出（注意与吸收律区别）2、下列公式中哪些是永真式( )(1)(┐P∧Q)→(Q→⌝R) (2)P→(Q→Q) (3)(P∧Q)→P (4)P→(P∨Q)答：（2），（3），（4）可用蕴含等值式证明3、设有下列公式，请问哪几个是永真蕴涵式( )(1)P=>P∧Q (2) P∧Q=>P (3) P∧Q=>P∨Q(4)P∧(P→Q)=>Q (5) ⌝(P→Q)=>P (6) ⌝P∧(P∨Q)=>⌝P答：（2）是第三章的化简律，（3）类似附加律，（4）是假言推理，（3），（5），（6）都可以用蕴含等值式来证明出是永真蕴含式4、公式x((A(x)B(y，x))z C(y，z))D(x)中，自由变元是( )，约束变元是( )。
答：x,y, x,z（考察定义在公式x A和x A中，称x为指导变元，A为量词的辖域。
在x A和x A的辖域中，x的所有出现都称为约束出现，即称x 为约束变元，A中不是约束出现的其他变项则称为自由变元。
于是A(x)、B(y，x)和z C(y，z)中y为自由变元，x和z为约束变元，在D(x)中x 为自由变元）5、判断下列语句是不是命题。
若是，给出命题的真值。
( )(1)北京是中华人民共和国的首都。
(2) 陕西师大是一座工厂。
(3) 你喜欢唱歌吗 (4) 若7+8＞18，则三角形有4条边。
(5) 前进！ (6) 给我一杯水吧！答：（1）是，T （2）是，F （3）不是（4）是，T （5）不是（6）不是（命题必须满足是陈述句，不能是疑问句或者祈使句。
）6、命题“存在一些人是大学生”的否定是( )，而命题“所有的人都是要死的”的否定是( )。
离散数学形考任务17试题及答案完整版
2017年11月上交的离散数学形考任务一本课程的教学内容分为三个单元，其中第三单元的名称是（A ）．选择一项：A. 数理逻辑B. 集合论C. 图论D. 谓词逻辑题目2答案已保存满分10.00标记题目题干本课程的教学内容按知识点将各种学习资源和学习环节进行了有机组合，其中第2章关系与函数中的第3个知识点的名称是（D ）．选择一项：A. 函数B. 关系的概念及其运算C. 关系的性质与闭包运算D. 几个重要关系题目3答案已保存满分10.00标记题目题干本课程所有教学内容的电视视频讲解集中在VOD点播版块中，VOD点播版块中共有（B）讲．选择一项：A. 18B. 20C. 19D. 17题目4答案已保存满分10.00标记题目题干本课程安排了7次形成性考核作业，第3次形成性考核作业的名称是（ C）．选择一项：A. 集合恒等式与等价关系的判定B. 图论部分书面作业C. 集合论部分书面作业D. 网上学习问答题目5答案已保存满分10.00标记题目题干课程学习平台左侧第1个版块名称是：（C）．选择一项：A. 课程导学B. 课程公告C. 课程信息D. 使用帮助题目6答案已保存满分10.00标记题目题干课程学习平台右侧第5个版块名称是：（D）．选择一项：A. 典型例题B. 视频课堂C. VOD点播D. 常见问题题目7答案已保存满分10.00标记题目题干“教学活动资料”版块是课程学习平台右侧的第（ A ）个版块．选择一项：A. 6B. 7C. 8D. 9题目8答案已保存满分10.00标记题目题干课程学习平台中“课程复习”版块下，放有本课程历年考试试卷的栏目名称是：（D ）．选择一项：A. 复习指导B. 视频C. 课件D. 自测请您按照课程导学与章节导学中安排学习进度、学习目标和学习方法设计自己的学习计划，学习计划应该包括：课程性质和目标（参考教学大纲）、学习内容、考核方式，以及自己的学习安排，字数要求在100—500字．完成后在下列文本框中提交．解答：学习计划学习离散数学任务目标：其一是通过学习离散数学，使学生了解和掌握在后续课程中要直接用到的一些数学概念和基本原理，掌握计算机中常用的科学论证方法，为后续课程的学习奠定一个良好的数学基础；其二是在离散数学的学习过程中，培养自学能力、抽象思维能力和逻辑推理能力，解决实际问题的能力，以提高专业理论水平。
离散数学习题答案精选全文完整版
可编辑修改精选全文完整版离散数学习题答案习题一：P121.判断下列句子哪些是命题？在是命题的句子中，哪些是简单命题？哪些是真命题？哪些命题的真值现在还不知道？(1)中国有四大发明。
(2)5是无理数。
(3)3是素数或4是素数。
(4)x2+3<5，其中x是任意实数。
(5)你去图书馆吗？(6)2与3都是偶数。
(7)刘红与魏新是同学。
(8)这朵玫瑰花多美丽呀！(9)吸烟请到吸烟室去！(10)圆的面积等于半径的平方乘π。
(11)只有6是偶数，3才能是2的倍数。
(12)8是偶数的充分必要条件是8能被3整除。
(13)2025年元旦下大雪。
1、2、3、6、7、10、11、12、13是命题。
在上面的命题中，1、2、7、10、13是简单命题；1、2、10是真命题；7的真值现在还不知道。
2.将上题中是简单命题的命题符号化。
(1)p：中国有四大发明。
(2)q：5是无理数。
(7)r：刘红与魏新是同学。
(10)s：圆的面积等于半径的平方乘π。
(1)t：2025年元旦下大雪。
3.写出下列各命题的否定式，并将原命题及其否定式都符号化，最后指出各否定式的真值。
“5是有理数”的否定式是“5不是有理数”。
解：原命题可符号化为：p：5是有理数。
其否定式为：非p。
非p的真值为1。
4.将下列命题符号化，并指出真值。
(1)2与5都是素数。
(2)不但π是无理数，而且自然对数的底e也是无理数。
(3)虽然2是最小的素数，但2不是最小的自然数。
(4)3是偶素数。
(5)4既不是素数，也不是偶数。
a：2是素数。
b：5是素数。
c：π是无理数。
d：e是无理数。
f：2是最小的素数。
g：2是最小的自然数。
h：3是偶数。
i：3是素数。
j：4是素数。
k：4是偶数。
解：（1）到（5）的符号化形式分别为a∧b，c∧d，f∧非g，h∧i，非j∧非k。
这五个复合命题的真值分别为1，1，1，0，0。
5.将下列命题符号化，并指出真值。
a：2是偶数。
b：3是偶数。
c：4是偶数。
离散数学课后答案精编版
( P, Q, R) = (T , T ,×), ( F ,×,×) 。
（3） (¬¬P ∧ Q ) → ((Q → R ) ↔ ¬P ) 解 当P =T 时 原式= (¬¬T ∧ Q ) → ((Q → R ) ↔ ¬T ) = Q → ((Q → R ) ↔ F ) = Q → ¬(Q → R ) 当Q = T 时
( P, Q, R) = (T , T , F ) ，存在成假解释 ( P, Q, R) = (T , T , T ) ，故公式可满足，但非永真。
1.3 试求下列公式的成真解释和成假解释 （1） ¬(( P → Q ) → R ) ↔ (Q ∨ R ) 解 当Q = T 时 原式= ¬(( P → T ) → R ) ↔ (T ∨ R ) = ¬(T → R ) ↔ T = ¬R 当 R = T 时，上式= F ，当 R = F 时，上式= T 。 当Q = F 时 原式= ¬(( P → F ) → R ) ↔ ( F ∨ R ) = ¬(¬P → R ) ↔ R 当R =T 时 上式= ¬(¬P → T ) ↔ T = ¬T ↔ T =F 当R = F 时 上式= ¬(¬P → F ) ↔ F
P ∧ Q = ¬( P → ¬Q)
所以，联结词集合 {¬, →}可以表示集合 {¬,∧,∨}。 又因为，联结词集合 {¬,∧,∨} 是完备的，即 {¬,∧,∨} 可以表示任何一个命题演算公式， 所以 {¬, →}可以表示任何一个命题演算公式，故联结词集合 {¬, →}是完备的。 1.6 试证明联结词集合 {∧}, {→} 不是完备的。 证明 设 集 合
( P, Q, R) = (T , T , T ) 。
（4） (¬¬P → ¬Q ) ∧ (Q ∨ (¬R ∧ P )) 解 当P =T 时 原式= (¬¬T → ¬Q ) ∧ (Q ∨ (¬R ∧ T )) = (T → ¬Q ) ∧ (Q ∨ ¬R ) = ¬Q ∧ (Q ∨ ¬R ) 当Q = T 时 上式= ¬T ∧ (T ∨ ¬R ) =F ∧T =F 当Q = F 时 上式= ¬F ∧ ( F ∨ ¬R ) = T ∧ ¬R
离散数学课后答案
离散数学课后答案第一章离散数学基础题目1问题：证明集合A和集合B的笛卡尔积的基数等于集合A 和集合B的基数的乘积。
答案：设集合A的基数为|A|，集合B的基数为|B|。
我们要证明集合A和集合B的笛卡尔积的基数等于集合A和集合B的基数的乘积，即|(A x B)| = |A| * |B|。
首先，我们可以将集合A x B表示为{(a, b) | a∈A, b∈B}。
由于A和B是两个集合，集合A x B中的元素可以看作是将A 中每个元素与B中每个元素组成的有序对。
因此，集合A x B 中的元素个数等于A中元素的个数乘以B中元素的个数，即|(A x B)| = |A| * |B|。
题目2问题：对任意两个集合A和B，证明A∩(A∪B) = A。
答案：要证明A∩(A∪B) = A，首先我们需要理解集合的交和并的定义。
- 集合的交：集合A∩B表示同时属于集合A和集合B的元素组成的集合。
- 集合的并：集合A∪B表示属于集合A或集合B的元素组成的集合。
现在，我们开始证明。
首先，根据集合的并的定义，A∪B 表示属于集合A或集合B的元素组成的集合。
因此，任意属于集合A的元素也一定属于A∪B，即A⊆A∪B。
其次，根据集合的交的定义，A∩(A∪B)表示同时属于集合A和集合A∪B的元素组成的集合。
由于A⊆A∪B，所以A中的元素一定属于A∪B，因此A∩(A∪B) = A。
综上所述，对任意两个集合A和B，A∩(A∪B) = A成立。
第二章命题逻辑题目1问题：证明合取命题的真值表达式。
答案：合取命题的真值表达式表示命题P和命题Q同时为真时合取命题为真，否则为假。
假设命题P和命题Q的真值分别为真（T）或假（F），那么合取命题的真值可以通过以下真值表得出：P Q P∧QT T TT F FF T FF F F从上述真值表可以看出，只有P和Q都为真时，合取命题才为真。
如果其中一个或两个命题为假，则合取命题为假。
题目2问题：证明命题的等价关系。
大学离散数学课后答案
9.1.1 解：⑴ 几何图表示如右。
⑵ deg(v 1)=3 deg(v 2)=4 deg(v 3)=3 deg(v 4)=3 deg(v 5)=1 deg(v 6)=0 奇度数结点数为 4。
⑶ (v 2,v 2) 为自环；(v 1,v 3) 与 (v 3,v 1) 为平行边；(v 4,v 5) 为悬挂边；v 5 为悬挂点；v 6 为孤立点。
该图为伪图。
9.1.2 证：⑴ n 个结点的所有图中，完全图边数最多。
每点n-1度，n 个点的总度数为：2m=∑=n i i v 1)deg(=n(n-1) ∴ m=n(n-1)/2n 个结点的任一图的边数≤完全图的边数，∴ m ≤n(n-1)/2 ※ ⑵ ∵ 在简单有向完全图中，任二点之间有两条方向相反的边，∴ 每点的度数为 2(n-1)，∴ 总度数为 2m=2(n-1)n ，∴ m=n(n-1)。
※ 9.1.3 解：⑴ 去掉 v 点后，有 n-1个结点，m-d 条边。
⑵ 去掉 e 边后，有 n 个结点，m-1条边。
9.1.4 证：假设n 个结点的度数皆不相同∵ 在简单无向图中，一个结点的最大度数为n-1，最小度数为0。
∴ 它们只能为 0，1，…，n-1 n 个值。
∵ 0度点不与其它任何结点相邻，而n-1度点与其它任何结点相邻，∴ 二者产生一个矛盾。
※ 9.1.5 解：仅考虑无向图。
⑴ 可构成图，图如右。
⑵ 否。
奇度数结点数为奇数。
⑶ 否。
n 个结点的简单无向图中，结点的最大度数为n-1，5不可。
⑷ 否。
后三点均与其它各点有边，故第一点也应三度。
⑸ 否。
后二点均与其它各点有边，故第一点至少应为二度。
9.1.6 解：2m=nk m=nk/2 。
9.1.7 证：⑴ 当图G 中n 个点的度数都为 δ(G)时，总度数为 2m=n δ(G)。
但一般情况下，δ(G) 为最小度数，而并非所有结点的度数都为 δ(G)时， 必有 2m ≥n δ(G)， ∴ 2m/n ≥δ(G) 。
离散数学课后答案全集
第1章 命题逻辑P7 习题1. 给出下列命题的否定命题： （1）大连的每条街道都临海。
否命题：不是大连的每条街道都临海。
（2）每一个素数都是奇数。
否命题： 并非每一个素数都是奇数。
2. 对下述命题用中文写出语句： （1）()P R Q ⌝∧→如果非P 与R ，那么Q 。
（2）Q R ∧Q 并且R 。
3. 给出命题P Q →，我们把Q P →、P Q ⌝→⌝、Q P ⌝→⌝分别称为命题P Q →的逆命题、反命题、逆反命题。
（1）如果天不下雨，我将去公园。
解：逆命题：如果我去公园，则天不下雨； 反命题：如果天下雨，则我不去公园；逆反命题：如果我不去公园，则天下雨了。
（2）仅当你去我才逗留。
解：（此题注意：p 仅当q 翻译成p q →） 逆命题：如果你去，那么我逗留。
反命题：如果我不逗留，那么你没去。
逆反命题：如果你没去，那么我不逗留。
（3）如果n 是大于2的正整数，那么方程nn n xy z +=无整数解。
解：逆命题：如果方程nn n xy z +=无整数解，那么n 是大于2的正整数。
反命题：如果n 不是大于2的正整数，那么方程nn n x y z +=有整数解。
逆反命题：如果方程nn n xy z +=有整数解，那么n 不是大于2的正整数。
（4）如果我不获得更多的帮助，那么我不能完成这项任务。
解：逆命题：如果我不完成任务，那么我不获得更多的帮助。
反命题：如果我获得了更多的帮助，那么我能完成任务。
逆反命题：如果我能完成任务，那么我获得了更多的帮助。
4. 给P 和Q 指派真值T ，给R 和S 指派真值F ，求出下列命题的真值。
（1）(()(()()))P Q R Q P R S ⌝∧∨⌝∨↔⌝→∨⌝=(()(()()))T T F T T F F ⌝∧∨⌝∨↔⌝→∨⌝ =()T F T ⌝∨→ =T F ∨ =T（2）()Q P Q P ∧→→ =()T T T T ∧→→ =T T T ∧→ =T T →=T（3）((()))()P Q R P Q S ∨→∧⌝↔∨⌝=((()))()T T F T T F ∨→∧⌝↔∨⌝ =(())T T F T ∨→↔ =T T ↔ =T（4）()()P R Q S →∧⌝→ =()()T F T F →∧⌝→=()F F F ∧→=F5. 构成下来公式的真值表： （1）()Q P Q P ∧→→（2）()()()P Q R P Q P R ⌝∨∧↔∨∧∨（3）()P Q Q P P R ∨→∧→∧⌝（4）()P P Q R Q R ⌝→∧⌝→∧∨⌝6. 使用真值表证明：如果P Q ↔为T ，那么P Q →和Q P →都是T ，反之亦然。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
04任务_0006试卷总分：100 测试时间：0单项选择题一、单项选择题（共10 道试题，共100 分。
）1. 设有向图（a）、（b）、（c）与（d）如图所示，则下列结论成立的是( )．A. （a）只是弱连通的B. （b）只是弱连通的C. （c）只是弱连通的D. （d）只是弱连通的2. 设无向图G的邻接矩阵为，则G的边数为( )．A. 1B. 6C. 7D. 143. 设无向图G的邻接矩阵为，则G的边数为( )．A. 6B. 5C. 4D. 34. 无向简单图G是棵树，当且仅当( )．A. G连通且边数比结点数少1B. G连通且结点数比边数少1C. G的边数比结点数少1D. G中没有回路．5. 图G如图三所示，以下说法正确的是 ( ) ．A. {(a, d)}是割边B. {(a, d)}是边割集C. {(a, d) ,(b, d)}是边割集D. {(b, d)}是边割集6. 若G是一个汉密尔顿图，则G一定是( )．A. 平面图B. 对偶图C. 欧拉图D. 连通图7. 设G是连通平面图，有v个结点，e条边，r个面，则r= ( )．A. e－v＋2B. v＋e－2C. e－v－2D. e＋v＋28. 无向完全图K4是（）．A. 欧拉图B. 汉密尔顿图C. 非平面图D. 树9. 设图G＝<V, E>，v V，则下列结论成立的是 ( ) ．A. deg(v)=2|E|B. deg(v)=|E|C.D.10. 以下结论正确的是( )．A. 无向完全图都是欧拉图B. 有n个结点n－1条边的无向图都是树C. 无向完全图都是平面图D. 树的每条边都是割边04任务_0007试卷总分：100 测试时间：0单项选择题一、单项选择题（共10 道试题，共100 分。
）1. 图G如图三所示，以下说法正确的是 ( ) ．A. {(a, d)}是割边B. {(a, d)}是边割集C. {(a, d) ,(b, d)}是边割集D. {(b, d)}是边割集2. 如图所示，以下说法正确的是 ( )．A. e是割点B. {a,e}是点割集C. {b, e}是点割集D. {d}是点割集3. 设有向图（a）、（b）、（c）与（d）如图所示，则下列结论成立的是( )．A. （a）只是弱连通的B. （b）只是弱连通的C. （c）只是弱连通的D. （d）只是弱连通的4. 设无向图G的邻接矩阵为，则G的边数为( )．A. 1B. 6C. 7D. 145. 如图一所示，以下说法正确的是 ( ) ．A. {(a, e)}是割边B. {(a, e)}是边割集C. {(a, e) ,(b, c)}是边割集D. {(d, e)}是边割集6. 无向完全图K4是（）．A. 欧拉图B. 汉密尔顿图C. 非平面图D. 树7. 已知一棵无向树T中有8个顶点，4度、3度、2度的分支点各一个，T的树叶数为( )．A. 8B. 5C. 4D. 38. 无向图G存在欧拉回路，当且仅当（）.A. G中所有结点的度数全为偶数B. G中至多有两个奇数度结点C. G连通且所有结点的度数全为偶数D. G连通且至多有两个奇数度结点9. 以下结论正确的是( )．A. 无向完全图都是欧拉图B. 有n个结点n－1条边的无向图都是树C. 无向完全图都是平面图D. 树的每条边都是割边10. 无向简单图G是棵树，当且仅当( )．A. G连通且边数比结点数少1B. G连通且结点数比边数少1C. G的边数比结点数少1D. G中没有回路．04任务_0008试卷总分：100 测试时间：0单项选择题一、单项选择题（共10 道试题，共100 分。
）1. 设G是连通平面图，有v个结点，e条边，r个面，则r= ( )．A. e－v＋2B. v＋e－2C. e－v－2D. e＋v＋22. 已知一棵无向树T中有8个顶点，4度、3度、2度的分支点各一个，T的树叶数为( )．A. 8B. 5C. 4D. 33. 若G是一个欧拉图，则G一定是( )．A. 平面图B. 汉密尔顿图C. 连通图D. 对偶图4. 图G如图二所示，以下说法正确的是 ( )．A. a是割点B. {b,c}是点割集C. {b, d}是点割集D. {c}是点割集5. 如图所示，以下说法正确的是 ( )．A. e是割点B. {a,e}是点割集C. {b, e}是点割集D. {d}是点割集6. 若G是一个汉密尔顿图，则G一定是( )．A. 平面图B. 对偶图C. 欧拉图D. 连通图7. 无向图G存在欧拉回路，当且仅当（）.A. G中所有结点的度数全为偶数B. G中至多有两个奇数度结点C. G连通且所有结点的度数全为偶数D. G连通且至多有两个奇数度结点8. 设图G＝<V, E>，v V，则下列结论成立的是 ( ) ．A. deg(v)=2|E|B. deg(v)=|E|C.D.9. 以下结论正确的是( )．A. 无向完全图都是欧拉图B. 有n个结点n－1条边的无向图都是树C. 无向完全图都是平面图D. 树的每条边都是割边10. 图G如图三所示，以下说法正确的是 ( ) ．A. {(a, d)}是割边B. {(a, d)}是边割集C. {(a, d) ,(b, d)}是边割集D. {(b, d)}是边割集04任务_0009试卷总分：100 测试时间：0单项选择题一、单项选择题（共10 道试题，共100 分。
）1. 无向完全图K4是（）．A. 欧拉图B. 汉密尔顿图C. 非平面图D. 树2. 已知无向图G的邻接矩阵为，则G有（）．A. 5点，8边B. 6点，7边C. 6点，8边D. 5点，7边3. 图G如图二所示，以下说法正确的是 ( )．A. a是割点B. {b,c}是点割集C. {b, d}是点割集D. {c}是点割集4. 设图G＝<V, E>，v V，则下列结论成立的是 ( ) ．A. deg(v)=2|E|B. deg(v)=|E|C.D.5. 无向图G存在欧拉回路，当且仅当（）.A. G中所有结点的度数全为偶数B. G中至多有两个奇数度结点C. G连通且所有结点的度数全为偶数D. G连通且至多有两个奇数度结点6. 以下结论正确的是( )．A. 无向完全图都是欧拉图B. 有n个结点n－1条边的无向图都是树C. 无向完全图都是平面图D. 树的每条边都是割边7. 若G是一个欧拉图，则G一定是( )．A. 平面图B. 汉密尔顿图C. 连通图D. 对偶图8. 已知一棵无向树T中有8个顶点，4度、3度、2度的分支点各一个，T的树叶数为( )．A. 8B. 5C. 4D. 39. 若G是一个汉密尔顿图，则G一定是( )．A. 平面图B. 对偶图C. 欧拉图D. 连通图10. 设G是连通平面图，有v个结点，e条边，r个面，则r= ( )．A. e－v＋2B. v＋e－2C. e－v－2D. e＋v＋204任务_0010试卷总分：100 测试时间：0单项选择题一、单项选择题（共10 道试题，共100 分。
）1. 设无向图G的邻接矩阵为，则G的边数为( )．A. 1B. 6C. 7D. 142. 无向图G存在欧拉回路，当且仅当（）.A. G中所有结点的度数全为偶数B. G中至多有两个奇数度结点C. G连通且所有结点的度数全为偶数D. G连通且至多有两个奇数度结点3. 设图G＝<V, E>，v V，则下列结论成立的是 ( ) ．A. deg(v)=2|E|B. deg(v)=|E|C.D.4. 设G是连通平面图，有v个结点，e条边，r个面，则r= ( )．A. e－v＋2B. v＋e－2C. e－v－2D. e＋v＋25. 若G是一个汉密尔顿图，则G一定是( )．A. 平面图B. 对偶图C. 欧拉图D. 连通图6. 以下结论正确的是( )．A. 无向完全图都是欧拉图B. 有n个结点n－1条边的无向图都是树C. 无向完全图都是平面图D. 树的每条边都是割边7. 已知一棵无向树T中有8个顶点，4度、3度、2度的分支点各一个，T的树叶数为( )．A. 8B. 5C. 4D. 38. 设有向图（a）、（b）、（c）与（d）如图四所示，则下列结论成立的是( )．图四A. （a）是强连通的B. （b）是强连通的C. （c）是强连通的D. （d）是强连通的9. 图G如图二所示，以下说法正确的是 ( )．A. a是割点B. {b,c}是点割集C. {b, d}是点割集D. {c}是点割集10. 无向树T有8个结点，则T的边数为( )．A. 6B. 7C. 8D. 9。