离散数学答案_1-5章

离散数学第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：什么是谓词逻辑？它与命题逻辑有何区别？答：谓词逻辑是一种扩展了命题逻辑的逻辑系统，它引入了谓词和量词。

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

离散数学第3版习题答案离散数学是一门重要的数学学科，它研究的是离散对象和离散结构的数学理论。

离散数学的应用广泛，涉及到计算机科学、信息技术、通信工程等领域。

在学习离散数学的过程中，习题是不可或缺的一部分，通过解答习题可以加深对知识的理解和掌握。

本文将为大家提供《离散数学第3版》习题的答案，希望能对学习者有所帮助。

第一章：命题逻辑1.1 习题答案：1. (a) 真值表如下：p | q | p ∧ qT | T | TT | F | FF | T | FF | F | F(b) 命题“p ∧ q”的真值表如下：p | q | p ∧ qT | T | TT | F | FF | T | FF | F | F(c) 命题“p ∨ q”的真值表如下：p | q | p ∨ qT | T | TT | F | TF | T | TF | F | F(d) 命题“p → q”的真值表如下：p | q | p → qT | T | TT | F | FF | T | TF | F | T1.2 习题答案：1. (a) 命题“¬(p ∧ q)”等价于“¬p ∨ ¬q”。

(b) 命题“¬(p ∨ q)”等价于“¬p ∧ ¬q”。

(c) 命题“¬(p → q)”等价于“p ∧ ¬q”。

(d) 命题“¬(p ↔ q)”等价于“(p ∧ ¬q) ∨ (¬p ∧ q)”。

1.3 习题答案：1. (a) 命题“p → q”的否定是“p ∧ ¬q”。

(b) 命题“p ∧ q”的否定是“¬p ∨ ¬q”。

(c) 命题“p ↔ q”的否定是“(p ∧ ¬q) ∨ (¬p ∧ q)”。

(d) 命题“p ∨ q”的否定是“¬p ∧ ¬q”。

1.4 习题答案：1. (a) 命题“p → q”与命题“¬p ∨ q”等价。

习题5.11.设A=⎨a,b,c⎬，B=⎨1,2,3⎬，试说明下列A到B二元关系，哪些能构成A到B的函数？⑴f1=⎨<a,1>,<a,2>,<b,1>,<c,3>⎬⑵f2=⎨<a,1>,<b,1>,<c,1>⎬⑶f3=⎨<a,2>,<c,3>⎬⑷f4=⎨<a,3>,<b,2>,<c,3>,<b,3>⎬⑸f5=⎨<a,2>,<b,1>,<b,2>⎬解：⑴不能构成函数。

因为<a,1>∈f1且<a,2>∈f1⑵能构成函数⑶不能构成函数。

因为dom f3≠A⑷不能构成函数。

因为<b,2>∈f4且<b,3>∈f4⑸能构成函数。

2.试说明下列A上的二元关系，哪些能构成A到A的函数？⑴A=N(N为自然数集合)，f1=⎨<a,b>| a∈A∧b∈A∧a＋b＜10⎬⑵A=R(R为实数集合)，f2=⎨<a,b>| a∈A∧b∈A∧b=a2⎬⑶A=R(R为实数集合)，f3=⎨<a,b>| a∈A∧b∈A∧b2=a⎬⑷A=N(N为自然数集合)，f4=⎨<a,b>| a∈A∧b∈A∧b为小于a的素数的个数⎬⑸A=Z(Z为整数集合)，f5=⎨<a,b>| a∈A∧b∈A∧b=|2a|＋1⎬解：⑴不能构成函数。

由于1+1＜10且1+2＜10，所以<1,1>∈f1且<1,2>∈f1。

⑵能构成函数。

⑶不能构成函数。

由于12=1且(-1)2=1，所以<1,1>∈f3且<1,-1>∈f3。

⑷能构成函数。

⑸能构成函数。

3. 回答下列问题。

⑴设A=⎨a,b⎬，B=⎨1,2,3⎬。

