离散数学课后习题答案2(不完整)

合集下载

离散数学课后习题及答案

离散数学课后习题及答案

离散数学课后习题及答案离散数学是计算机科学与数学的重要基础课程之一,它涵盖了很多重要的概念和理论。

为了更好地掌握离散数学的知识,课后习题是必不可少的一部分。

本文将介绍一些常见的离散数学课后习题,并提供相应的答案,希望对读者有所帮助。

一、集合论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={1,2,3},B={2,3,4},C={3,4,5},求(A∪B)∩C的结果。

答案:(A∪B)∩C={3,4}二、逻辑与命题1. 判断下列命题的真假:a) 若2+2=5,则地球是平的。

b) 若今天下雨,则我会带伞。

c) 若x>0,则x^2>0。

答案:a)假,b)真,c)真。

2. 用真值表验证下列命题的等价性:a) p∧(q∨r) ≡ (p∧q)∨(p∧r)b) p→q ≡ ¬p∨q答案:a)等价,b)等价。

三、关系与函数1. 给定关系R={(1,2),(2,3),(3,4)},求R的逆关系R^-1。

答案:R^-1={(2,1),(3,2),(4,3)}2. 设函数f(x)=x^2,g(x)=2x+1,求复合函数f(g(x))的表达式。

答案:f(g(x))=(2x+1)^2=4x^2+4x+1四、图论1. 给定图G,其邻接矩阵为:0 1 11 0 11 1 0求图G的度数序列。

答案:度数序列为(2,2,2)2. 判断下列图是否为连通图:a) G1的邻接矩阵为:0 1 11 0 01 0 0b) G2的邻接矩阵为:0 1 01 0 10 1 0答案:a)不是连通图,b)是连通图。

五、组合数学1. 从10个不同的球中,任选3个,求共有多少种选法。

答案:C(10,3)=120种选法。

2. 求下列排列的循环节:a) (123)(45)(67)b) (12)(34)(56)(78)答案:a)循环节为(123)(45)(67),b)循环节为(12)(34)(56)(78)。

离散数学课后答案(第1-2-4章)武汉大学出版社

离散数学课后答案(第1-2-4章)武汉大学出版社

离散数学课后答案(第1-2-4章)武汉大学出版社习题1.11、(1)否(2)否(3)是,真值为0(4)否(5)是,真值为12、(1)P:天下雨Q:我去教室┐P →Q(2)P:你去教室Q:我去图书馆P →Q (3)P,Q同(2)Q →P(4)P:2是质数Q:2是偶数P∧Q3、(1)0(2)0(3)14、(1)如果明天是晴天,那么我去教室或图书馆。

(2)如果我去教室,那么明天不是晴天,我也不去图书馆。

(3)明天是晴天,并且我不去教室,当且仅当我去图书馆。

