离散数学(第30讲习题课5)
离散数学 (5)
15
一阶逻辑中命题符号化( 一阶逻辑中命题符号化(续)
例3 在一阶逻辑中将下面命题符号化 (1) 正数都大于负数 (2) 有的无理数大于有的有理数 注意: 题目中没给个体域, 解 注意 题目中没给个体域 一律用全总个体域 (1) 令F(x): x为正数 G(y): y为负数 L(x,y): x>y 为正数, 为负数, 为正数 为负数 →y(G(y)→L(x,y))) 或 x(F(x)→ → → xy(F(x)∧G(y)→L(x,y)) ∧ → 两者等值 (2) 令F(x): x是无理数 G(y): y是有理数 是无理数, 是有理数, 是无理数 是有理数 L(x,y):x>y : ∧y(G(y)∧L(x,y))) x(F(x)∧ ∧ ∧ 或 xy(F(x)∧G(y)∧L(x,y)) ∧ ∧ 两者等值
6
谓词: 谓词 表示个体词的性质或相互之间关系的词 谓词常项: 谓词常项:表示具体性质或关系的谓词 F: …是人,F(a):a是人 是人, 是人 : 是人 是自然数, G: …是自然数, F(2):2是自然数 是自然数 : 是自然数 谓词变项: 谓词变项:表示抽象的或泛指的谓词 F: …具有性质 ,F(x):x具有性质 具有性质F, 具有性质具有性质 : 具有性质 元数: 元数:谓词中所包含的个体变项个数 一元谓词: 一元谓词 表示事物的性质 多元谓词(n元谓词 ≥ 元谓词, 多元谓词 元谓词 n≥2): 表示个体词之间的关系 有关系L, 如 L(x,y): x与y有关系 , L(x,y): x比y高2厘米 : 与 有关系 : 比 高 厘米 注意:多元谓词中, 注意:多元谓词中,个体变项的顺序不能随意改动
9
例1(续) 续
(2) 2 是无理数仅当 3 是有理数 2 在命题逻辑中, 是有理数. 在命题逻辑中 设 p: 2 是无理数,q: 33 : 2是无理数, : 是有理数 符号化为 q→p, 这是假命题 → 在一阶逻辑中, x是无理数 是无理数, x是有理 在一阶逻辑中, 设F(x): x是无理数, G(x): x是有理 数符号化为 F ( ( 22 ) → G (3 )3 ) F ) → G( (3) 如果 如果2>3,则3<4 , 在命题逻辑中, 在命题逻辑中 设 p:2>3,q:3<4. : , : 符号化为 p→q, 这是真命题 → 在一阶逻辑中, 在一阶逻辑中 设 F(x,y):x>y,G(x,y):x<y, : , : 符号化为 F(2,3)→G(3,4) →
离散数学课后习题答案
1.3.1习题1.1解答1设S = {2，a，{3}，4}，R ={{a}，3，4，1}，指出下面的写法哪些是对的，哪些是错的？{a}∈S,{a}∈R,{a,4,{3}}⊆S,{{a},1,3,4}⊂R,R=S,{a}⊆S,{a}⊆R,φ⊆R,φ⊆{{a}}⊆R⊆E,{φ}⊆S,φ∈R,φ⊆{{3},4}。
解：{a}∈S ，{a}∈R ，{a，4，{3}} ⊆ S ，{{a}，1，3，4 } ⊂ R ，R = S ，{a}⊆S ，{a}⊆ R ，φ⊆ R ，φ⊆ {{a}} ⊆ R ⊆ E ，{φ} ⊆ S ，φ∈R ，φ⊆ {{3}，4 } 2写出下面集合的幂集合{a，{b}}，{1，φ}，{X，Y，Z}解：设A={a，{b}}，则ρ(A)={ φ，{a}，{{b}}，{a，{b}}}；设B={1，φ}，则ρ(B)= { φ，{1}，{φ}，{1，φ}}；设C={X，Y，Z}，则ρ(C)= { φ，{X}，{Y}，{Z}，{X，Y }，{X，Z }，{ Y，Z }，{X，Y，Z}}；3对任意集合A，B，证明：(1)A⊆B当且仅当ρ(A)⊆ρ(B)；(2)ρ(A)⋃ρ(B)⊆ρ(A⋃B)；(3)ρ(A)⋂ρ(B)=ρ(A⋂B)；(4)ρ(A-B) ⊆(ρ(A)-ρ(B)) ⋃{φ}。
举例说明：ρ(A)∪ρ(B)≠ρ( A∪B)证明：(1)证明：必要性，任取x∈ρ(A)，则x⊆A。
由于A⊆B，故x⊆B，从而x∈ρ(B)，于是ρ(A)⊆ρ(B)。
充分性，任取x∈A，知{x}⊆A，于是有{x}∈ρ(A)。
由于ρ(A)⊆ρ(B)，故{x}∈ρ(B)，由此知x∈B，也就是A⊆B。
（2）证明：任取X∈ρ(A)∪ρ(B)，则X∈ρ(A)或X∈ρ(B)∴X⊆A或X⊆B∴X⊆(A∪B)∴X∈ρ(A∪B)所以ρ(A)∪ρ(B) ⊆ρ( A∪B)（3）证明：先证ρ(A)∩ρ(B) ⊆ρ( A∩B)任取X∈ρ(A)∩ρ(B)，则X∈ρ(A)且X∈ρ(B)∴X⊆A且X⊆B∴X⊆ A∩B∴X∈ρ( A∩B)所以ρ(A)∩ρ(B) ⊆ρ( A∩B)再证ρ( A∩B) ⊆ρ(A)∩ρ(B)任取Y∈ρ(A∩B)，则Y⊆ A∩B∴Y⊆A且Y⊆B∴Y∈ρ(A)且Y∈ρ(B)∴Y∈ρ(A)∩ρ(B)所以ρ( A∩B) ⊆ρ(A)∩ρ(B)故ρ(A)∩ρ(B) = ρ( 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) 是合式公式。
离散数学(第二版)最全课后习题答案详解
4.将下列命题符号化，并指出真值. （1）2 与 5 都是素数
答：p：2 是素数，q：5 是素数，符号化为 p q∧ ，其真值为 1.
（2）不但 π 是无理数，而且自然对数的底 e 也是无理数. 答：p：π 是无理数，q：自然对数的底 e 是无理数，符号化为 p q∧ ，其真值为 1.
若 p 为真,则真值为 0;若 p 为假,则真值为 1
14.将下列命题符号化：
（1） 刘晓月跑得快,跳得高；
（2） 老王是山东人或者河北人；
（3） 因为天气冷,所以我穿了羽绒服；
（4） 王欢与李乐组成一个小组；
（5） 李欣与李末是兄弟；
（6） 王强与刘威都学过法语；
（7） 他一面吃饭,一面听音乐；
（8） 如果天下大雨,他就乘班车上班；
1
0
1
0
1
0
0
1
1
1
0
0
0
0
1
0
1
0
1
1
1
1
0
0
1
0
1
0
1
0
0
1
1
1
此式为可满足式
20.求下列公式的成真赋值： （1）
（2）
（3）
（4）
p
q
解：
0
0
0
1
1
0
0
1
1
0
1
1
1
0
1
1
1
1
1
1
1
1
0
1
由真值表得：（1）的成真赋值是 01，10,11（2）的成真赋值是 00，10,11
离散数学上海课后习题答案
离散数学上海课后习题答案离散数学是一门研究离散结构和离散对象的数学学科，其应用广泛，涉及到计算机科学、信息科学、电子工程等领域。
在学习离散数学的过程中，课后习题是巩固知识、提高能力的重要环节。
本文将为大家提供一些离散数学上海课后习题的答案，希望能够帮助大家更好地理解和掌握这门学科。
第一章命题逻辑1. 命题逻辑是研究命题之间关系的数学分支。
其中，命题是指可以判断真假的陈述句。
命题逻辑的基本运算有与、或、非、蕴含和等价等。
2. 真值表是用来表示命题逻辑中命题的真假取值的表格。
通过真值表，可以判断命题之间的逻辑关系。
3. 简化命题是指将复杂的命题通过逻辑运算简化为更简单的形式。
常用的简化方法有代入法、等价变换法和逻辑运算法则等。
4. 命题公式是由命题变量和逻辑运算符组成的表达式。
命题公式可以通过真值表来验证其真假。
第二章集合论1. 集合是由一些确定的对象组成的整体。
集合论是研究集合性质、集合间关系以及集合运算的数学理论。
2. 集合的基本运算有并、交、差和补运算。
并集是指将两个或多个集合中的元素合并在一起；交集是指两个或多个集合中共有的元素；差集是指一个集合中去掉与另一个集合中相同的元素；补集是指一个集合中不属于另一个集合的元素。
3. 集合的基数是指集合中元素的个数。
对于有限集合，可以通过数数的方式确定其基数；对于无限集合，可以通过一一对应的方式确定其基数。
4. 集合的运算律是指集合运算满足的一些基本性质。
常见的集合运算律有交换律、结合律、分配律等。
第三章关系与函数1. 关系是指集合之间元素之间的一种对应关系。
关系可以用集合的形式表示，也可以用矩阵的形式表示。
2. 函数是一种特殊的关系，它将一个集合中的每个元素映射到另一个集合中的唯一元素。
函数可以用箭头图表示，也可以用公式表示。
3. 函数的性质有单射、满射和双射等。
单射是指函数中不同的输入对应不同的输出；满射是指函数的值域等于其陪域；双射是指函数既是单射又是满射。
离散数学习题课带答案
(P(Q∧R))∧(P(Q∧R)) (P∨(Q∧R))∧ (P∨(Q∧R)) (P∨Q)∧(P∨R))∧(P∨Q)∧(P∨R) (P∨Q∨(R∧R))∧(P∨(Q∧Q)∨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∨R) (P∨Q∨R)∧(P∨Q∨R))∧ (P∨Q∨R) ∧(P∨Q∨R)∧(P∨Q∨R)∧(P∨Q∨R)
（4）某些汽车比所有的火车都慢，但至少有一列火车比每辆 汽车快 C(x)：x是汽车；H(x)：x是火车；S(x,y): x比y慢 x(C(x)∧y(H(y)→S(x,y)))∧z(H(z)∧y(C(y) →S(y,z)))
（5）对任何整数x和y，x≤y且y≤x是x=y的充要条件 I(x)：x是整数；E(x,y)：x=y；G(x,y)：x>y xy(I(x)∧I(y)→(G(x,y)∧G(y,x)↔ E(x,y))) （6）若m是奇数，则 2m 不是奇数 O(x)：x是奇数； f(x,y)= x×y O(m) → O(f(2,m) （7）那位戴眼镜的用功的大学生在看这本大而厚的巨著 A(x):x是戴眼镜的,B(x):x是用功的,C(x):x是大学生,D(x):x是大 的,E(x):x是厚的，F(x):x是巨著, G(x,y):x在看y,a:那位，b:这本 A(a)∧B(a)∧C(a)∧D(b)∧E(b)∧F(b)∧G(a,b) （8）每个自然数都有唯一的后继数 N(x)：x是自然数； L(x,y)：x是y的后继数 x(N(x)→(y (N(y)∧L(y,x) ∧z (N(z)∧L(z,x)→ E(y,z)))))
大学_《离散数学》课后习题答案
《离散数学》课后习题答案《离散数学》简介1、集合论部分：集合及其运算、二元关系与函数、自然数及自然数集、集合的基数2、图论部分：图的基本概念、欧拉图与哈密顿图、树、图的矩阵表示、平面图、图着色、支配集、覆盖集、独立集与匹配、带权图及其应用3、代数结构部分：代数系统的基本概念、半群与独异点、群、环与域、格与布尔代数4、组合数学部分：组合存在性定理、基本的计数公式、组合计数方法、组合计数定理5、数理逻辑部分：命题逻辑、一阶谓词演算、消解原理离散数学被分成三门课程进行教学，即集合论与图论、代数结构与组合数学、数理逻辑。
教学方式以课堂讲授为主，课后有书面作业、通过学校网络教学平台发布课件并进行师生交流。
《离散数学》学科内容随着信息时代的到来，工业革命时代以微积分为代表的连续数学占主流的地位已经发生了变化，离散数学的重要性逐渐被人们认识。
离散数学课程所传授的思想和方法，广泛地体现在计算机科学技术及相关专业的诸领域，从科学计算到信息处理，从理论计算机科学到计算机应用技术，从计算机软件到计算机硬件，从人工智能到认知系统，无不与离散数学密切相关。
由于数字电子计算机是一个离散结构，它只能处理离散的或离散化了的数量关系，因此，无论计算机科学本身，还是与计算机科学及其应用密切相关的现代科学研究领域，都面临着如何对离散结构建立相应的数学模型;又如何将已用连续数量关系建立起来的数学模型离散化，从而可由计算机加以处理。
离散数学是传统的逻辑学，集合论(包括函数)，数论基础，算法设计，组合分析，离散概率，关系理论，图论与树，抽象代数(包括代数系统，群、环、域等)，布尔代数，计算模型(语言与自动机)等汇集起来的一门综合学科。
离散数学的应用遍及现代科学技术的诸多领域。
离散数学也可以说是计算机科学的基础核心学科，在离散数学中的有一个著名的典型例子-四色定理又称四色猜想，这是世界近代三大数学难题之一，它是在1852年，由英国的一名绘图员弗南西斯格思里提出的，他在进行地图着色时，发现了一个现象，“每幅地图都可以仅用四种颜色着色，并且共同边界的国家都可以被着上不同的颜色”。
《离散数学》(左孝凌 李为鉴 刘永才编著)课后习题答案 上海科学技术文献出版社
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，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))是合式公式。
自考 离散数学教材课后题第五章答案
5.1习题参考答案1、设无向图G有16条边，有3个4度结点，4个3度结点，其余结点的度数均小于3，问：G中至少有几个结点。
阮允准同学提供答案:解：设度数小于3的结点有x个，则有3×4＋4×3＋2x≥2×16解得：x≥4所以度数小于3的结点至少有4个所以G至少有11个结点2、设无向图G有9个结点，每个结点的度数不是5就是6，证明：G中至少有5个6度结点或至少有6个5度结点。
阮允准同学答案：证明：由题意可知：度数为5的结点数只能是0,2，4,6，8。
若度数为5的结点数为0,2，4个，则度数为6的结点数为9，7,5个结论成立。
若度数为5的结点数为6,8个，结论显然成立。
由上可知，G中至少有5个6度点或至少有6个5度点。
3、证明：简单图的最大度小于结点数。
阮同学认为题中应指定是无向简单图.晓津证明如下：设简单图有n个结点，某结点的度为最大度，因为简单图任一结点没有平行边，而任一结点的的边必连有另一结点，则其最多有n-1条边与其他结点相连，因此其度数最多只有n-1条，小于结点数n.4、设图G有n个结点，n+1条边，证明：G中至少有一个结点度数≥3 。
阮同学给出证明如下：证明：设G中所有结点的度数都小于3，即每个结点度数都小于等于2，则所有结点度数之和小于等于2n，所以G的边数必小于等于n，这和已知G有n+1条边相矛盾。
所以结论成立。
5、试证明下图中两个图不同构。
晓津证明：同构的充要条件是两图的结点和边分别存在一一对应且保持关联关系。
我们可以看出，(a)图和(b)图中都有一个三度结点，(a)图中三度结点的某条边关联着两个一度结点和一个二度结点，而(b)图中三度结点关联着两个二度结点和一个一度结点，因此可断定二图不是同构的。
6、画出所有5个结点3条边，以及5个结点7条边的简单图。
解：如下图所示： (晓津与阮同学答案一致)7、证明：下图中的图是同构的。
证明如下：在两图中我们可以看到有a→e,b→h,c→f,d→g两图中存在结点与边的一一对应关系，并保持关联关系。
离散数学集合习题课
A．1024 B．10
C．100
D．1
20
练习11 计算题
1．设集合A＝{a, b, c}，B={b, d, e}，求 （1）BA； （2）AB； （3）A－B； （4）BA． 2．设A={{a, b}, 1, 2}，B={ a, b, {1}, 1}，试计算 （1）（AB） （2）（A∪B） （3）（A∪B）（A∩B）． 3．设集合A={{1},{2},1,2}，B={1,2,{1,2}}，试计算 （1）（AB）； （2）（A∩B）； （3）A×B．
解 (1) A={0, 1, 2}； (2) A={1, 2, 3, 4, 5}； (3) A={-1}
17
练习8
设A，B为任意集合，试证明 A-B=B-A A=B
当 A＝B 时，必有 A－B＝B－A；
反之，由 A－B＝B－A，得到： (A B) B (B A) B 化简后得到 B A ，即 B A； 同理，由 A－B＝B－A，得到： (A B) A (B A) A 化简后得到 A B ，即 A B .
13
练习5
设A，B，C为三集合，证明：A C且B C 的充分必要条
件是 A∪BC
证明：必要性．因为 A C且B C ，所以
( A B) C ( A B) C C
＝ (A C) (B C)
所以， A B C
＝C C C
充分性．因为 ( A B) C ，所以
A A ( A B) A C ，故 A C
A．B A，且BA
B．B A，但BA
C．B A，但BA
D．B A，且BA
5．设集合A = {1, a }，则P(A) = ( )．
A．{{1}, {a}}
B．{ ,{1}, {a}}
离散数学课后练习题答案(第三版)_乔维声_汤维版
、命题逻辑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.下列句子中,哪些是命题？在是命题的句子中,哪些是简单命题？哪些是真命题？哪些命题的真值现在还不知道？（1）中国有四大发明.答：此命题是简单命题，其真值为 1.（2）5是无理数.答：此命题是简单命题，其真值为 1.（3）3是素数或4是素数.答：是命题，但不是简单命题，其真值为 1.（4）2x+ <3 5答：不是命题.（5）你去图书馆吗？答：不是命题.（6）2与3是偶数.答：是命题，但不是简单命题，其真值为0.（7）刘红与魏新是同学.答：此命题是简单命题，其真值还不知道.（8）这朵玫瑰花多美丽呀！答：不是命题.（9）吸烟请到吸烟室去！答：不是命题.（10）圆的面积等于半径的平方乘以π .答：此命题是简单命题，其真值为 1.（11）只有6是偶数，3才能是2的倍数.答：是命题，但不是简单命题，其真值为0.（12）8是偶数的充分必要条件是8能被3整除.答：是命题，但不是简单命题，其真值为0.（13）2008年元旦下大雪.答：此命题是简单命题，其真值还不知道.2.将上题中是简单命题的命题符号化.解:（1）p：中国有四大发明.（2）p:是无理数.（7）p:刘红与魏新是同学.（10）p:圆的面积等于半径的平方乘以π.（13）p:2008年元旦下大雪.3.写出下列各命题的否定式,并将原命题及其否定式都符号化,最后指出各否定式的真值.（1）5是有理数.答：否定式：5是无理数. p：5是有理数.q：5是无理数.其否定式q的真值为 1.（2）25不是无理数.答：否定式：25是有理数. p：25不是无理数. q：25是有理数.其否定式q的真值为1.（3）2.5是自然数.答：否定式：2.5不是自然数. p：2.5是自然数. q：2.5不是自然数.其否定式q的真值为1.（4）ln1是整数.答：否定式：ln1不是整数. p：ln1是整数. q：ln1不是整数.其否定式q的真值为1.4.将下列命题符号化，并指出真值.（1）2与5都是素数答：p：2是素数，q：5是素数，符号化为p q∧，其真值为1.（2）不但π是无理数，而且自然对数的底e也是无理数.答：p：π是无理数，q：自然对数的底e是无理数，符号化为p q∧，其真值为 1.（3）虽然2是最小的素数，但2不是最小的自然数.答：p：2是最小的素数，q：2是最小的自然数，符号化为p q∧¬，其真值为1.（4）3是偶素数.答：p：3是素数，q：3是偶数，符号化为p q∧，其真值为0.（5）4既不是素数，也不是偶数.答：p：4是素数，q：4是偶数，符号化为¬ ∧¬p q，其真值为0.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.6.将下列命题符号化.（1）小丽只能从筐里拿一个苹果或一个梨.答：p：小丽从筐里拿一个苹果，q：小丽从筐里拿一个梨，符号化为: p q∨ .（2）这学期，刘晓月只能选学英语或日语中的一门外语课.答：p：刘晓月选学英语，q：刘晓月选学日语，符号化为: (¬ ∧ ∨ ∧¬p q)(p q) .7.设p：王冬生于1971年，q：王冬生于1972年，说明命题“王冬生于1971年或1972年”既可以化答:列出两种符号化的真值表：p q0 0 1 1 01111111根据真值表,可以判断出,只有当p与q同时为真时两种符号化的表示才会有不同的真值,但结合命题可以发现,p与q不可能同时为真,故上述命题有两种符号化方式.8.将下列命题符号化,并指出真值.,就有（1）只要（2）如果（3）只有（4）除非（5）除非（6）；,则；,才有,才有,否则；；；仅当.,则: ;设q: ,则:答:设p:.符号化真值（1）（2）（3）（4）（5）1 1 0 0 0（6） 19.设p：俄罗斯位于南半球,q：亚洲人口最多,将下面命题用自然语言表述,并指出其真值：（1）（2）；；；（3）（4）；；（5）（6）（7）；；.答:根据题意,p为假命题,q为真命题.自然语言真值（1）（2）（3）（4）（5）（6）（7）只要俄罗斯位于南半球,亚洲人口就最多只要亚洲人口最多,俄罗斯就位于南半球11111 只要俄罗斯不位于南半球,亚洲人口就最多只要俄罗斯位于南半球，亚洲人口就不是最多只要亚洲人口不是最多，俄罗斯就位于南半球只要俄罗斯不位于南半球，亚洲人口就不是最多只要亚洲人口不是最多，俄罗斯就不位于南半球10．设p：9是3的倍数,q：英国与土耳其相邻,将下面命题用自然语言表述,并指出真值：（1）（2）（3）（4）；；；.答:根据题意,p为真命题,q为假命题.自然语言真值（1）（2）（3）9是3的倍数当且仅当英语与土耳其相邻9是3的倍数当且仅当英语与土耳其不相邻9不是3的倍数当且仅当英语与土耳其相邻11（4）9不是 3的倍数当且仅当英语与土耳其不相邻 011．将下列命题符号化,并给出各命题的真值： （1）若 2+2=4,则地球是静止不动的； （2）若 2+2=4,则地球是运动不止的； （3）若地球上没有树木,则人类不能生存；（4）若地球上没有水,则是无理数. 答:命题 1命题 2符号化真值 （1） （2） （3） （4）p:2+2=4 q:地球是静止不动的 q:地球是静止不动的 q:人类能生存0 p:2+2=4 1 1 1p:地球上有树木 p:地球上有树木q:人类能生存12.将下列命题符号化,并给出各命题的真值： （1）2+2=4当且仅当 3+3=6； （2）2+2=4的充要条件是 3+36；（3）2+2 4与 3+3=6互为充要条件；（4）若 2+2 4,则 3+3 6,反之亦然. 答:设p:2+2=4,q:3+3=6. 符号化 真值 (1) (2) (3) (4)1 0 0 113.将下列命题符号化,并讨论各命题的真值： （1）若今天是星期一,则明天是星期二； （2）只有今天是星期一,明天才是星期二；（3）今天是星期一当且仅当明天是星期二；（4）若今天是星期一,则明天是星期三.答:设p:今天是星期一,q:明天是星期二,r:明天是星期三.符号化真值讨论(1)(2)(3)(4)不会出现前句为真,后句为假的情况不会出现前句为真,后句为假的情况必然为1若p为真,则真值为0;若p为假,则真值为114.将下列命题符号化：（1）刘晓月跑得快,跳得高；（2）老王是山东人或者河北人；（3）因为天气冷,所以我穿了羽绒服；（4）王欢与李乐组成一个小组；（5）李欣与李末是兄弟；（6）王强与刘威都学过法语；（7）他一面吃饭,一面听音乐；（8）如果天下大雨,他就乘班车上班；（9）只有天下大雨,他才乘班车上班；（10）除非天下大雨,否则他不乘班车上班；（11）下雪路滑,他迟到了；（12）2与4都是素数,这是不对的；（13）“2或4是素数,这是不对的”是不对的.答: 命题1 命题2命题3符号化(1)(2)(3)(4)(5)p:刘晓月跑得快q:刘晓月跳得高-p:老王是山东人p:天气冷q:老王是河北人----q:我穿羽绒服p:王欢与李乐组成p:王欢与李乐组成一个--一个小组小组p:李辛与李末是兄p:李辛与李末是兄弟弟(6)(7) p:王强学过法语p:他吃饭q:刘威学过法语q:他听音乐q:他乘车上班q:他乘车上班q:他乘车上班q:路滑--(8) p:天下大雨p:天下大雨p:天下大雨p:下雪-(9) -(10)(11)(12)(13)-r:他迟到了p:2是素数p:2是素数q:4是素数--q:4是素数15.设p：2+3=5.q：大熊猫产在中国.r:太阳从西方升起.求下列符合命题的真值：（1）（2）（3）（4）解：p真值为1，q真值为1，r真值为0.（1）0，（2）0，（3）0，（4）116.当p,q的真值为0,r,s的真值为1时,求下列各命题公式的真值：（1）（2）（3）（4）解：（1）0，（2）0，（3）0，（4）117.判断下面一段论述是否为真：“是无理数.并且,如果3是无理数,则外,只有6能被2整除,6才能被4整除.”也是无理数.另解：p:是无理数q: 3是无理数r:是无理数s: 6能被2整除t：6能被4整除符号化为: ，该式为重言式，所以论述为真。
离散数学课后习题答案
第一章命题逻辑基本概念课后练习题答案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。
离散数学(第30讲习题课5)讲解
2m d(w) d(w) d(u) d(v) 4(n 2) 5
wG
wu、v
4(n-1) ≥ 4(n-2)+5，矛盾
所以 uv E 。
2019/6/13
计算机学院
15
16、 证明:在 完 全二叉树 中 ， 边 的 数 目 等 于
2（t-1），式中t是叶的数目。
证： 由 Euler 公式， n-m+f=2 ∴ 6-12+f=2 f=8 即面数为 8， ∵对每个面，其度数≥ 3 ∴总面度≥ 3×8=24 ∵总面度=2×m=24 ∴每个面的度数为 3
2019/6/13
计算机学院
19
5、证明：少于30条边的简单平面至少有一个顶 点的度不大于4。
证：（反证法） 设所有顶点的度数≥ 5 由定理12.5 m≤3n-6 ∵ 5n/2 ≤m≤3n-6 ∴ n≥12 则 m≥5n/2≥5×12/2=30 与 m＜30矛盾
2019/6/13
计算机学院
8
2019/6/13
计算机学院
9
V1 1
V2
2
V3
3
V4 V6
7 V5
5
费用=18
2019/6/13
计算机学院
10
例三
设图G是具有6个顶结点、12条边的无向 简单图, 证明图 G 是哈密顿图。
证明：已知一个图是哈密顿图的充分条件是： 图中任意不同两点的度数之和大于等于n。
则v1v2,…,v4k+1v1构成一个Hamilton圈。 2）v1v4k+1E，则 vi1 , vi2 ,, vi2k 与v1邻接
2019/6/13
计算机学院
21
离散数学（第二版）课后习题答案详解（完整版）
离散数学（第⼆版）课后习题答案详解（完整版）习题⼀1.下列句⼦中,哪些是命题？在是命题的句⼦中,哪些是简单命题？哪些是真命题？哪些命题的真值现在还不知道？（1）中国有四⼤发明.答：此命题是简单命题，其真值为 1.（2）5 是⽆理数.答：此命题是简单命题，其真值为 1.（3）3 是素数或 4 是素数.答：是命题，但不是简单命题，其真值为1.（4）2x+ <3 5 答：不是命题.（5）你去图书馆吗？答：不是命题.（6）2 与3 是偶数.答：是命题，但不是简单命题，其真值为0.（7）刘红与魏新是同学.答：此命题是简单命题，其真值还不知道.（8）这朵玫瑰花多美丽呀！答：不是命题.（9）吸烟请到吸烟室去！答：不是命题.（10）圆的⾯积等于半径的平⽅乘以π.答：此命题是简单命题，其真值为 1.（11）只有6 是偶数，3 才能是2 的倍数.答：是命题，但不是简单命题，其真值为0.（12）8 是偶数的充分必要条件是8 能被3 整除.答：是命题，但不是简单命题，其真值为0.（13）2008 年元旦下⼤雪.答：此命题是简单命题，其真值还不知道.2.将上题中是简单命题的命题符号化.解:（1）p：中国有四⼤发明.（2）p: 是⽆理数.（7）p:刘红与魏新是同学.（10）p:圆的⾯积等于半径的平⽅乘以π.（13）p:2008 年元旦下⼤雪.3.写出下列各命题的否定式,并将原命题及其否定式都符号化,最后指出各否定式的真值.（1）5 是有理数.答：否定式：5 是⽆理数. p：5 是有理数.q：5 是⽆理数.其否定式q 的真值为1.（2）25 不是⽆理数.答：否定式：25 是有理数. p：25 不是⽆理数. q：25 是有理数. 其否定式q 的真值为1.（3）2.5 是⾃然数.答：否定式：2.5 不是⾃然数. p：2.5 是⾃然数. q：2.5 不是⾃然数. 其否定式q 的真值为1.（4）ln1 是整数.答：否定式：ln1 不是整数. p：ln1 是整数. q：ln1 不是整数. 其否定式q 的真值为1.4.将下列命题符号化，并指出真值.（1）2 与5 都是素数答：p：2 是素数，q：5 是素数，符号化为p q∧，其真值为 1.（2）不但π是⽆理数，⽽且⾃然对数的底e 也是⽆理数.答：p：π是⽆理数，q：⾃然对数的底e 是⽆理数，符号化为p q∧，其真值为1.（3）虽然2 是最⼩的素数，但2 不是最⼩的⾃然数.答：p：2 是最⼩的素数，q：2 是最⼩的⾃然数，符号化为p q∧? ，其真值为1.（4）3 是偶素数.答：p：3 是素数，q：3 是偶数，符号化为p q∧，其真值为0.（5）4 既不是素数，也不是偶数.答：p：4 是素数，q：4 是偶数，符号化为? ∧?p q，其真值为0.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.6.将下列命题符号化.（1）⼩丽只能从筐⾥拿⼀个苹果或⼀个梨.答：p：⼩丽从筐⾥拿⼀个苹果，q：⼩丽从筐⾥拿⼀个梨，符号化为: p q∨ .（2）这学期，刘晓⽉只能选学英语或⽇语中的⼀门外语课.答：p：刘晓⽉选学英语，q：刘晓⽉选学⽇语，符号化为: (? ∧∨∧?p q)(p q) .7.设p：王冬⽣于1971 年，q：王冬⽣于1972 年，说明命题“王冬⽣于1971 年或1972年”既可以化答:列出两种符号化的真值表：合命题可以发现,p 与q 不可能同时为真,故上述命题有两种符号化⽅式.8.将下列命题符号化,并指出真值., 就有；（1）只要, 则；, 才有；（3）只有, 才有；（4）除⾮, 否则；（5）除⾮（6）仅当.答:设p: , 则: ; 设q: , 则: .（1）；（2）；；（3）；（4）；（5）；（6）；（7）.答:根据题意,p 为假命题,q 为真命题.（1）；（2）；（3）；（4）.答:根据题意,p 为真命题,q 为假命题.（1）若2+2=4,则地球是静⽌不动的；（2）若2+2=4,则地球是运动不⽌的；（3）若地球上没有树⽊,则⼈类不能⽣存；（4）若地球上没有⽔,则是⽆理数.12.将下列命题符号化,并给出各命题的真值：（1）2+2=4 当且仅当3+3=6；（2）2+2=4 的充要条件是3+3 6；（3）2+2 4 与3+3=6 互为充要条件；（4）若2+2 4,则3+3 6,反之亦然.答:设p:2+2=4,q:3+3=6.（1）若今天是星期⼀,则明天是星期⼆；（2）只有今天是星期⼀,明天才是星期⼆；（3）今天是星期⼀当且仅当明天是星期⼆；（4）若今天是星期⼀,则明天是星期三.答:设p:今天是星期⼀,q:明天是星期⼆,r:明天是星期三.（1）刘晓⽉跑得快,跳得⾼；（2）⽼王是⼭东⼈或者河北⼈；（3）因为天⽓冷,所以我穿了⽻绒服；（4）王欢与李乐组成⼀个⼩组；（5）李欣与李末是兄弟；（6）王强与刘威都学过法语；（7）他⼀⾯吃饭,⼀⾯听⾳乐；（8）如果天下⼤⾬,他就乘班车上班；（9）只有天下⼤⾬,他才乘班车上班；（10）除⾮天下⼤⾬,否则他不乘班车上班；（11）下雪路滑,他迟到了；（12）2 与4 都是素数,这是不对的；（13）“2 或 4 是素数,这是不对的”是不对的.答:q：⼤熊猫产在中国.r:太阳从西⽅升起. 求下列符合命题的真值：（1）（2）（3）（4）解：p真值为1，q 真值为1，r 真值为0.（1）0，（2）0，（3）0，（4）116.当p,q 的真值为0,r,s 的真值为1 时,求下列各命题公式的真值：（1）（2）（3）（4）解：（1）0，（2）0，（3）0，（4）117.判断下⾯⼀段论述是否为真：“ 是⽆理数.并且,如果3 是⽆理数,则也是⽆理数.另外,只有6 能被2 整除,6 才能被4 整除.”解：p: 是⽆理数q: 3 是⽆理数r:是⽆理数s: 6 能被2 整除t：6 能被 4 整除符号化为: ，该式为重⾔式，所以论述为真。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
例二
有 6 个村庄 Vi ， i=l，2，…，6 欲修 建道路使村村可通。现已有修建方案如下带权 无向图所示，其中边表示道路，边上的数字表 示修建该道路所需费用，问应选择修建哪些道 路可使得任二个村庄之间是可通的且总修建费 用最低 ? 要求写出求解过程，画出符合要求的 最低费用的道路网络图并计算其费用。
2014-1-20 计算机学院 17
习题十二
3、证：（反证法） 设 G=（n，m）和 G′=（n，m′）都是平面图 由G和G′的定义 m+m′=n(n-1)/2 由定理 12.5 m ≤3n-6, m′≤3n-6 ∴ m+m′=n(n-1)/2 ≤ 6n-12 整理上式有 n2-13n+24=(n-11)2+9n-97 ≤ 0 又∵（ n-11)2 ≥0，n≥11 时,9n-97≥2 ∴ （n-11)2+9n-97≥2 与上式相矛盾， 故 G 与 G′至少有一个是非平面图
k 2
2014-1-20 计算机学院 13
i
13 、设简单连通图 G= （ V ， E ）的边集 E 恰好 可以分划为 G 的两个生成树的边集。证明： 如果 G 中恰有两个 4 度以下的结点 u 和 v， 则 uvE。 证：（反证法）设E=E1 ∪ E2 ，E1 ∩ E2= φ T（E1）， T（E2）是 G 的两棵生成树。 如 uv∈E，则 uv∈E1 或 uv∈E2。 不妨设 uv∈E1，由于T（E1）是 G 的生成树， 则 u 或 v 必有其中一个同其它结点相邻，即 在T（E1）中，u和v的度数之和大于等于 3.
冯伟森
Email：fws365@
2014年1月20日星期一
主要内容
2014-1-20
计算机学院
2
第十一章
1. 深刻理解树（六个等价命题）及生成树、树 枝、树补的定义，掌握生成树的主要性质， 并能灵活应用它们； 2. 熟练地应用 Kruskal 算法求最小生成树； 3. 掌握根树、m叉树、完全m叉树、正则m叉树、 最优树的概念 , 熟练掌握 Huffman 算法，并 使用它求最优二叉树；
2014-1-20 计算机学院 23
(1)若 u, v 相邻, 则 d(u)+d(v) ≥(n-2)+2=n。 (2)若 u, v 不相邻, 则对w ∈ V-{u,v}, w 必与 u 和 v 都相邻。 否则, 比如u 和w 不 相邻, 则v, w 都不邻接u,于是u 和w 合起来 至多与其余的 n − 3 个人认识 , 与已知条件 不符. 因而 d(u)+ d(v) ≥ 2(n-2)。 1) 当 n ≥ 3 时 , 2(n-2) ≥ n-1, 因此无 论第 (1) 或 (2) 种情形, 都有 d(u) + d(v) ≥ n − 1,
2014-1-20 计算机学院 24
由定理 13.4 知 G 中有哈密顿道路、道 路上的人按在道路中的顺序排成一列 , 即满 足要求。 2 ）当 n ≥ 4 时 , 2(n-2) ≥ n, 因此无论 第 (1) 或 (2) 种情形, 都有
d(u)+ d(v) ≥ n, 由定理13.5 知G 中有哈密顿圈, 所有的
vG vG { s ,t }
v ) de g(s ) de g(t ) de g(
2m
vG { s ,t }
v) n de g(
2014-1-20
计算机学院
26
因为G除结点s,t外的其余n-2结点之间最多 可以构成完全图，所以 2m<(n-2)(n-3)+n+n<n2-3n+6=(n-1)(n-2)+4 2 ( n 1)(n 2) 2 C n 从而 m 1 1 2 2 2 与已知 m Cn 矛盾，故结论成立。 1 2
2m d ( w )
wG w u、v
d ( w ) d ( u) d (v ) 4( n 2) 5
4(n-1) ≥ 4(n-2)+5，矛盾
所以 uv E 。
2014-1-20 计算机学院 15
16 、 证明: 在 完 全二叉树 中 ， 边 的 数 目 等 于 2（t-1），式中t是叶的数目。 证明：设叶结点的个数为 t，分支数为 i，边 的数目为L， 由定理 11.5 (m-1)i=t-1 ∵ m=2 ∴ i=t-1 由完全二叉树的定义和握手定理， 2L=t+3i-1=t+3(t-1)-1=4t-4 ∴ L=2(t-1)
2014-1-20 计算机学院 22
13、 今有n个人, 已知他们中的任何二人合起 来认识其余的 n-2个人。 证明: 1 ）当 n ≥ 3 时 , 这 n 个人能排成一列、使 得中间的任何人都认识两旁的人 , 而站在两 端的人认识左边 (或右边) 的人。 2）当 n ≥ 4 时, 这 n 个人能排成一个圆圈, 使得每个人都认识两旁的人。 证明：作 n 阶简单无向图 G= ＜V，E ＞, V= n 个 人 的 集 合 , E={(u,v)︱ u, v ∈ V ∧ u ≠ v ∧ u 与 v 认识}. u, v ∈ V,
1 2 2k
2014-1-20
计算机学院
21
∵ G的阶数为4k+1 ∴ v4k 1必与vi 1 , vi 1 ,, vi
1 2
2k
1中的一个点邻接，
（否则d(v4k+1)=4k-1-2k=2k-1 与d(v4k+1)=2k矛盾)
设 vit v4k 1 E
可构造 v1 ,vit 1 , v4k 1v4k ,, vit v1 即 为 G 的 一 个 Hamilton 圈 ， 故 G 是 一 个 Hamilton图
2014-1-20
计算机学院
12
习题十一
1,解：设 L 是叶的数目， m 是树的边数 由握手定理
k 2
i
knk L 2m
由树的定义 i m nk L 1
k 2
knk L 2 nk 2 L 2
k 2 k 2
i
i
L ( k 2)nk 2 ( i k 2)
2014-1-20
计算机学院
3
第十二章
1. 深刻理解平面图、面、对偶图的定义； 2. 熟记欧拉公式和二个平面图的必要条件, 并能 使用它们来判断图的非平面性； 3. 了解库拉托夫斯基（ Kuratowski ）定理和细 分图的概念；
2014-1-20
计算机学院
4
第十三章
1. 深刻理解欧拉图和欧拉道路的定义，对于 给定的图能判断它是否为欧拉图或存在欧 拉道路； 2. 掌握 Fleury 算法并会用 Fleury 算法求 出欧拉图中的欧拉回路； 3. 理解中国邮递员问题算法并会用中国邮递 员算法求出无向图中的欧拉回路； 4. 深刻理解哈密顿道路及其哈密顿图、图的 闭包概念；
2014-1-20 计算机学院 16
21、 证明:正则二叉树必有奇数个结点。 证明： 由正则二叉树的定义，其叶结点的个 数必为偶数，设叶数为 t，分支数为 i 由定理 11.5 (m-1)i=t-1 ∵ m=2 ∴ i=t-1 即分支点数是奇数 故结点数 n=i+t= 奇数，且n=2t-1， 即 t=（n+1）/2
人按圈中的顺序排成一个圆圈 , 即满足要求。
2014-1-20
计算机学院
25
5、设G是(n, m)简单图。 2 若 m Cn1 2 ,证明G必是哈密顿图。
证：（反证法）假设G不是哈密尔顿图，则
s, t G , de g(s ) de g(t ) n 2m de g(v )
2014-1-20
计算机学院
11
而删去这两个点后 , 至多删去图 G 中的 5 条边。 由于图G是具有6个顶点, 12条边的无 向简单图, 删去顶点v1,v2后, 得到的子图为: 具有 4 个结点 , 至少 7 条边的无向简单图 , 但 这样的无向简单图不存在 (4 阶无向简单图最 多有6条边), 由此证明图 G中任意不同两点的 度数之和大于等于6, 图G是哈密顿图。
2014-1-20 计算机学院 20
习题十三
10 、 证明:4k+l阶的所有2k正则简单图都是哈密 顿图。 证： ∵ G是2k正则图， ∴ 对任意的u、v∈G，d(u)+d(v)=4k 由定理 13.4, 在 G 中存在一条 Hamilton 道 路，设为： v1v2,…,v4k+1 1）v1v4k+1∈E， 则v1v2,…,v4k+1v1构成一个Hamilton圈。 2）v1v4k+1E，则 vi , vi ,, vi 与v1邻接
2014-1-20
计算机学院
6
例一
证明当每个结点的度数大于等于 3 时， 不存在有 7 条边的连通简单平面图。 证明:(反证法) 设图的边数m=7 由题意，d(Vi) ≥3，Vi为结点 则由握手定理， 2m d (Vi ) i 则 14 2 7 d (Vi ) 3n n i 3 ∴结点的个数不超过4个，而结点个数为4的完全 图的边数为 6, 故应有环或平行边，不是简单连通平面图。
2014-1-20 计算机学院 14
而在 T（E2）中， u 和 v 分别同其它结点相邻， 且相关联的边∈ E2.故在 G 中， d(u)+d(v) ≥ 5. ∵ T（E1）， T（E2）是 G 的两棵生成树 ∴ m（E1）＋m（E2）=2(n-1) 2m(G)=2(m （ E1 ）＋ m （ E2 ） )=4(n-1) ，由握手定理，
2014-1-20
计算机学院
27
2014-1-20 计算机学院 5
5. 会用哈密顿图和含哈密顿道路的充分条件来 判断某些图是哈密顿图或是否含有哈密顿道 路； 6. 会用破坏哈密顿图的某些必要条件的方法判 断某些图不是哈密顿图 7. 严格区分哈密顿图的充分条件和必要条件 8. 理解判断哈密顿图的充分必要条件 9. 了解推销商问题的分枝定界求解方法