离散数学-刘任任版 第15章习题答案
离散数学答案版(全)
则称 G1，G2，…，Gn 蕴涵 H，又称 H 是 G1，G2，…，Gn 的逻辑结果，记作（G1 ∧G2∧…∧Gn） H 或（G1，G2，…，Gn） H。 1.6.2 基本蕴涵式 （1）P∧Q P； （3）P P∨Q； （5） P （P→Q） ； （7） （P→Q） P； （9）P，P→Q Q； （11） P，P∨Q Q； （13）P∨Q，P→R，Q→R R； （15）P，Q P∧Q。 （2）P∧Q Q； (4) Q P∨Q； （6）Q （P→Q） ； （8） （P→Q） Q； （10） Q，P→Q P； （12）P→Q，Q→R P→R； （14）P→Q，R→S （P∧R）→（Q∧S） ；
变元，若将 A 和 A*写成 n 元函数形式，则 （1） A（P1，P2，…，Pn） A*（ P1， P2，…， Pn） （2）A（ P1， P2，…， Pn） A*（P1，P2，…，Pn） 定理（对偶原理）设 A、B 是两个命题公式，若 AÛB，则 A* B*，其中 A*、 B*分别为 A、B 的对偶式。 1.5.2 范式 定义 仅由有限个命题变元及其否定构成的析取式称为简单析取式，仅由有 限个命题变元及其否定构成的合取式称为简单合取式。 定义 仅由有限个简单合取式构成的析取式称为析取范式。仅由有限个简单 析取式构成的合取式称为合取范式。 定理（范式存在定理）任何命题公式都存在着与之等价的析取范式和合取范式。 1.5.3 主范式 定义 在含有 n 个命题变元 P1，P2，…，Pn 的简单合取范式中，若每个命
P
Q
PQ
1 0 0 0
0 0 1 1
0 1 0 1
性质： （1）P↓P ﹁（P∨Q） ﹁P； （2） （P↓Q）↓（P↓Q） ﹁（P↓Q） P∨Q； （3） （P↓P）↓（Q↓Q） ﹁P↓﹁Q ﹁（﹁P∨﹁Q） P∧Q。
《离散数学》左孝凌 李为鉴 刘永才编著课后习题答案
T
F T
F6 F F F F F F F T
15
16
F
T
T
T
T
T
T
T
(7) 证明： a) A→(B→A) ┐A∨(┐B∨A)
A∨(┐A∨┐B) A∨(A→┐B) ┐A→(A→┐B) b) ┐(AB) ┐((A∧B)∨(┐A∧┐B)) ┐((A∧B)∨┐(A∨B)) (A∨B)∧┐(A∧B) 或 ┐(AB) ┐((A→B)∧(B→A))
┐((┐A∨B)∧(┐B∨A)) ┐((┐A∧┐B)∨(┐A∧A)∨(B∧┐B)∨(B∧A)) ┐((┐A∧┐B)∨(B∧A)) ┐(┐(A∨B))∨(A∧B) (A∨B)∧┐(A∧B) c) ┐(A→B) ┐(┐A∨B) A∧┐B d) ┐(AB)┐((A→B)∧(B→A)) ┐((┐A∨B)∧(┐B∨A)) (A∧┐B)∨(┐A∧B) e) (((A∧B∧C)→D)∧(C→(A∨B∨D))) (┐(A∧B∧C)∨D)∧(┐C∨(A∨B∨D)) (┐(A∧B∧C)∨D)∧(┐(┐A∧┐B∧C)∨D) (┐(A∧B∧C)∧┐(┐A∧┐B∧C))∨D ((A∧B∧C)∨(┐A∧┐B∧C))→D (((A∧B)∨(┐A∧┐B))∧C)→D ((C∧(AB))→D) f) A→(B∨C) ┐A∨(B∨C) (┐A∨B)∨C ┐(A∧┐B)∨C (A∧┐B)→C g) (A→D)∧(B→D)(┐A∨D)∧(┐B∨D)
《离散数学》作业参考答案
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)
湘潭大学刘任任版离散数学课后习题答案习题
习 题 十 一1．设11≥p ，证明任何p 阶图G 与G 总有一个是不可平面图。
分析： G 与G 是两个互补的图，根据互补的定义，互补的图有相同的顶点数，且G 的边数与G 的边数之和等于完全图的边数p(p-1)/2；而由推论11.2.2，有任何简单平面图G ，其顶点数p 和边数q 满足：q ≤3p-6。
证明. 若),(q p G 与),(q p G ''均是可平面图，则63-≤p q （1） 63-'≤'p q （2） 但q p p q p p --='=')1(21, （3）将（3）代入（2）有63)1(21-≤--p q p p 整理后得 q p p 21272≤+- 又由（1）有)63(21272-≤+-p p p 即 024132≤+-p p也即 224413132244131322⨯-+≤≤⨯--p .得 2731327313+≤≤-p 得112<<p此与11≥p 矛盾。
因此任何p 阶图G 与G 不可能两个都是可平面图，从而G 与G 总有一个是不可平面图。
2．证明或否定：两个p 阶极大简单平面图必同构分析：极大平面图是指添加任何一条边以后不构成平面图的平面图；两个p 阶极大简单平面图不一定同构。
解：令6=p ，三个6阶极大简单平面图321,,G G G 如下：顶点上标的数字表示该顶点的度，但显然不同构.3．找出一个8阶简单平面G ，使得G 也是平面图.分析：由第1题证明过程可知，当p<11时，G 和G 可以同时为平面图。
解：如下平面图G ，显然其补图也是平面图。
123G 3344454．证明或者否定：每个极大平面图是H 图. 分析：极大平面图是指添加任何一条边以后不构成平面图的平面图；而H 图是存在一个H 回路的图，即存在一条经过图中每一个顶点一次且仅一次的回路。
由定理11.1.2知极大平面图的每个面都是三角形，因此G 中必存在回路，利用最长回路的性质使用反证法可证明每个极大平面图都是H 图。
离散数学 习题答案(刘任任)
（2）
A B ( A B) ( A B) ( B A) ( B A) B A
( A B) C (( A B) ( B A)) C (( A B ) ( B A )) C (((A B ) ( B A)) C) (((A B ) ( B A)) C)
A B AC
(4) 错误。例如，令 A={2,3,4},B={1,2,3},C={3,4,5}; (5)错误。例如，令A={2,4},B={1,2},C={2,3};
8.
（1）设A=B。于是
A B ( A B) ( A B) A A 反之，设 A B 。若 A B ，则不妨 设 x A而x B 。于是， x A B, 而x A B 从而 A B
3.
(1) 错; (2) 对; (3) 对; (4) 错;
(5) 错;
(9) 对;
(6) 对;
(10) 错;
(7) 错;
(11)错;
(8) 对;
(12)对.
4.
（1）正确。因BC，所以，对任何x∈B均有x∈C， 令A∈B，故A∈C。 （2）错误。例如，令A={1}，B={{1}，2}， C={{1}，2，3}。
(B×A) 2 =(B × A) ×(A × B) ={<<2,1>,<2,1>>,<<2,1>,<2,2>>,<<2,1>,<3,1 >>,<<2,1>,<3,2>>,<<2,2>,<2,1>>,<<2,2>,< 2,2>>,<<2,2>,<3,1>>,<<2,2>,<3,2>>,<<3,1 >,<2,1>>,<<3,1>,<2,2>>,<<3,1>,<3,1>>,<< 3,1>,<3,2>>,<<3,2><2,1>>,<<3,2>,<2,2>>, <<3,2>,<3,1>>,<<3,2>,<3,2>>}
离散数学课后答案详细
第一章命题逻辑基本概念课后练习题答案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）p q，真值为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．判断下面一段论述是否为真：“π是无理数。
并且，如果3是无理数，则2也是无理数。
另外6能被2整除，6才能被4整除。
离散数学课后答案
离散数学课后答案1. 集合论1.1. 集合的基本概念•问题1：什么是集合？如何表示一个集合？集合是由一些确定的元素构成的整体。
可以使用以下方式表示一个集合：–列举法：将集合的所有元素逐一列举出来，并用大括号{}包括起来。
–描述法：使用一种公式或条件来描述集合中的元素的特点，并用大括号{}包括起来。
–空集：不包含任何元素的集合，用符号∅表示。
•问题2：集合的关系有哪些？集合的关系有以下几种：–包含关系（⊆）：集合A的所有元素都属于集合B，则称集合A是集合B的子集，表示为A⊆B。
–真包含关系（⊂）：集合A是集合B的子集，且A≠B，则称集合A是集合B的真子集，表示为A⊂B。
–并集（∪）：将两个集合中的所有元素合并在一起，去除重复元素。
–交集（∩）：将两个集合中共有的元素提取出来。
–差集（-）：从一个集合中去掉与另一个集合中相同的元素。
–互斥关系：两个集合没有共同的元素，即交集为空集。
1.2. 集合的运算•问题1：集合的运算有哪些？集合的运算有以下几种：–并集运算（∪）：将两个集合中的所有元素合并在一起，去除重复元素。
–交集运算（∩）：将两个集合中共有的元素提取出来。
–差集运算（-）：从一个集合中去掉与另一个集合中相同的元素。
–补集运算（C）：对于给定的全集U，集合A 在U中的补集就是U中除去集合A中的所有元素所构成的集合，表示为A’。
–笛卡尔积（×）：将两个集合的元素按照有序对的形式进行组合，构成一个新的集合。
•问题2：集合运算的性质有哪些？集合运算的性质有以下几种：–交换律：A∪B = B∪A，A∩B = B∩A。
–结合律：(A∪B)∪C = A∪(B∪C)，(A∩B)∩C = A∩(B∩C)。
–分配律：A∪(B∩C) = (A∪B)∩(A∪C)，A∩(B∪C) = (A∩B)∪(A∩C)。
–吸收律：A∪(A∩B) = A，A∩(A∪B) = A。
–互补律：A∪A’ = U，A∩A’ = ∅。
湘潭大学 刘任任版 离散数学课后习题答案 习题15
结论：
证明：（1） 前提引入
（2） US,(1)
（3） 前提引入
（4） ES,（3）
（5）P（c）化简（4）
（6） 假言推理,（2），（5）
（7）E（c）化简,（6）
（8）Y(c)化简,（4）
（9） 合取（5）（7）（8）
（10） EG
（1）
其中， ＞2 ＞5 ，论域D={-2，3，6}
解：假。（x为-2时不成立）
（2）
其中， ＞3 ，论域D={2}。
解：真。
3、在一阶逻辑中，将下列命题符号化：
分析：本题主要是考察存在量词、全称量词已经基本的连接词的运用。
（1）凡有理数均可表示为分数。
解：令： ：x是有理数；Q（x）:x可表示为分数。
解：（3）错误。在 中变元并非只有y。
16.每个学术会的成员都是知识分子并且是专家，有些成员是青年人。证明：有的成员是青年专家。
分析：本题主要是首先把明天符号化，符号化前提，结论。然后根据US、UG、ES、EG规则证明结论成立。
解：P（x）：x是学术会的成员；E（x）：x是专家；
G（x）：x是知识分子；Y（x）：x是青年人。
第二个 的作用域为第二个 ； 的作用域为 。
（3）
解：自由变元： ，约束变元：x和y；
， 的作用域为
（4）
解：无自由变元约束变元x，y；
的作用域： ， 的作用域：
（5）
解：自由变元：y与G(x，y)中的x，约束变元：F(x)中的x；
的作用域：F(x)
（6）
解：自由变元：Z与H(x，y)中的y；
约束变元： ,
故结论成立。
13．证明
分析：本题是根据基本的等值式、蕴含式、以及US、UG、ES、EG规则证明结论成立。
离散数学刘任任课后答案习题
习 题 三1．下列映射哪些是单射、满射或双射.（1）()⎩⎨⎧=→.0;1,:是偶数是奇数m m m Z Z σσ （2）{}()⎩⎨⎧=→.1;0,1,0:是偶数是奇数m m m N σσ （3）()52,:-=→r r R R σσ解：(1) σ既不是单射也不是满射。
(2) 是满射但不是单射.。
(3) 双射。
2．设A 和B 是有限集，试问有多少A 到B 的不同的单射和双射.解：设 |A|=m , |B|=n .(1) 若 B A →:σ是单射, 则必有 |A|<=|B|, 即 m<=n .a) 当m= n 时, 共有m!个单射;b) 当m<n 时, 共有 !m m n C ⋅ 个单射;(2) 若B A →:σ是双射时, 则必有|A|=|B|, 即 m=n 。
于是, 共有n!个双射。
3．设()A B B A ρτσ→→:,:且定义如下：对于()(){}b x A x b B b =∈=∈στ,试证明，若σ是满射，则τ是单射，其逆成立吗？证明：设B A →:σ是满射。
任取2121,,,b b B b b ≠∈，则存在 A A A ⊆⊆∅21,, 使得 }{)(},{)(2211b A b A ==σσ。
于是, 2211)(,)(A b A b ==ττ 。
若)()(21b b ττ=, 即21A A =, 则存在 21A A a I ∈, 使得21)(,)(b a b a ==σσ,从而21b b =。
矛盾。
故21A A ≠。
.即τ是单射。
若τ是单射, 则σ不一定是满射。
例如, 令A={1,2}, B={x , y} ,∅====)(},2,1{)(,)2()1(y x x ττσσ.于是, τ是单射, 但σ不是满射。
4．设σ是A 到B 的映射，τ是B 到C 的映射，试证明：（1）若σ和τ是满射，则στ⋅是满射；（2）若σ和τ是单射，则στ⋅是单射；（3）若σ和τ是双射，则στ⋅是双射；证明：(1) 设τ和σ是满射, 则对任意的z ∈C, 有y ∈B, 使得τ(y)= z 。
离散数学课后答案
离散数学课后答案习题一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.。
刘任任离散数学答案
刘任任离散数学答案【篇一：湘潭大学刘任任版离散数学课后习题答案习题17】设g是群，a,b?g.试证：(a?1)?1?a(ab)?1?b?1a?1证明：设e是单位元（下同），直接根据定义即有：? a?1a?e, (ab)(b?1a?1)?a(bb?1)a?1?(ae)a?1?aa?1?e,? (a?1)?1?a, (ab)?1?b?1a?12. 试举一个只有两元素的群。
解：设g??{0, 1}, ? ?，并且g的单位元为0,则可以确定乘法表中的三个元素，0?0=0；0?1=1；1?0=1；由群的定义，任意元素都有逆元，0的逆元为0，1的逆元为1，因此1?1=0?1易知，单位元e?0，运算满足封闭性和结合律，且1?1。
故g是群。
3. 设a?{1,2,3,4}的乘法表为1234124132123434321431 42问：a是否成为群？若不是群，结合律是否成立？a有无单位元?解：如果a是一个群，则一定有单位元i，乘法表中第i行第i列元素保持不变，而定义的乘法表不满足此性质。
因此a无单位元，故a 不成群。
且4?(2?3)?4?2?(3?4)?1,无结合律。
4. 设g是群.试证：若对任何a,b?g，均有a3b3?(ab)3,a4b4?(ab)4,a5b5?(ab)5，则g是交换群.证明：利用消去律，将各等式降阶。
? a3b3?(ab)3?a(ba)2b, ?a2b2?(ba)2 (1)5554444又 ? ab?(ab)?a(ba)b, ?ab?(ba) (2)22222222因此， ab?(ba)?(ba)(ba)?(ab)(ab)?a(ba)b, 于是，2222得 ab?ba, 再由(1)知，b2a2?a2b2?(ba)2?baba, 故有 ab?ba. 44(2)422(1)5. 设g是群.试证：若对任何a?g，有a?1?a，则g是交换群。
?1?1?1证明：利用群的性质(3),(4),对任意a, b?g，有ab?ab?(ba)?ba。
离散数学课后习题答案
离散数学课后习题答案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)得证。
离散数学习题答案精选全文完整版
可编辑修改精选全文完整版离散数学习题答案习题一：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为奇数。
湘潭大学 刘任任版 离散数学课后习题答案 习题2
习 题 二1.确定下列二元关系：（1）{}{}{}B A B A y x y x R B A ⨯⊆∈=== ,,,5,3,1,3,2,1 （2）{}{}A A x y x R A y ⨯⊆===2,,8,6,5,4,3,2,1,0 分析：本题主要运用知识为集合的交、关系以及笛卡尔积的定义。
解：(1) R =<><><><>{,,,,,,,}11133133(2) R =<><><><>{,,,,,,,}102142832. 请分别给出满足下列要求的二元关系的例子：（1）既是自反的，又是反自反的；（2）既不是自反的，又不是反自反的；（3）既是对称的，又是反对称的；（4）既不是对称的，又不是反对称的.分析 本题主要考察关系的5个性质（自反性、反自反性、对称性、反对称性、传递性）。
解：设R 是定义在集合A 上的二元关系。
(1) 令A =∅，则R =∅，于是R 既是自反又是反自反的；(2) 令A R ==<>{,},{,}1211，于是R 既不是自反又不是反自反的；(3) 令A R ==<><>{,},{,,,}121122，于是R 既是对称又是反对称的；(4) 令A R ==<><><>{,,},{,,,,,}123122113，于是R 既不是对称又不是反对称的。
3. 设集合A 有n 个元素，试问：（1）共有多少种定义在A 上的不同的二元关系？（2）共有多少种定义在A 上的不同的自反关系？（3）共有多少种定义在A 上的不同的反自反关系？（4）共有多少种定义在A 上的不同的对称关系？（5）共有多少种定义在A 上的不同的反对称关系？分析：本题主要考察知识为二元关系的自反性、反自反性、对称性、反对称性所对应的关系矩阵之性质，本题可以在做完第四题（根据满足某个性质的关系之关系矩阵）之后再来考虑。
离散数学习题答案解析
离散数学习题答案习题一及答案：（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，()(110)1p q r ∧∧⌝⇔∧∧⌝⇔，(())((11)0)(00)1p q r ⌝∨⌝→⇔⌝∨⌝→⇔→⇔ ()(())111p q r p q r ∴∧∧⌝↔⌝∨⌝→⇔↔⇔19、用真值表判断下列公式的类型： （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。
离散数学课后习题答案
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)得证。
离散数学-第15章
不能将必要条件当作充分条件，也不要将充分条件当必要 条件.
28
练习1
1. 设G为n（n2）阶无向欧拉图，证明G中无桥(见例1思考题) 方法一：直接证明法. 命题 (*)：设C为任意简单回路，e为C上任意一条边，则Ce 连通. 证 设C为G中一条欧拉回路，任意的eE(C)，可知Ce是Ge 的子图，由()知 Ce 连通，所以e不为桥.
(2) = v1v2…vl 为极大路径，l n, 若l = n（结束）. 下面讨论l<n的情况，即要证G中存在过上所有顶点的圈.
① 若(v1,vl)在G中，则(u,v)为G中圈
② 否则，设v1与上 vi1 v2 , vi2 ,..., vik相邻，则k2 (否则由
极又大vl 至路少径与端点vi2性, v质i3 ,及...v(ik 左)，边会相得邻到顶d(点v1)之+d一(v相l)邻1+(l写2出<n理1由)，)， 设 vir 1 与vl相邻，见图中(1) ，于是得G中回路C ((1)中图去 掉边( vir 1 , v )ir )
方法二：反证法. 利用欧拉图无奇度顶点及握手定理的推论. 否则，设e=(u,v)为G中桥，则Ge产生两个连通分支G1, G2， 不妨设u在G1中，v在G2中. 由于从G中删除e时，只改变u,v 的度数(各减1)，因而G1与G2中均只含一个奇度顶点，这与 握手定理推论矛盾.
29
练习 2
2. 证明下图不是哈密顿图. (破坏必要条件)
方法一. 利用定理15.6， 取 V1 = {a, c, e, h, j, l}，则
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
第十五章习题解答1. ()()x xS x xR ∃∧∀)1(())()()()()()()(c S b S a S c R b R a R ∨∨∧∧∧解：())()()2(x Q x P x →∀))((()()()()())()(c Q c P b Q b P a Q a P →∧→∧→解：)()()3(x xP x P x ∀∨⌝∀)(()()()())()()(c P b P a P c P b P a P ∧∧∨⌝∧⌝∧⌝解：2. 指出下列命题的真值：⎝⎛-=>=>∨→∀}6,3,2{,5:,"5:")(,"3:")(,"23:",)())(((1)D e x x R x x Q P e R x Q P x 论域其中).2.(:时不成立为当假解-x 。
论域其中，}2{,"4:")(,"3:")()()(()2(==>→∃D x x Q x x P x Q x P x解：真。
3. 在一阶逻辑中，将下列命题符号化： （1）凡有理数均可表示为分数。
解：P(x)： x 是有理数； Q （x ）:x 可表示为分数。
))()((x Q x P x →∀())())()((.:,:)(,:)(:.,)4())()((.:)(:)()3()(:)(:)()2(x S x P x W W x x S x x P x Q x P x x x Q x x P x Q x P y x x Q x x P ∧∃→→⌝∀∧∃∃明天天气好是学生是公园解有一些学生将去公园如果明天天气好是有理数是实数，解：数。
并非所有实数都是有理。
是有理数。
是实数，解：有些实数是有理数。
);()),()((,,:)()())()(()1(.,.4|))))()(|,(),(()()0,((),(:)(,:),(:.|)()(|:,),,(,0)6())).,()(()((:),(,:)(:)()5(00000x R x Q x P x x z z Q x xR x Q x P x x f x f G N n G n N x S G x b a x x S y x y x G x f x f N n N b a x x y G y Q y x P x y x y x G x x Q x x P n n 第二个是的作用域是第一个约束变元自由变元解并指出各量词的作用域变元和约束变元指出下列公式中的自由解时有使当都存在对任意给是实数是正实数，解：在大于该实数的实数。
对任意的正实数，都存∧∀∧∀→∧∀-∧∀∃→∧∀∀∈><->∈>∧∃→∀>εεεεε(2)))()(())(()((z Q x xP y Q y x P x →∀∨∃∧∀解：自由变元z ，约束为元：x ，y 。
第一个的作用域为第二个的作用域为第二个P(x)；第二个的作用域的作用域为 Q(y) （3）)()())()((z s y yR x Q x P x ∧∃∧↔∀ 解：自由变元z ，约束为元：x ，y 。
))()((x Q x P x ↔∀的作用域为解：自由变元z ，约束为元：x ，y 。
))()((x Q x P x ↔∀的作用域为 y ∃的作用域为R(y)（4）)),()((y x yH x F x ∃→∀解：无自由变元，约束为元：x ，y 。
x ∀的作用域为：))()((y x yH x F ，∃→ y ∃的作用域为：H(x,y)(5)),()(y x G x xF →∀解：自由变元:y 与G(x,y)中的x,约束变元:F(x)中的xx ∀的作用域：F(x)(6)),()),(),((y x xH z x Q y x R y x ∃∧∧∀∀解：自由变元:Z 与H(x,y)中的y;约束变元:x,y 。
x ∀和y ∀的作用域：()),(),((z x Q y x R ∧ x ∃的作用域：),(y x H5．设谓词公式。
判定以下改名是否正确 ：x ∀)),(),((z x Q y x P ∨(1)u ∀)),(),((z x Q y u P ∨ 错误 (2))),(),((z u Q y u P u ∨∀ 正确 (3))),(),((z u Q y u P x ∨∀ 错误 (4))),(),((z x Q y x P u ∨∀ 错误 (5))),(),((z y Q y y P y ∨∀错误6.(1) 解：真 (2) 解：假 (3) 解：真 (4) 解：真7.判断下列公式的恒真性和恒假性 (1) 解：恒真 (2) 解：恒真 (3) 解：恒真 (4) 解：恒假 (5) 解：满足 8．（1）H x xG H x G x →∃⇔→∀)())((Hx xG H x xG H x G x H x G x H x G x →∃⇔∨∃⇔∨∀⇔∨∀⇔→∀)())((7)(7))(7())((（2）H x xG H x G x →∀⇔→∃)())((Hx xG H x xG H x G x H x G x H x G x →∀⇔∨∀⇔∨∃⇔∨∃⇔→∃)())((7)(7))(7())((9.（1）)()(y x xG y y x yG x ，，∀∀⇔∀∀证：设D 是论域，I 是G （x ，y ）的一个解释。
（a ）若)(y x yG x ，∀∀在 I 下的为真，则在 I 下，对任意的D y x ∈,，),(y x G 即),(y x xG y ∀∀是真命题。
若),(y x yG x ∀∀在 I 下的为假,则在 I 下,必存在,00D y D x ∈∈或使得G （x0,y ）或G （x, y0）为假，于是，此xo 或yo 亦弄假 ),(y x xG y ∀∀ （2）)()(y x xG y y x yG x ，，∃∃⇔∃∃证：设D 是论域，I 是G （x, y ）的一个解释。
（a)若)(y x yG x ，∃∃在 I 下的为真，则在 I 下,有,00D y D x ∈∈与使G（x0,y0）为真命题，于是，)(y x yG x ，∃∃也是真命题， 反之亦然。
)()()()(()()()()(:)()()2())()(()()()()(:)()()1(:.10.,)(,),(,,,)()(x G x F x x xG x F x x xG x xF x xG x xF x xG x xF x G x F x x G x x xF x xG x xF x xG x xF y x xG y y x G D y x I y x yG x b ∨⌝∃⇔∃∨⌝∃⇔∃∨⌝∀⇔∃→∀∃→∀⌝∧∀⇔⌝∀∧∀⇔⌝∃∧∀⌝∃∧∀∃∃∈∃∃解解前束范式将下列公式化成等价的反之亦然亦为假，故均为假则对任意下为假在，若(3)解：),())(),((y x xH y yG y x xF ∀→∃→∀),())()),((7(),())(),((y x xH y yG y x xF y x xH y yG y x xF ∀→∃∨∀⇔∀→∃→∀),())(),(7(),())()),(7((y x xH z G y x F z x y x xH z zG y x F x ∀→∨∃∃⇔∀→∃∨∃⇔ ),())(7),((y u uH z G y x F z x ∀∨∧∀∀⇔ )),())(),(((y u H z G y x F u z x ∨∧∀∀∀⇔(4))),()((y x yQ x P x ∃→∀解：)),()(7()),()(7()),()((y x Q x P y x y x yQ x P x y x yQ x P x ∨∃∀⇔∃∨∀⇔∃→∀ 11．给出下面公式的skolem 范式： (1))),()((7z y zQ y x xP ∀∃→∀)),(7)((),(7)(()),()((7z y Q x P z y x z y Q z y x xP z y zQ y x xP ∧∀∃∀⇔∃∀∧∀⇔∀∃→∀∴所求为: ))),((7)((z x f Q x P z x ∧∀∀(2)))))),())(,())(,(((),(7(z y E x g z zE x g y E y o x E x →∀∧∃→∀解:原式: )))),())(,())(,(((),(7(z y E x g z E x g y E z y o x E x →∧∀∃→∀⇔)))),()(,())(,(((7),(7(z y E x g z E x g y E z y o x E x ∨∧∀∃→∀⇔ )))),()(,())(),((7(),(7(z y E x g v E x g y E v u o x E x ∨∧∀∀→∀⇔)),()))(,(7()))(),((7((),(7(z y E x g v E x g u E v u o x E x ∨∨∀∀→∀⇔ )),()))(,(7()))(,(7((),((z y E x g v E x g u E o x E u x ∨∨∨∨∀∀∀⇔即为所求(3)))()((7y yP x xP ∃→∀ 解：))()(7(7))()(7(7))()((7y yP x P x y yP x xP y yP x xP ∃∨∃⇔∃∨∀⇔∃→∀))(7)(()))()(7((7y P x P y x y P x P y x ∧∀∀⇔∨∃∃⇔12．假设)(y x yM x ，∀∃是公式G 的前束范式，其中M （x, y ）是仅仅包含变量x ，y 的母式，设f 是不出现在M （x, y ）中的函数符号。
证明：G 恒真当且仅当 ))(,(x f x yM x ∀∃ 恒真。
证：设)(y x yM x G ，∀∃=恒真。
若))(,(x f x xM ∃不真，则存在一个解释I, 使得对任意的 D x ∈0（论域），))(,(00x f x M 为假。
于是，G 在I 下也为假。
此为矛盾。
反之，设))(,(x f x xM ∃恒真。
若)(y x yM x ，∀∃不是恒真，则存在一个解释I ’，使得对任意 D x i ∈，存在D y i ∈，使)(i i y x M ，为假。
由于f 是不出现在)(y x M ，中的函数符号，故可定义函数，D D f →:使得i i y x f =)(。
于是，))(,(x f x xM ∃在I ’下为假。
矛盾。
故结论成立。
13．证明))()()(())()()(())()()((x R x P x x R x Q x x Q x P x →∀⇒→∀∧→∀证明:（1）))()()((x Q x P x →∀前提引入（2）)()(y Q y P →US ，（1） （3）))()()((x R x Q x →∀前提引入（4）)()(y R y Q → US ，（3） （5）)()(y R y P →假言推理(2)(4) （6）))()()((x R x P x →∀UG ，（5）14．构造下面推理的证明前提: ))()(()),()((x H x G x x H x F x →∀∧⌝∃ 结论: ))(7)((x F x G x →∀ 证明:（1）))()((x H x F x ∧⌝∃前提引入（2)))(7)((x F x H x →∀ 等值替换（1） （3)))(7)(7(x H x F x ∨∀ 等值替换（2） （4))(7)(y F y H → US ，（3） （5))()(c E c G ∧假言推理(2)(4)（6))()(y H y G →US ，（5） )6)(4()(7)()7(假言三段论y F y G →)8())(7)(()8(规则UG x F x G x →∀15．指出下面两个推理的错误。