求B A，验证|B A|= |B||A|。

离散数学智慧树知到课后章节答案2023年下济宁医学院济宁医学院第一章测试1.答案:2.设P：我将去市里，Q：我有时间．命题“我将去市里，仅当我有时间”符号化为答案:3.答案:4.下列公式是重言式的为答案:5.答案:永真式6.下列表述成立的为答案:7.下列结论中不正确的是答案:任意两个不同的布尔小项的析取式必为永真式8.答案:9.答案:必要而非充分条件10.答案:11.一个公式在等价意义下，下面哪个写法是唯一的答案:主析取范式12.下面4个推理定律中，不正确的是答案:13.答案:14.下列语句中哪个是真命题答案:如果疑问句是命题，那么地球将停止转动.15.答案:5第二章测试1.答案:矛盾式2.设个体域为整数集，下列公式中其真值为1的是答案:3.答案:4.下面给出的一阶逻辑等价式中，错误的是答案:5.答案:6.答案:与谓词变元和论述域都无关7.答案:8.答案:9.答案:10.答案:11.答案:12.答案:13.答案:14.答案:15.答案:第三章测试1.答案:2.答案:反自反的3.答案:4.答案:5.答案:6.下列关系中等价关系的是答案:n阶方阵之间的相似关系7.答案:8.下列命题中结论正确的是答案:9.答案:无、2、无、2 10.答案:11.答案:12.答案:13.答案:14.答案:对称闭包15.下列关系矩阵所对应的关系具有反对称性的是答案:第四章测试1.代数系统中若存在左幺元、右幺元，则左幺元，右幺元不一定相等.答案:错2.一个代数系统中若存在左零元、右零元，则左零元，右零元一定相等。

答案:对3.一个代数系统中若存在左逆元、右逆元，则左逆元，右逆元必相等。

答案:错4.代数系统若存在单位元，则单位元是唯一的。

对5.代数系统若存在单位元，零元则单位元必与零元相等。

答案:错第五章测试1.独异点中的元素必有逆元.答案:错2.答案:错3.对4.答案:对5.独异点是含幺半群.答案:对第六章测试1.群必为半群.答案:对2.群必为独异点.答案:对3.群中并不是每个元素均有逆元.答案:错4.群中无零元.答案:对5.群和其子群共用一个单位元.答案:对第七章测试1.答案:2.答案:等价关系3.答案:4.下面四组数不能构成无向图的度数列的答案:5.答案:6.答案:67.答案:128.答案:9.下列哪一种图不一定是树答案:对每对结点间都有通路的图10.答案:11.答案:12.答案:图(d)是强连通的13.答案:14.答案:15.答案:。

2015春课件作业第一部分集合论第一章集合的基本概念和运算1-1 设集合 A ={{2，3,4}，5，1}，下面命题为真是 A （选择题） [ A ] A．1 ∈A； B．2 ∈ A； C．3 ∈A； D．{3，2,1} ⊆ A。

1-2 A,B,C 为任意集合，则他们的共同子集是 D （选择题） [ D ] A．C； B．A； C．B； D．Ø。

1-3 设 S = {N，Z，Q，R}，判断下列命题是否正确（是非题）（1） N ⊆ Q，Q ∈S，则 N ⊆ S，否［错］（2）-1 ∈Z，Z ∈S，则 -1 ∈S 。

否［错］1-4 设集合 B = {4，3} ∩Ø， C = {4，3} ∩{ Ø }，D ={ 3，4，Ø }，E = {x│x ∈R 并且 x2 - 7x + 12 = 0}，F = { 4，Ø，3，3}，试问：集合 B 与那个集合之间可用等号表示 A （选择题） [A ]A. C;B. D;C. E;D. F.1-5 用列元法表示下列集合：A = { x│x ∈N 且 3－x 〈 3 }（选择题） [D ]A. N;B. Z;C. Q;D. Z+1-6 为何说集合的确定具有任意性 ? (简答题)按照所研究的问题来确定集合的元素。