习题1.21、(1)是(2)是(3)否(4)是(5)是(6)否2、(1)(P →Q) →R,P →Q,R,P,Q (2)(┐P∨Q) ∨(R∧P),┐P ∨Q,R∧P,┐P,Q,R,P(3)((P →Q) ∧(Q →P)) ∨┐(P →Q)),(P →Q) ∧(Q →P),┐(P →Q),P →Q,(Q →P),P →Q,P,Q,Q,P,P,Q3、(1)((P →Q) →(Q →P)) →(P →Q) (2)((P →Q) ∨((P →Q) →R))→((P →Q) ∧((P →Q) →R))(3)(Q →P∧┐P) →(P∧┐P →Q)4、(P →Q) ∨((P∧Q) ∨(┐P∧┐Q)) ∧(┐P∨Q)习题1.31、(1)I(P∨(Q∧R)) = I(P)∨(I(Q)∧I(R)) = 1∨(1∧0) = 1(2)I((P∧Q∧R)∨(┐(P∨Q)∧┐(R∨S))) = (1∧1∧0)∨(┐(1∨1)∧┐(0∨1)) = 0∨(0∧0) = 0 (3)I((P←→R)∧(┐Q→S)) = (1←→0)∧(┐1→1) = 0∧1 = 0(4)I((P∨(Q→R∧┐P))←→(Q∨┐S)) = (1∨(1→(0∧┐1)))←→(1∨┐1) = 1←→1 = 1(5)I(┐(P∧Q)∨┐R∨((Q←→┐P)→R∨┐S)) = ┐(1∧1)∨┐0∨((1←→┐1)→(0∨┐1)) = 0∨1∨1 = 12、(1)P Q P→Q Q∧(P→Q) Q∧(P→Q)→P0 0 1 0 10 1 1 1 01 0 0 0 11 1 1 1 1(2)P Q R Q∧R ┐(P∨(Q∧R)) P∨Q P∨R(2)原式<=> ┐T∨(┐(┐P∨Q)∨(┐┐Q∨┐P)) <=> (P∧┐Q)∨(Q∨┐P)<=> (P∧┐Q)∨┐(P∧┐Q) <=> T 原式为永真式(3)原式<=> ┐(P∧Q) ←→┐(P∧Q) <=> T 原式为永真式(4)原式<=> P∧(Q∨R) ←→P∧(Q∨R) <=> T 原式为永真式(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)<=> ((P∧┐Q)∨┐P)∨((Q∧┐R)∨R)<=>(( P∨┐P)∧(┐Q∨┐P))∨(( Q∨R)∧(┐R ∨R))<=> (┐Q∧┐P)∨( Q∨R) <=> T 原式为永真式4、(1)左<=> ┐P∨┐Q∨P <=> ┐┐P∨(┐P ∨┐Q) <=> 右(2)左<=> ┐(┐P∨Q) <=> 右(3)左<=> ┐(P∧Q)∨P <=> ┐P∨┐Q∨P <=> T∨┐Q <=> 右(4)左<=> ┐(P→Q)∨┐(Q→P) <=> (P∧┐Q)∨(Q∧┐P) <=> 中<=> ((P∧┐Q)∨Q)∧((P∧┐Q)∨┐P)<=> (P∨Q)∧(┐Q∨Q)∧(P∨┐P)∧(┐Q∨┐P)<=> (P∨Q)∧┐(P∧Q) <=> 右(5)左( P Q) ( R Q) (P Q) Q 右5.(1)左Q P Q 右(2)(P (Q R)) ((P Q) (P R))( 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)( P Q) P (P Q)( P Q) ( P P) ( P Q)( P Q) ( P Q)T故P Q P P Q(4).((P Q) Q) P Q( ( P Q) Q) P Q(( P Q) Q) P Q( P Q) (Q Q) P Q(P Q) (P Q)T故(P Q) Q P Q(5).((P P) Q) ((P P) R) (Q R) (( T Q) ( T R)) Q R(Q R) Q RQ R Q RQ TT故((P P) Q) ((P P) R) Q R(6)左(Q F) (R F)( Q F) ( R F)Q RRR Q 右6.(1)原式( P Q R)(2)原式P Q P (P Q P)(3)原式P (Q R P) P Q R ( P Q R)7.(1)原式( P Q P)(2)原式( P Q R) P Q ( ( P Q R) P Q)(3)原式P Q (R P) (P Q (R P))8. (1) (P Q) (( P ( P Q)) R) P(2)(P Q R) ( P R)(3)(P F) (Q T)习题1.41.(1)原式( P Q) (( P Q) (Q P))( P Q) (Q P)(P Q) Q PQ P,既是析取范式又是合取范式(2)原式(( P Q) ( P Q)) ( ( P Q) ( P Q))(P Q) (P Q) 析取范式P (Q Q)合取范式(3)原式P Q S ( P Q)析取范式( P ( P Q)) Q SP Q S合取范式(4)原式P P Q Q R既是析取范式又是合取范式2.(1)原式P Q R为真的解释是:000,001,011,100,101,110,111故原式的主析取范式为:( P Q R) ( P Q R) ( P Q R) (P Q R) (P QR) (P Q R) (P Q R)(2)原式(P Q) R(P Q (R R)) ((P P) R)(P Q R) (P Q R) (P Q) ( P R)(P Q R) (P Q R) (P (Q Q) 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)为真的解释是101,100,111,011,001(3)原式( P (Q R)) (P ( Q R))(( P (Q R)) P) (( P (Q R)) ( Q R))( P P) (Q P R) ( P Q R) (Q R Q R)(P Q R) ( P Q R)为真的解释是:000,111(4)原式P P Q Q R P Q R为真的解释是:001,010,011,100,101,110,111故原式的主析取范式为:( P Q R) ( P Q R) ( P Q R) (P Q R) (P QR) (P Q R) (P Q R)3.(1)原式P Q P Q T主合取范式,无为假的解释。

离散数学课后习题答案

离散数学课后习题答案

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)得证。

离散数学第2版课后习题答案

离散数学第2版课后习题答案

离散数学第2版课后习题答案离散数学是计算机科学和数学领域中一门重要的学科,它研究离散对象及其关系、结构和运算方法。

离散数学的应用非常广泛,包括计算机科学、信息科学、密码学、人工智能等领域。

