离散数学(胡新启著)武汉大学出版社课后答案习题9
离散数学课后习题答案
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-2-4章)武汉大学出版社
( P Q R) ( P Q) ( P R)
(P Q R) (P Q) P R
(P Q R) ((P P) ( Q P)) R
(P Q R) ( Qபைடு நூலகம்P R)
(P Q R) (P Q R)
T
故P (Q R) (P Q) (P R)
(3).(P Q) (P P Q)
(( T Q) ( T R)) Q R
(Q R) Q R
Q R Q R
Q T
T
故((P P) Q) ((P P) R) Q R
(6)左(Q F) (R F)
( Q F) ( R F)
Q R
R
R Q右
6.(1)原式( P Q R)
(2)原式P Q P (P Q P)
(3)原式P (Q R P) P Q R ( P Q R)
（5）原式<=>┐(P∨┐Q)∨Q <=> (┐P∧Q)∨Q <=> Q原式为可满足式
（6）原式<=>┐(P∧Q)∨P <=>┐P∨┐Q∨P <=> T∨┐Q <=> T原式为永真式
（7）原式<=> (┐P∨P∨Q)∧┐P <=> (T∨Q)∧┐P
<=> T∧┐P <=>┐P原式为可满足式
（8）原式<=>┐((P∨Q)∧(┐Q∨R))∨(┐P∨R) <=> (P∧┐Q)∨(Q∧┐R)∨(┐P∨R)
②┐（Q∧R）前提
③┐Q∨┐R②，E11
④┐Q①，③，析取三段论
⑤┐P∨Q前提
⑥┐P④，⑤，析取三段论
离散数学习题答案.docx
精品文档离散数学习题答案习题一及答案：（ P14-15 ）14、将下列命题符号化：（ 5）李辛与李末是兄弟解：设 p：李辛与李末是兄弟，则命题符号化的结果是p（ 6）王强与刘威都学过法语解：设 p：王强学过法语； q：刘威学过法语；则命题符号化的结果是p q （ 9）只有天下大雨，他才乘班车上班解：设 p：天下大雨； q：他乘班车上班；则命题符号化的结果是q p（ 11）下雪路滑，他迟到了解：设 p：下雪； q：路滑； r ：他迟到了；则命题符号化的结果是( p q)r15、设 p： 2+3=5.q：大熊猫产在中国 .r：太阳从西方升起 .求下列复合命题的真值：（ 4）(p q r )(( p q)r )解： p=1， q=1，r=0 ，(p q r )(110)1，((p q)r )((11)0)(00)1(p q r )(( p q)r ) 1 1119、用真值表判断下列公式的类型：（ 2）( p p)q解：列出公式的真值表，如下所示：p q p qp) ( p p)q( p001111011010100101110001由真值表可以看出公式有 3 个成真赋值，故公式是非重言式的可满足式。
20、求下列公式的成真赋值：精品文档（ 4）( p q)q解：因为该公式是一个蕴含式，所以首先分析它的成假赋值，成假赋值的条件是：( p q)1p0q0q0所以公式的成真赋值有： 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 )m3m7，此即公式的主析取范式，所以成真赋值为011， 111。
6、求下列公式的主合取范式，并求成假赋值：（ 2）( p q) ( p r )解：原式( pp r ) ( p q r )( p q r )M 4，此即公式的主合取范式，所以成假赋值为 100。
离散数学课后习题答案
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)) 是合式公式。
离散数学答案 第九章 特殊代数系统
第九章 特殊的代数系统习题9.11．解 ⑴是半群。
显然，二元运算“ ”在N 上是封闭的， 所以，>< ,N 是一个代数系统， 另一方面，,,,N c b a ∈∀有(){}{}c b a c b a c b a ,,max ,max == ，而(){}{}c b a c b a c b a ,,m ax ,m ax == ，因此，()()c b a c b a =，所以，运算“ ”满足结合律的，故>< ,N 是半群；⑵是半群。
显然，二元运算“ ”在N 上是封闭的， 所以，>< ,N 是一个代数系统， 另一方面，N c b a ∈∀,,，有()c c b c b a == ，而()c c a c b a == ，则()()c b a c b a =，所以，运算“ ”满足结合律，故><,N 是半群；⑶是半群。
显然，二元运算“ ”在N 上是封闭的， 所以，>< ,N 是一个代数系统， 另一方面，N c b a ∈∀,,，有()abc c ab c ab c b a 4)2(2)2(=== ，()()abc bc a bc a c b a 422)2(=== ，即()()c b a c b a = ，所以，运算“ ”满足结合律，故>< ,N 是半群。
⑷不是半群。
虽然，二元运算“ ”在N 上是封闭的，即>< ,N 是一个代数系统，但是 对于5，3，6，因为，()4635635635=--=-= ，而2635635)63(5=--=-= ，即())63(5635 ≠，所以，运算“ ”不满足结合律，故>< ,N 不是半群。
2．解 ⑴正确。
因为，运算显然封闭。
⑵正确。
abc bc ac ab c b a c ab b a c b a ++++++=++= )()(， bc ac ab c b a bc c b a c b a +++++=++=)()( ，即是()()c b a c b a =，所以︒满足结合律。
离散数学第四版课后答案(第9章)
第9章 习题解答9.1 有5片树叶.分析 设T 有x 个1度顶点(即树叶).则T 的顶点数Tx x n ,523+=++=的边数.41x n m +=-=由握手定理得方程.∑=+=⋅+⨯+⨯==+=ni ix x vd x m 1.1312233)()4(22由方程解出.5=x所求无向树T 的度数列为1,1,1,1,1,2,2,3,3,3.由这个度数列可以画多棵非同构的无向树,图9.6给出的4棵都具有上述度数列,且它们是非同构的.9.2 T 中有5个3度顶点.分析 设T 中有x 个3度顶点,则T 中的顶点数,7x n +=边数x n m +=-=61,由握手定理得方程.∑=+==+=ni ix v d x m 173)(2122由方程解出x=5.所求无向树T 的度数列为1,1,1,1,1,2,2,3,3,3.由这个度数列可以画多棵非同构的无向树,图9.6给出的4棵都具有上述度数列,且它们是非同构的.9.2 T 中有5个3度顶点.要析 设T 中有x 个3度顶点,则T 中的顶点数x n +=7,边数x n m +=-=61,由握手定理得方程.∑=+==+=ni ix v d x m 173)(2122.由此解出5=x ,即T 中有5个3度顶.T 的度数列为1,1,1,1,1,1,1,3,3,3,3,3.由于T 中只有树叶和3度顶点,因而3度顶点可依次相邻,见图9.7所示. 还有一棵与它非同构的树,请读者自己画出.9.3 加1-k 条新边才能使所得图为无向树.分析 设具有k 个连通分支的森林为G,则G 有k 个连通分支i K T T TT ,,,21全为树,.,,2,1k i =加新边不能在i T 内部加,否则必产生回路.因而必须在不同的小树之间加新边. 每加一条新边后,所得到的森林就减少一个连通分支. 恰好加1-k 条新边,就使得图连通且无回路,因而是树.在加边过程中,只需注意,不在同一人连通分支中加边. 下面给出一种加边方法,取iv 为iT 中顶点,加新边1,,2,1),(1-=+k i vv i i,则所得图为树,见图9.8 给出的一个特例.图中虚线边为新加的边.9.4 不一定.分析 n 阶无向树T 具有1-n 条边,这是无向树T 的必要条件,但不是充公条件.例如, 阶圈(即1-n 个顶点的初级回路)和一个孤立点组成无向简单图具有1-n 条边, 但它显然不是树.9.5 非同构的无向树共有2棵,如图 9.9所示.分析由度数列1,1,1,1,2,2,4不难看出，唯一的4度顶点必须与2度顶点相邻，它与1个2度顶点相邻，还是与两个2度顶点都相邻，所得树是非同构的，再没有其他情况.因而是两棵非同构的树.9.6 有两棵非同构的生成树,见图9.10所示.分析图9.10 是5阶图(5个顶点的图), 5阶非同构的无向树只有3棵,理由如下. 5阶无向树中,顶点数5=n,边数4=m,各顶点度数之和为8,度数分配方案有3种,分别为①1,1,1,1,4;②1,1,1,2,3;③1,1,2,2.2.每种方案只有一棵非同构的树.图9.10所示的5阶图的非同构的生成树的度数列不能超出以上3种,也就是说,它至多有3棵非同构的生成树, 但由于图中无4度顶点,所示,不可能有度数列为①的生成树,于是该图最多有两棵非同构的生成树. 但在图9.10 中已经找出了两个非同构的生成树,其中(1)的度数列为③,(2) 的度数列为②,因而该图准确地有两棵非同构的生成树.9.7 基本回路为: .,,,hfab C gfa C ead C cbad C h g e c====基本回路系统为}.,,,{h g e cC C C C基本割集为:},,{},,{},,,{},,,,,{h g f Sc ed S h c b S h g ce a S fd b a ====基本回路系统为},,,{f d b aS S S S.分析 1°注意基本回路用边的序列表示,而基本割集用边的集合表示.2° 基本回路中,只含一条弦,其余的边全为树枝,其求法是这样的: 设弦),(j iv ve =,则jiv v,在生成树T 中,且在T 中,ji v v ,之间存在唯一的路径ji ,Γ与),(j iv ve =组成的回路为G 中对应弦e 的基本回路.3° 基本割集中,只含一条树枝,其余的边都是弦,其求法是这样的:设树枝),(j iv ve =,则e 为T 中桥,于是eT-(将e 从T中支掉),产生两棵小树1T 和2T ,则}|{21'''中和的两端点分别在中且在T T e G e e S e =e S 为树枝e 对应的基本割集. 显然ee S S e ,∈中另外的边全是弦. 注意,两棵小树1T 和2T ,中很可能有平凡的树(一个顶点).aT -得两棵小树如图9.11中(1) 所示. G 中一个端点在i T 中,另一个端点在2T 中的边为a(树枝), h g c e ,,,,它们全是弦,于是},,,,{h g c e a Sa=bT - 得两棵小树如图9.11中(2) 所示, 其中有一棵为平凡树. G 中一个端点在1T 中,另一个端点在2T 中的边数除树枝b 外,还有弦,,h c 所以, },,{h c b Sb=dT -产生的两棵小树如图9.11中(3) 所示 . G 中一个端点在1T 中,另中一个端点在2T 中的边,除树枝d 外,还有两条弦e c ,,所示, },,{e c d Sd=fT -产生的两棵小树如图9.11中(4) 所示. 由它产生的基本割集为},,{h g f Sf=9.8 按Kruskal 求最小生成树的算法,求出的图9.3(1)的最小生成树T 为图9.12中(1) 所示, 其7)(=T W .(2) 的最小生成树T 为图9.12中(2)所示,其.11)(=T W9.9 421,,B B B为前缀码.分析 在421,,B B B中任何符号串都不是另外符号串的前串,因而它们都是前缀码.而在3B 中, 1是11,101的前缀,因而3B不是前缀码. 在5B 中,,a 是ac aa ,等的前缀,因而5B 也不是前缀码.9.10 由图9.4 (1) 给出的2元前缀码.}11,011,01010,0100,00{1=B由(2) 给出的3元前缀码为.}.2,1,022,0202,0201,0200,01,00{2=B分析 1B 是2元树产生的2元前缀码(因为码中的符号串由两个符号0,1组成),类似地,2B 是由3元树产生的3元前缀码(因为码中符号串由3个符号0,1,2组成).一般地,由r 元树产生r 元前缀码.9.11 (1) 算式的表达式为ji h g f e d c b a *)*()()*)*((((++÷-+.由于使其成为因而可以省去一些括号优先于,,,*,-+÷ji h g f e d c b a **)()*)*((++÷-+.(2) 算式的波兰符号法表达式为.****hij fg bcde a ++-÷+(3) 算式的逆波兰符号法表达式为.****+÷+-+jI hi fg e d abc9.12 答案 A:①; B ②; C:④; D:⑨.分析 对于每种情况都先求出非同构的无向树,然后求出每棵非同构的无向树派生出来的所有非同构的根树.图9.13 中,(1),(2),(3),(4)分别画出了2阶,3阶,4阶,5阶所有非同构的无向树,分别为1棵,1棵,2棵和3棵无向树.2阶无向树只有1棵,它有两个1度顶点,见图9.13中(1)所示,以1个顶点为树根,1个顶点为树叶,得到1棵根树.3阶非同的无向树也只有1棵,见图9.13中(2)所示.它有两个1度顶点,1个2度顶点,以1度顶点为根的根树与以2度顶点为根的树显然是非同构的根树,所以2个阶非同构的根树有两棵.4阶非同构的无向树有两棵,见图9.13中(3)所示. 第一棵树有3片树叶,1个3度顶点, 以树叶为根的根树与以3度顶点为根的树非同构.所以,由第一棵树能生成两个非同构的根树, 见图9.14 中(1)所示. 第二棵树有两片树叶,两个2度顶点,由对称性,以树叶为根的根树与2度顶点为根的根树非同构,见图9.14中(2) 所示. 所以,4阶非同构的根树有4棵.5阶非同构的无向树有3棵,见图9.13中(4)所示. 由第一棵能派生两棵非同构的根树, 由第二棵能派生4棵非同构的根树,由第三棵能派生3棵非同构的根树,所以,5阶非同构的根树共有9棵,请读者将它们都画出来.9.13 答案 A:②; B:②; C:③; D:③; E:③;F:④; G: ④; H:③.分析 将所有频率都乘100,所得结果按从小到大顺序排列:.35,20,15,10,10,5,5=======a b c d e f g w w w w w w w以以上各数为权,用Huffman 算法求一棵最优树,见图9.15所示.对照各个权可知各字母的前缀码如下:a ——10，b ——01，c ——111，d ——110，e ——001，f ——0001，g ——0000.于是，a,b 的码长为e d c ,,,2的码长为g f ,,3的码长为4. W(T)=255(各分支点的权之和),W(T)是传输100按给定频率出现的字母所用的二进制数字,因则传输104个按上述频率出现的字母要用25500⨯个二进制数字..24=1055最后还应指出一点,在画最优树叶, 由于顶点位置的不同,所得缀码可能不同,即有些字母的码子在不同的最优树中可能不同,但一般说来码长不改变.特别是,不同的最优树,它们的权是固定不变的.9.14 答案 A:②; B:④分析用2元有序正则树表示算式,树叶表示参加运算的数,分支点上放运算符,并将被减数(被除数)放在左子树上,所得2元树如图9.16所示.用前序行遍法访问此树,得波兰符号表示法为abc-++de-*.**ghf用后序行遍法访问此树,得逆波兰符号表示法为dec*fghab--++**。
大学_《离散数学》课后习题答案
《离散数学》课后习题答案《离散数学》简介1、集合论部分：集合及其运算、二元关系与函数、自然数及自然数集、集合的基数2、图论部分：图的基本概念、欧拉图与哈密顿图、树、图的矩阵表示、平面图、图着色、支配集、覆盖集、独立集与匹配、带权图及其应用3、代数结构部分：代数系统的基本概念、半群与独异点、群、环与域、格与布尔代数4、组合数学部分：组合存在性定理、基本的计数公式、组合计数方法、组合计数定理5、数理逻辑部分：命题逻辑、一阶谓词演算、消解原理离散数学被分成三门课程进行教学，即集合论与图论、代数结构与组合数学、数理逻辑。
教学方式以课堂讲授为主，课后有书面作业、通过学校网络教学平台发布课件并进行师生交流。
《离散数学》学科内容随着信息时代的到来，工业革命时代以微积分为代表的连续数学占主流的地位已经发生了变化，离散数学的重要性逐渐被人们认识。
离散数学课程所传授的思想和方法，广泛地体现在计算机科学技术及相关专业的诸领域，从科学计算到信息处理，从理论计算机科学到计算机应用技术，从计算机软件到计算机硬件，从人工智能到认知系统，无不与离散数学密切相关。
由于数字电子计算机是一个离散结构，它只能处理离散的或离散化了的数量关系，因此，无论计算机科学本身，还是与计算机科学及其应用密切相关的现代科学研究领域，都面临着如何对离散结构建立相应的数学模型;又如何将已用连续数量关系建立起来的数学模型离散化，从而可由计算机加以处理。
离散数学是传统的逻辑学，集合论(包括函数)，数论基础，算法设计，组合分析，离散概率，关系理论，图论与树，抽象代数(包括代数系统，群、环、域等)，布尔代数，计算模型(语言与自动机)等汇集起来的一门综合学科。
离散数学的应用遍及现代科学技术的诸多领域。
离散数学也可以说是计算机科学的基础核心学科，在离散数学中的有一个著名的典型例子-四色定理又称四色猜想，这是世界近代三大数学难题之一，它是在1852年，由英国的一名绘图员弗南西斯格思里提出的，他在进行地图着色时，发现了一个现象，“每幅地图都可以仅用四种颜色着色，并且共同边界的国家都可以被着上不同的颜色”。
(完整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.。
离散数学第8,9章课后习题答案
第8章 习题参考答案1. 在一次10周年同学聚会上，想统计所有人握手的次数之和，应该如何建立该问题的图论模型？解：将每个同学分别作为一个节点，如果两个人握过一次手就在相应的两个节点之间画一条无向边，于是得到一个无向图。
一个人握手的次数就是这个节点与其他节点所连接的边的条数，进而可得出所有人握手的次数之和。
2. 在一个地方有3户人家，并且有3口井供他们使用。
由于土质和气候的关系，有些井中的水常常干枯，因此各户人家要到有水的井去打水。
不久，这3户人家成了冤家，于是决定各自修一条路通往水井，打算使得他们在去水井的路上不会相遇。
试建立解决此问题的图论模型。
解：将3户人家分别看做3个节点且将3口井分别看做另外3个节点，若1户人家与1口井之间有一条路，则在该户人家与该口井对应的节点之间连一条无向边，这样就得到一个无向图。
3. 某人挑一担菜并带一条狼和一只羊要从河的一岸到对岸去。
由于船太小，只能带狼、菜、羊中的一种过河。
由于明显的原因，当人不在场时，狼要吃羊，羊要吃菜。
通过建立图论模型给出问题答案。
解：不妨认为从北岸到南岸，则在北岸可能出现的状态为24=16种，其中安全状态有下面10种：（人，狼，羊，菜），（人，狼，羊），（人，狼，菜），（人，羊，菜），（Φ），（人，羊），（菜），（羊），（狼），（狼，菜）；不安全的状态有下面6种：（人）（人，菜）（人，狼）（狼，羊，菜）（狼，羊）（羊，菜）。
线将北岸的10种安全状态看做10个节点，而渡河的过程则是状态之间的转移，这样就得到一个无向图，如图8-1所示。
图8-1从上述无向图可以得出安全的渡河方案有两种：第1种：（人，狼，羊，菜）→（狼，菜）→（人，狼，菜）→（狼）→（人，狼，羊）→（羊）→（人，羊）→（Φ）。
(人，狼，羊，菜)(人，狼，羊)(人，狼，菜)(人，羊，菜)(人，羊) (狼，菜) (羊) (狼) (菜) (Φ)第2中：（人，狼，羊，菜）→（狼，菜）→（人，狼，菜）→（菜）→（人，羊，菜）→（羊）→（人，羊）→（Φ）。
离散数学习题答案精选全文完整版
可编辑修改精选全文完整版离散数学习题答案习题一：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是偶数。
离散数学课后习题答案
离散数学课后习题答案离散数学课后习题答案离散数学是计算机科学中的一门重要课程，它涵盖了诸多数学概念与技巧，为计算机科学的理论基础打下了坚实的基础。
在学习离散数学的过程中，课后习题是巩固知识、提高能力的重要途径。
然而，有时候我们会遇到一些难以解答的问题，需要参考一些答案来进行思考与学习。
本文将为大家提供一些离散数学课后习题的答案，希望能对大家的学习有所帮助。
一、集合论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为奇数。
离散数学习题答案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 。
离散数学课后习题答案
第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：太阳系外的星球上的生物。
它的真值情况而定，是确定的。
大学离散数学课后答案
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 ，反之亦然。