而我们所要研究的问题当然是随意的。

所以，集合的定义（就是集合成分的确定）就带有任意性。

第二章二元关系2-1 给定 X =（3, 2，1），R 是 X 上的二元关系，其表达式如下：R = {〈x，y〉x，y ∈X 且 x > y } （综合题）求：(1)domR =?; (2)ranR =?; (3)R 的性质。

所谓谓词表达法，即是将集合中所有元素的共同性质用一个谓词概括起来，如本题几例所示。

有的书上称其为抽象原则。

反过来，列元法则是遵照元素的性质和要求，逐一将他们列出来，以备下用,结果如下：R = {<1,1>,<2,2>,<3,3>}；(1)DomR={R中所有有序对的x}={3,2,1};(2)RanR={R中所有有序对的y}={3,2,1}；(3)R 的性质:自反,对称,传递性质.2-2 设 R 是正整数集合上的关系，由方程 x + 3y = 12 决定，即R = {〈x，y〉│x，y ∈Z+ 且 x + 3y = 12}，试给出 dom（R 。

习题答案（P151~P153）1．用枚举法给出下列集合解：（2）{-3，2}（4）{5，6，7，8，9，10，11，12，13，14，15}2．用抽象法说明下列集合解：（2）{x|x为素数，10<x<20}（4）{x|x为中国的省会}（6）{x|x=2k+1，k∈I}3．判断下列哪些∈关系成立，为什麽？解：根据只有集合中的元素才与该集合有∈关系，故（1）、（4）、（6）、（7）成立，（2）、（3）、（5）、（8）不成立。

4．判断下列哪些集合相等（全集是整数集合I）解：A=G，B=E，C=F6．写出下列集合的幂集解：（2）ρ（{1，∅}）={∅，{1}，{∅}，{1，∅}}（4）ρ（{∅，{a}，{∅}}）={∅，{∅}，{{a}}，{{∅}}，{∅，{a}}，{∅，{∅}}，{{a}，{∅}}，{∅，{a}，{∅}}}7．当把“⊆”插入空位时哪一个为真？解：（1）、（2）、（3）、（6）为真，（4）、（5）为假。

8．设A、B、C分别是集合，若A∈B，B∈C，哪麽A∈C一定成立吗？解：不一定，例如，A={a}，B={{a}}，C={{{a}}}，虽然A∈B，B∈C，但A∈C不成立。

10．设U={1，2，3，4，5}，A={1，4}，B={1，2，5}和C={2，4}试写出下列集合（8）ρ（A）-ρ（C）解：ρ（A）-ρ（C）={∅，{1}，{4}，{1，4}}-{∅，{2}，{4}，{2，4}}={{1}，{1，4}}11．证明下列恒等式（1）A-（B⋂C）=（A-B）⋃（A-C）（2）（A-B）⋂B=∅解：（1）A-（B⋂C）= A⋂~（B⋂C）= A⋂（~B⋃~C）=（A⋂~B）⋃（A⋂~C）=（A-B）⋃（A-C）（2）（A-B）⋂B=（A⋂~B）⋂B= A⋂（~B⋂B）= ∅12．设A、B、C是集合，下列等式成立的条件是什么？（1）（A-B）⋃（A-C）=A（2）（A-B）⋃（A-C）= ∅解：（1）因为（A-B）⋃（A-C）= （A⋂~B）⋃（A⋂~C）= A⋂（~B⋃~C）= A⋂~（B⋂C）= A-（B⋂C）所以（A-B）⋃（A-C）=A 当且仅当A-（B⋂C）=A 由-的定义可知A⋂（B⋂C）=∅（2）由（1）可知，（A-B）⋃（A-C）=A-（B⋂C）所以（A-B）⋃（A-C）=∅当且仅当A-（B⋂C）=∅由定理5.11可知A⊆（B⋂C）13. 设A，B是集合（1）A-B=B，问A和B有何关系？（2）A-B=B-A, 问A和B有何关系？解：（1）A=B=φ。