而离散数学第2版是一本经典的教材,它系统地介绍了离散数学的基本概念、原理和方法。

本文将为读者提供离散数学第2版课后习题的答案,帮助读者更好地理解和掌握离散数学的知识。

第一章:基本概念和原理1.1 命题逻辑习题1:命题逻辑的基本符号有哪些?它们的含义是什么?答:命题逻辑的基本符号包括命题变量、命题联结词和括号。

命题变量用字母表示,代表一个命题。

命题联结词包括否定、合取、析取、条件和双条件等,分别表示“非”、“与”、“或”、“如果...则...”和“当且仅当”。

括号用于改变命题联结词的优先级。

习题2:列举命题逻辑的基本定律。

答:命题逻辑的基本定律包括德摩根定律、分配律、结合律、交换律、吸收律和否定律等。

1.2 集合论习题1:什么是集合?集合的基本运算有哪些?答:集合是由一些确定的对象组成的整体,这些对象称为集合的元素。

集合的基本运算包括并、交、差和补等。

习题2:列举集合的基本定律。

答:集合的基本定律包括幂等律、交换律、结合律、分配律、吸收律和德摩根定律等。

第二章:数理逻辑2.1 命题逻辑的推理习题1:什么是命题逻辑的推理规则?列举几个常用的推理规则。

答:命题逻辑的推理规则是用来推导命题的逻辑规则。

常用的推理规则包括假言推理、拒取推理、假言三段论和析取三段论等。

习题2:使用推理规则证明以下命题:如果A成立,则B成立;B不成立,则A不成立。

答:假言推理规则可以用来证明该命题。

根据假言推理规则,如果A成立,则B成立。

又根据假言推理规则,如果B不成立,则A不成立。

2.2 谓词逻辑习题1:什么是谓词逻辑?它与命题逻辑有何区别?答:谓词逻辑是一种扩展了命题逻辑的逻辑系统,它引入了谓词和量词。

与命题逻辑不同,谓词逻辑可以对个体进行量化和描述。

离散数学第四版课后答案(第2章)

离散数学第四版课后答案(第2章)