第一章命题逻辑内容：命题及命题联结词、命题公式的基本概念，真值表、基本等价式及永真蕴涵式，命题演算的推理理论中常用的直接证明、条件证明、反证法等证明方法。

教学目的：1. 熟练掌握命题、联结词、复合命题、命题公式及其解释的概念。

2. 熟练掌握常用的基本等价式及其应用。

3. 熟练掌握（主）析/合取范式的求法及其应用。

4. 熟练掌握常用的永真蕴涵式及其在逻辑推理中的应用。

5. 熟练掌握形式演绎的方法。

教学重点：1 .命题的概念及判断2 .联结词，命题的翻译3. 主析（合）取范式的求法4. 逻辑推理教学难点：1. 主析（合）取范式的求法2. 逻辑推理1.1命题及其表示法1.1.1 命题的概念数理逻辑将能够判断真假的陈述句称作命题。

1.1.2 命题的表示命题通常使用大写字母 A , B,…，Z或带下标的大写字母或数字表示,如A i, [10], R等，例如A1：我是一名大学生。

A1：我是一名大学生.[10]:我是一名大学生。

R：我是一名大学生。

1.2命题联结词1.2.1否定联结词「P1.2.2合取联结词A1.2.3 析取联结词V1.2.4 条件联结词—125126 与非联结词T性质：(1)P T P=「( PAP)二「P；(2)(P T Q)T( P T Q) -「( P T Q) - PAQ；(3)( P T P)T( Q TQ) -「P T「Q= P V Q。

127 或非联结词J性质:(1) P J P=「( P V Q) =「P;(2)( P J Q )；( P J Q) =「( P J Q) = P V Q;(3)( P J P)J( Q J Q) =「P Q=P V-Q) = PAQ1.3 命题公式、翻译与解释1.3.1 命题公式定义命题公式，简称公式，定义为：（1）单个命题变元是公式；（2 ）如果P是公式，则「P是公式；（3）如果P、Q是公式,则PAQ、PVQ、P > Q、P Q都是公式；（4）当且仅当能够有限次的应用（1）、（2）、（3）所得到的包括命题变元、联结词和括号的符号串是公式。

离散数学第四版课后答案第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的真值则具体情况而定，是确定的。

第一章 命题逻辑基本概念课后练习题答案4.将下列命题符号化，并指出真值：（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.5.将下列命题符号化，并指出真值：（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；6.（1）(┐p∧q)∨(p∧┐q),其中，小丽从筐里拿一个苹果，q ：小丽从筐里拿一个梨；（2）(p∧┐q)∨(┐p∧q),其中，p ：刘晓月选学英语，q ：刘晓月选学日语；.7.因为p 与q 不能同时为真.13.设p:今天是星期一，q:明天是星期二，r:明天是星期三：（1）p→q，真值为1（不会出现前件为真，后件为假的情况）；（2）q→p，真值为1（也不会出现前件为真，后件为假的情况）；（3）pq ，真值为1；（4）p→r，若p 为真，则p→r 真值为0，否则，p→r 真值为1.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．判断下面一段论述是否为真：“π是无理数。

《离散数学1-5章》练习题答案第2，3章(数理逻辑)1.答：（2），（3），（4）2.答：（2），（3），（4），（5），（6）3.答：（1）是，T （2）是，F （3）不是（4）是，T （5）不是（6）不是4.答：（4）5.答：⌝P ，Q→P6.答：P(x)∨∃yR(y)7.答：⌝∀x(R(x)→Q(x))8、c、P→(P∧(Q→P))解：P→(P∧(Q→P))⇔⌝P∨(P∧(⌝Q∨P))⇔⌝P∨P⇔ 1 (主合取范式)⇔ m0∨ m1∨m2∨ m3 （主析取范式）d、P∨(⌝P→(Q∨(⌝Q→R)))解：P∨(⌝P→(Q∨(⌝Q→R)))⇔ P∨(P∨(Q∨(Q∨R)))⇔ P∨Q∨R⇔ M0 (主合取范式)⇔ m1∨ m2∨m3∨ m4∨ m5∨m6 ∨m7 (主析取范式) 9、b、P→(Q→R)，R→(Q→S) => P→(Q→S)证明：（1） P 附加前提（2） Q 附加前提（3） P→(Q→R) 前提（4） Q→R （1），（3）假言推理（5） R （2），（4）假言推理（6） R→(Q→S) 前提（7） Q→S （5），（6）假言推理（8） S （2），（7）假言推理d、P→⌝Q，Q∨⌝R，R∧⌝S⇒⌝P证明、(1) P 附加前提（2） P→⌝Q 前提（3）⌝Q （1），（2）假言推理（4） Q∨⌝R 前提(5) ⌝R （3），（4）析取三段论(6 ) R∧⌝S 前提（7） R （6）化简（8） R∧⌝R 矛盾（5），（7）合取所以该推理正确10.写出∀x(F(x)→G(x))→(∃xF(x) →∃xG(x))的前束范式。

解：原式⇔∀x(⌝F(x)∨G(x))→(⌝(∃x)F(x) ∨ (∃x)G(x))⇔⌝(∀x)(⌝F(x)∨G(x)) ∨(⌝(∃x)F(x) ∨ (∃x)G(x))⇔ (∃x)((F(x)∧⌝ G(x)) ∨G(x)) ∨ (∀x) ⌝F(x)⇔ (∃x)((F(x) ∨G(x)) ∨ (∀x) ⌝F(x)⇔ (∃x)((F(x) ∨G(x)) ∨ (∀y) ⌝F(y)⇔ (∃x) (∀y) (F(x) ∨G(x) ∨⌝F(y))（集合论部分）1、答：(4)2.答：323.答：（3）4. 答：（4）5.答：（2），（4）6、设Ａ，Ｂ，Ｃ是三个集合，证明：a、A⋂ (B－C)＝(A⋂B)－(A⋂C)证明：(A⋂B)－(A⋂C)= (A⋂B)⋂~（A⋂C）=(A⋂B) ⋂（~A⋃~C）=(A⋂B⋂~A)⋃(A⋂B⋂~C)= A⋂B⋂~C=A⋂（B⋂~C）=A⋂（B-C）b、(A－B)⋃(A－C)=A－(B⋂C)证明：(A-B)⋃(A-C)=(A⋂~B)⋃(A⋂⋂~C) =A⋂ (~B ⋃~C)=A⋂~（B⋂C）= A-(B⋂C)（二元关系部分）1、答：（1）R={<1,1>,<4,2>} (2) R1-={<1,1>,<2,4>}2.答：RοR ={〈1,1〉，〈1,3〉，〈2,2〉，〈2,4〉}R-1 =｛〈2,1〉，〈1,2〉，〈3,2〉，〈4,3〉｝3.答：R={<1,1>,<2,2>,<3,3>,<4,4>,<5,5>,<6,6>,<1,2>,<1,3>,<1,4>,<1,5>,<1,6>,<2,4>,<2,6>,<3,6>}4.答：R 的关系矩阵=⎥⎥⎥⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎢⎢⎢⎣⎡000000001000000001 R 1-的关系矩阵=⎥⎥⎥⎦⎤⎢⎢⎢⎣⎡0000000100000000015、解：（1）R={<2,1>,<3,1>,<2,3>};M R =⎪⎪⎪⎭⎫ ⎝⎛001101000;它是反自反的、反对称的、传递的；（2）R={<1,2>,<2,1>,<1,3>,<3,1>,<2,3>,<3,2>};M R =⎪⎪⎪⎭⎫⎝⎛011101110;它是反自反的、对称的；（3）R={<1,2>,<2,1>,<1,3>,<3,3>};M R =⎪⎪⎪⎭⎫⎝⎛100001110;它既不是自反的、也不是反自反的、也不是对称的、也不是反对称的、也不是传递的。