离散数学课后答案第2章习题解答2.1 本题没有给出个体域,因而使用全总个体域. (1) 令x(是鸟F:)x(会飞翔.G:)xx命题符号化为xFx→∀.))G((x)((2)令x(为人.xF:)(爱吃糖G:)xx命题符号化为GxFx→⌝∀(x))()(或者xFx⌝∧∃(xG))(()(3)令xF:)(为人.xG:)(爱看小说.xx命题符号化为xF∃.Gx∧(x()))((4) x(为人.xF:)G:)(爱看电视.xx命题符号化为Fx⌝⌝∃.x∧(x))()G(分析 1°如果没指出要求什么样的个体域,就使用全总个休域,使用全总个体域时,往往要使用特性谓词。

(1)-(4)中的)(x F 都是特性谓词。

2° 初学者经常犯的错误是,将类似于(1)中的命题符号化为))()((x G x F x ∧∀即用合取联结词取代蕴含联结词,这是万万不可的。

将(1)中命题叙述得更透彻些,是说“对于宇宙间的一切事物百言,如果它是鸟,则它会飞翔。

”因而符号化应该使用联结词→而不能使用∧。

若使用∧,使(1)中命题变成了“宇宙间的一切事物都是鸟并且都会飞翔。

”这显然改变了原命题的意义。

3° (2)与(4)中两种符号化公式是等值的,请读者正确的使用量词否定等值式,证明(2),(4)中两公式各为等值的。

2.2 (1)d (a),(b),(c)中均符号化为)(x xF ∀其中,12)1(:)(22++=+x x x x F 此命题在)(),(),(c b a 中均为真命题。

(2) 在)(),(),(c b a 中均符号化为)(x xG ∃其中02:)(=+x x G ,此命题在(a )中为假命题,在(b)(c)中均为真命题。

(3)在)(),(),(c b a 中均符号化为)xH∃(x其中.1(ba中均为假命题,在(c)中为真H此命题在)(),xx5:)(=命题。

分析 1°命题的真值与个体域有关。

离散数学课后习题答案二

离散数学课后习题答案二

习题1. 列出关系}6|{=⋅⋅⋅∈><+d c b a d c b a d c b a 且,,,,,,Z 中所有有序4元组。

解}6|{=⋅⋅⋅∈><+d c b a d c b a d c b a 且,,,,,,Z ,2,1,3,1,3,1,2,1,2,3,1,1,3,2,1,1,1,1,1,6,1,1,6,1,1,6,1,1,6,1,1,1{><><><><><><><><=><><><><><><><><2,1,1,3,3,1,1,2,1,2,1,3,1,3,1,2,1,1,2,3,1,1,3,2,1,2,3,1,1,3,2,12. 列出二维表所表示的多元关系中所有5元组。

假设不增加新的5元组,找出二维表所有的主键码。

解 略3. 当施用投影运算5,3,2π到有序5元组><d c b a ,,,时你能得到什么解 略4. 哪个投影运算用于除去一个6元组的第一、第二和第四个分量 解 略5. 给出分别施用投影运算4,2,1π和选择运算Nadir航空公司=σ到二维表以后得到的表。

解5,3,2πNadir 航空公司=6. 把连接运算3J 用到5元组二维表和8元组二维表后所得二维表中有序多元组有多少个分量解 略7. 构造把连接运算2J 用到二维表和二维表所得到的二维表。

解 零件供应商二维表与零件数量和颜色代码二维表连接运算2结果第4章:群、环、域习题1. 判断下列集合对所给的二元运算是否封闭。

(1)集合}|{Z Z ∈⨯=z z n n 关于普通加法和普通乘法运算,其中n 是正整数。

(2)集合}12|{+∈-==Z n n x x S ,关于普通加法和普通乘法运算。

(3)集合}10{,=S 关于普通加法和普通乘法运算。

离散数学练习题2 答案

离散数学练习题2 答案

1-1.都是命题:1-2设P:明天天气晴朗Q:我们就去郊游则P →Q:如果明天天气晴朗,我们就去郊游1-3根据真值表求公式P → (P∧(Q →R ))的主析取范式。

解表1.15 例1.42真值表则P → (P∧(Q →R )) ⇔ (﹁P∧Q∧R )∨(﹁P∧Q∧﹁R )∨(﹁P∧﹁Q∧R )∨⌝(﹁P∧Q∧﹁R )∨(P∧﹁Q∧R )∨(P∧﹁Q∧﹁R )∨(P∧Q∧R ) ■由于任意一组命题变元P1, P2, …, P n的真值指派和它的极小项之间是一一对应的,故可以对极小项进行编码。

首先需要规定变元在极小项中的排列次序,假设为P1, P2, …, P n,用m表示极小项,若P i出现在极小项中,则编码的第i个位置上的值为1,否则为0。

比如变元P, Q, R(规定次序为P, Q, R)的极小项P∧﹁Q∧﹁R的编码为100,将此极小项记为m100。

若将编码看作是一个二进制数,又可将例中的极小项记为m4。

用此方法,可以简写所求得的给定公式的主析取范式。

P → (P∧(Q →R )) ⇔m0∨m1∨m2∨m3∨m4∨m5∨m7(规定P, Q, R的次序为P, Q, R)公式P → (P∧(Q →R ))的主析取范式。

解P → (P∧(Q →R ))⇔﹁P∨(P∧(﹁Q∨R ))⇔ (﹁P∨P)∧(﹁P∨﹁Q∨R)⇔ (﹁P∨﹁Q∨R )⇔ (﹁P∨﹁Q∨R )1-4试证明(﹁P →Q )∧(P →R )∧(﹁Q∨S ) ⇒S∨R。

证明(1)﹁P →Q P(2)﹁Q∨S P(3)Q →S T, (2), E16(4)﹁P →S T, (1), (3), I13(5)﹁S →P T, (4), E18(6)P →R P(7)﹁S →R T, (5),(6), I13(8)﹁﹁S∨R T, (7),E16(9)S∨R T, (8), E11-5如果迈克有电冰箱,则或者他卖了洗衣机,或者他向别人借了钱。

离散数学课后习题答案_(左孝凌版)之欧阳育创编

离散数学课后习题答案_(左孝凌版)之欧阳育创编

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

b)不是命题。

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

d)不是命题。

e)是命题,真值为T。

f)是命题,真值为T。

g)是命题,真值为F。

h)不是命题。

i)不是命题。

(3)解:欧阳育创编 2021.02.04 欧阳育创编 2021.02.04原子命题:我爱北京天安门。

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

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

R:我有时间。

P:天下雨。

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

b)设R:我在看电视。

Q:我在吃苹果。

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

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

R:一个数不能被2除。

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

欧阳育创编 2021.02.04 欧阳育创编 2021.02.04(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→┓M欧阳育创编 2021.02.04 欧阳育创编 2021.02.04g)P:我不看电视。

Q:我不外出。

R:我在睡觉。

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

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

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

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