离散数学习题三含答案

合集下载

离散数学第3版习题答案

离散数学第3版习题答案

离散数学第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”等价。

离散数学试题及答案

离散数学试题及答案

离散数学试题及答案一、选择题1. 设A、B、C为三个集合,下列哪个式子是成立的?A) \(A \cup (B \cap C) = (A \cup B) \cap (A \cup C)\)B) \(A \cap (B \cup C) = (A \cap B) \cup (A \cap C)\)C) \(A \cup (B \cup C) = (A \cup B) \cup (A \cup C)\)答案:B2. 对于一个有n个元素的集合S,S的幂集中包含多少个元素?A) \(n\)B) \(2^n\)C) \(2 \times n\)答案:B二、判断题1. 对于两个关系R和S,若S是自反的,则R ∩ S也是自反的。

答案:错误2. 若一个关系R是反对称的,则R一定是反自反的。

答案:正确三、填空题1. 有一个集合A,其中包含元素1、2、3、4和5,求集合A的幂集的大小。

答案:322. 设a和b是实数,若a \(\neq\) b,则a和b之间的关系是\(\__\_\)关系。

答案:不等四、解答题1. 证明:如果关系R是自反且传递的,则R一定是反自反的。

解答:假设关系R是自反的且传递的,即对于集合A中的任意元素x,都有(x, x) ∈ R,并且当(x, y) ∈ R和(y, z) ∈ R时,(x, z) ∈ R。

反证法:假设R不是反自反的,即存在一个元素a∈A,使得(a, a) ∉ R。

由于R是自反的,所以(a, a) ∈ R,与假设矛盾。

因此,R一定是反自反的。

答案完整证明了该结论。

2. 已知集合A={1, 2, 3},集合B={2, 3, 4},求集合A和B的笛卡尔积。

解答:集合A和B的笛卡尔积定义为{(a, b) | a∈A,b∈B}。

所以,集合A和B的笛卡尔积为{(1, 2), (1, 3), (1, 4), (2, 2), (2, 3), (2, 4), (3, 2), (3, 3), (3, 4)}。

(完整版)离散数学课后习题答案(第三章)

(完整版)离散数学课后习题答案(第三章)

a t a t i m e an dA l lt h i ng si nt h ei r be i ng ar eg oo df o r so me t hi n 3-5.1 列出所有从X={a,b,c}到Y={s}的关系。

解:Z 1={<a,s>}Z 2={<b,s>} Z 3={<c,s>}Z 4={<a,s>,<b,s>} Z 5={<a,s>,<c,s>} Z 6={<b,s>,<c,s>}Z 7={<a,s>,<b,s>,<c,s>}3-5.2 在一个有n 个元素的集合上,可以有多少种不同的关系。

解 因为在X 中的任何二元关系都是X ×X 的子集,而X ×X=X 2中共有n 2个元素,取0个到n 2个元素,共可组成22n 个子集,即22|)(|n X X =⨯℘。

3-5.3 设A ={6:00,6:30,7:30,…, 9:30,10:30}表示在晚上每隔半小时的九个时刻的集合,设B={3,12,15,17}表示本地四个电视频道的集合,设R 1和R 2是从A 到B 的两个二元关系,对于二无关系R 1,R 2,R 1∪R 2,R 1∩R 2,R 1⊕R 2和R 1-R 2可分别得出怎样的解释。

解:A ×B 表示在晚上九个时刻和四个电视频道所组成的电视节目表。

R 1和R 2分别是A ×B 的两个子集,例如R 1表示音乐节目播出的时间表,R 2是戏曲节日的播出时间表,则R 1∪R 2表示音乐或戏曲节目的播出时间表,R 1∩R 2表示音乐和戏曲一起播出的时间表,R 1⊕R 2表示音乐节目表以及戏曲节目表,但不是音乐和戏曲一起的节日表,R 1-R 2表示不是戏曲时间的音乐节目时间麦。

3-5.4 设L 表示关系“小于或等于”,D 表示‘整除”关系,L 和D 刀均定义于解:L={<1,2>,<1,3>,<1,6>,<2,3>,<2,6>, <3,6>,<1,1>,<2,2>,<3,3>,<6,6>}D={<1,2>,<1,3>,<1,6>,<2,6>,<3,6>,<1,1>,<2,2>,<3,3>,<6,6>} L ∩D={<1,2>,<1,3>,<1,6>,<2,6>,<3,6>,<1,1>,<2,2>,<3,3>,<6,6>}3-5.5对下列每一式,给出A 上的二元关系,试给出关系图:a){<x,y>|0≤x ∧y ≤3},这里A={1,2,3,4};b){<x,y>|2≤x,y ≤7且x 除尽y ,这里A ={n|n ∈N ∧n ≤10}c) {<x,y>|0≤x-y<3},这里A={0,1,2,3,4};d){<x,y>|x,y 是互质的},这里A={2,3,4,5,6}解:a) R={<0,0>,<0,1>,<0,2>,<0,3>, <1,0>,<1,1>,<1,2>,<1,3>, <2,0>,<2,1>,<2,2>,<2,3>, <3,0>,<3,1>,<3,2>,<3,3>,} 其关系图b) R={<2,0>,<2,2>,<2,4>,<2,6>,<3,0>,<3,3>,<3,6>, <4,0>,<4,4>, <5,0>,<5,5>,i m e an dA l lt h in gs in th ei r be i ng ar eg oo df o rsa)若R1和R2是自反的,则R1○R2也是自反的;b)若R1和R2是反自反的,则R1○R2也是反自反的;c)若R1和R2是对称的,则R1○R2也是对称的;d)若R1和R2是传递的,则R1○R2也是传递的。

离散数学第3章答案

离散数学第3章答案

习题3.11.(1) {0,1,2,3,4,5,6,7,8,9}(2) {aa , ab , ba , bb }(3) {-1,1}(4) {11,13,17,19,23,29}(5) {1,2,3, (79)(6) {2}2. 用描述法表示下列集合:(1) 不超过200的自然数的集合;{|N 200}x x x ∈∧≤(2) 被5除余1的正整数的集合;+{|I (N 51)}x x y y x y ∈∧∃∈∧=+(3) 函数y =sin x 的值域;{|R 11}y y y ∈∧-≤≤(4) 72的质因子的集合;{|N |72(N 2|)}x x x y y y x y x ∈∧∧∀∈∧≤<→/(5) 不等式031>-x 的解集; {|R 3}x x x ∈∧>(6) 函数2312+-=x x y 的定义域集. {|R 12}x x x x ∈∧≠∧≠3. 用归纳定义法描述下列集合:(1) 允许有前0的十进制无符号整数的集合;① {0,1,2,3,4,5,6,7,8,9}A ⊆② 如果x A ∈,则{0,1,2,3,4,5,6,7,8,9,0,1,2,3,4,5,6,7,8,9}x x x x x x x x x x x x x x x x x x x x A ⊆(2) 不允许有前0的十进制无符号整数的集合;① {1,2,3,4,5,6,7,8,9}A ⊆② 如果x A ∈,则{0,1,2,3,4,5,6,7,8,9}x x x x x x x x x x A ⊆(3) 不允许有前0的二进制无符号偶数的集合;① 1A ∈② 如果x A ∈,则{0,1}x x A ⊆(4) 5的正整数倍的集合.① 5A ∈② 如果x A ∈,则5x A +∈4. 判断下列命题中,哪些是真的,哪些是假的(A 是任意集合):(1) ;A ∈∅(2) ;A ⊆∅ (3) };{A A ∈ (4) ;A A ⊆ (5) ;A A ∈ (6) };{A A = (7) }.{∅=∅答:(2),(3),(4)为真,(1),(5),(6),(7)为假。

离散数学试题带答案(三)

离散数学试题带答案(三)

离散数学试题带答案一、填空题1设集合A,B,其中A={1,2,3}, B= {1,2}, 则A - B={3} ; ρ(A) - ρ(B)={3},{1,3},{2,3},{1,2,3}} .2. 设有限集合A, |A| = n, 则|ρ(A×A)| = 22n.3.设集合A = {a, b}, B = {1, 2}, 则从A到B的所有映射是α1= {(a,1), (b,1)}, α2= {(a,2), (b,2)},α3= {(a,1), (b,2)}, α4= {(a,2), (b,1)}, 其中双射的是α3, α4 .4. 已知命题公式G=⌝(P→Q)∧R,则G的主析取范式是(P∧⌝Q∧R)5.设G是完全二叉树,G有7个点,其中4个叶点,则G的总度数为12,分枝点数为3.6设A、B为两个集合, A= {1,2,4}, B = {3,4}, 则从A⋂B={4} ; A⋃B={1,2,3,4};A-B={1,2} .7.设R是集合A上的等价关系,则R所具有的关系的三个特性是自反性, 对称性传递性.8. 设命题公式G=⌝(P→(Q∧R)),则使公式G为真的解释有(1, 0, 0), (1, 0, 1),(1, 1, 0)9. 设集合A={1,2,3,4}, A上的关系R1 = {(1,4),(2,3),(3,2)}, R2 = {(2,1),(3,2),(4,3)}, 则R1•R2 ={(1,3),(2,2),(3,1)} , R2•R1 = {(2,4),(3,3),(4,2)} _R12 ={(2,2),(3,3).10. 设有限集A, B,|A| = m, |B| = n, 则| |ρ(A⨯B)| = .11设A,B,R是三个集合,其中R是实数集,A = {x | -1≤x≤1, x∈R}, B = {x | 0≤x < 2, x∈R},则A-B = -1<=x<0 , B-A = {x | 1 < x < 2, x∈R} ,A∩B ={x | 0≤x≤1, x∈R} , .13.设集合A={2, 3, 4, 5, 6},R是A上的整除关系,则R以集合形式(列举法)记为{(2, 2),(2, 4),(2, 6),(3, 3),(3, 6),(4, 4),(5, 5),(6, 6)} .14. 设一阶逻辑公式G = ∀xP(x)→∃xQ(x),则G的前束范式是∃x(⌝P(x)∨Q(x)) .15.设G是具有8个顶点的树,则G中增加21 条边才能把G变成完全图。

离散数学课后习题答案(第三章)

离散数学课后习题答案(第三章)
b)设A={a,b,c}
R1={<a,b>,<b,a>,<b,c>,<c,b>,<a,c>,<c,a>,<a,a>,<b,b>,<c,c>}
R2={<a,a>,<b,b>,<c,c>,<b,c>,<c,b>}
R1-R2={<a,b>,<b,a>,<a,c>,<c,a>}
所以R1和R2是A上等价关系,但R1-R2不是A上等价关系。
r(R1-R2)=(R1-R2)∪IA
={<a,b>,<b,a>,<a,c>,<c,a>,<a,a>,<b,b>,<c,c>}
不是A上的等价关系。
3-10.8设C*是实数部分非零的全体复数组成的集合,C*上的关系R定义为:(a+bi)R(c+di)ac>0,证明R是等价关系,并给出关系R的等价类的几何说明。
c)若R1是A上等价关系,则
<a,a>∈R1<a,a>∈R1○R1
所以R12是A上自反的。
若<a,b>∈R12则存在c,使得<a, c>∈R1∧<c,b>∈R1。因R1对称,故有
<b, c>∈R1∧<c,a>∈R1<b, a>∈R12
即R12是对称的。
若<a,b>∈R12∧<b, c>∈R12,则有
a)(A×A)-R1;
b)R1-R2;
c)R12;
d) r(R1-R2)(即R1-R2的自反闭包)。
解a)(A×A)-R1不是A上等价关系。例如:
A={a,b},R1={<a,a>,<b,b>}
A×A={<a,a>,<a,b>,<b,a>,<b,b>}
(A×A)-R1={<a,b>,<b,a>}
所以(A×A)-R1不是A上等价关系。
即R是对称的。
3设任意<x,y>∈A,<u,v>∈A,<w,s>∈A,对

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

离散数学第四版课后答案(第3章)
但对于等式(4),左边经变形后得
( A B C) ( A B) ((A B) ( A B)) (C ( A B))
= (C ( A B)) C ( A B). 易 见 , C (A B) C, 但 不 一 定 有 C (A B) C.如 令 A B C {1}.时,等式(4)不为真。类假地,等式(5)的左 边经化简后得 (A C) B ,而 (A C) B 不一定恒等于 A-C。 3.17 (1)不为真。(2),(3)和(4)都为真。对于题 (1)举反例如下:令 A {1}, A {1}, B {1,4},C {2}, D {2,3}, 则 A B 且 C B ,但 A C B D ,
这是 S T 的充公必要条件,从而结论为真. 对 于 假 命 题 都 可 以 找 到 反 例 , 如 题 (2) 中 令 S {1,2},T z{1}, M {2}即可;而对于题(5),只要 S 即可. 3.9 (2),(3)和(4)为真,其余为假. 3.10 (1) A {0,1,2}. (2) A {1,2,3,4,5} (3) A {1} (4) A { 0,0 , 0,1 1,0 , 0,2 , 1,1 , 2,0 , 0,3 ,
A B .
(4)易见,当 A=B 成立时,必有 A-B=B-A。反之,由 A-B=B-A 得
( A B) B (B A) B
化简后得 B A ,即 B A,同理,可证出 A B ,从而 得到 A=B。
3.18 由| P(B) | 64 可知|B|=6。又由| P(A B) | 256 知| A B | 8 , 代入包含排斥原理得
{,{1},{2},{1,2}}}.
(4) P( A) {,{{1}},{{1,2}},{{1}},{{1,2}} (5) P( A) {,{1},{1},{2},{1,1},{1,2}{1,2}{1,1,2}. 分析 在做集合运算前先要化简集合,然后再根据题目 要求进行计算.这里的化简指的是元素,谓词表示和集合公 式三种化简. 元素的化简——相同的元素只保留一个,去掉所有冗余 的元素。 谓词表示的化简——去掉冗余的谓词,这在前边的题解 中已经用到。 集合公工的化简——利用简单的集合公式代替相等的 复杂公式。这种化简常涉及到集合间包含或相等关系的判别。 例如,题(4)中的 A {{1,1},{2,1},{1,2,1}}化简后得 A {{1},{1,2}}, 而题(5)中的 A {x | x R x3 2x2 x 2 0} 化 简为 A {1,1,2}。 3.15

全版离散数学 练习题及答案.ppt

全版离散数学 练习题及答案.ppt

课件
例3 对任意两个集合A, B,试证 A (A B) A B
证明 对于任意的x
x A (A B)
x {x x A x ( A B)} x {x x A (x A B)} x {x x A (x A x B)} x {x x A (x A x B)} x {x x A x B}
课件
例10 求图的最小生成树
A 1B34 Nhomakorabea5
2 E
6
1A 2
B
E
4
6
C7 D
C
D
课件
例11
• 无向树T有7片树叶, 3个3度顶点,其余的 都是4度顶点,则T有几个4度顶点?
• 解:设T有x个4度顶点 顶点度数之和: 7+3*3+4x 由树的性质可得总边数: 7+3+x-1 由握手原理可得: 7+3*3+4x=2(7+3+x-1)
求g f
g f { 1,b , 2,b , 3,b }
课件
例12 求复合函数
X {1,2,3}, Y {p, q}, Z {a,b} f { 1, p , 2, p , 3, q } g { p,b , q,b }
求g f
g f { 1,b , 2,b , 3,b }
课件
例: 求幺元、零元、逆元
x A B 因为 x 是任意的,所以有
x ((x A (A B)) (x A B)) 的真值为T,
因此 A ( A B)课件 A B
例4 判断关系的性质
R1 { a, a , a,b , b,b , c,c }
a
1 1 0
M R 1 0 1 0
0 0 1

离散数学课后练习题答案(第三版)-乔维声-汤维版

离散数学课后练习题答案(第三版)-乔维声-汤维版

离散数学课后练习题答案(第三版)-乔维声-汤维版、命题逻辑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、设A={2,4,6},A上的二元运算*定义为:a*b=max{a,b},则在独异点<A,*>中,单位元是( ),零元是( )。

答:2,62、设A={3,6,9},A上的二元运算*定义为:a*b=min{a,b},则在独异点<A,*>中,单位元是( ),零元是( );答:9,33、设〈G,*〉是一个群,则(1) 若a,b,x∈G,a*x=b,则x=( );(2) 若a,b,x∈G,a*x=a*b,则x=( )。

答:(1)a*-1 b (2)b4、设a是12阶群的生成元,则a2是( )阶元素,a3是( )阶元素。

答:6,45、代数系统<G,*>是一个群,则G的等幂元是( )。

答:单位元6、设a是10阶群的生成元,则a4是( )阶元素,a3是( )阶元素。

答:5,107、群<G,*>的等幂元是( ),有( )个。

答:单位元,18、素数阶群一定是( )群, 它的生成元是( )。

答:循环群,任一非单位元9、设〈G,*〉是一个群,a,b,c∈G,则(1) 若c*a=b,则c=( );(2) 若c*a=b*a,则c=( )。

答:(1)b1-*a(2) b10、<H,,*>是<G,,*>的子群的充分必要条件是( )。

答:<H,,*>是群或∀ a,b ∈G,a*b∈H,a-1∈H 或∀ a,b ∈G,a*b-1∈H 11、群<A,*>的等幂元有( )个,是( ),零元有( )个。

答:1,单位元,012、在一个群〈G,*〉中,若G中的元素a的阶是k,则a-1的阶是( )。

答:k13、在自然数集N上,下列哪种运算是可结合的?()(1) a*b=a-b (2) a*b=max{a,b} (3) a*b=a+2b (4) a*b=|a-b| 答:(2)14、任意一个具有2个或以上元的半群,它()。

离散数学考试题及答案

离散数学考试题及答案

离散数学考试题及答案一、选择题(每题5分,共20分)1. 下列哪个选项不是离散数学的研究对象?A. 图论B. 组合数学C. 微积分D. 逻辑学答案:C2. 在逻辑学中,下列哪个命题是真命题?A. 如果今天是周一,那么明天是周二。

B. 如果今天是周一,那么明天是周三。

C. 如果今天是周一,那么明天是周四。

D. 如果今天是周一,那么明天是周五。

答案:A3. 在集合论中,下列哪个符号表示集合的并集?A. ∩B. ∪C. ⊆D. ⊂答案:B4. 在图论中,下列哪个术语描述的是图中的顶点集合?A. 边B. 路径C. 子图D. 顶点答案:D二、填空题(每题5分,共20分)1. 如果一个集合A包含5个元素,那么它的子集个数是______。

答案:322. 在逻辑学中,如果命题P和命题Q都是真命题,那么复合命题“P且Q”的真值是______。

答案:真3. 在图论中,如果一个图的顶点数为n,那么它的最大边数是______。

答案:n(n-1)/24. 如果一个二叉树的深度为3,那么它最多包含______个节点。

答案:7三、简答题(每题10分,共30分)1. 请简述什么是图的连通性,并给出一个例子。

答案:图的连通性是指在图中任意两个顶点之间都存在一条路径。

例如,在一个完全图K3中,任意两个顶点之间都可以通过一条边直接连接,因此它是连通的。

2. 解释什么是逻辑蕴含,并给出一个例子。

答案:逻辑蕴含是指如果一个命题P为真,则另一个命题Q也必须为真。

例如,命题P:“如果今天是周一”,命题Q:“明天是周二”。

如果今天是周一,那么根据逻辑蕴含,明天必须是周二。

3. 请描述什么是二叉搜索树,并给出它的一个性质。

答案:二叉搜索树是一种特殊的二叉树,其中每个节点的左子树只包含小于当前节点的数,右子树只包含大于当前节点的数。

它的一个性质是中序遍历可以得到一个有序序列。

四、计算题(每题15分,共30分)1. 给定一个集合A={1, 2, 3, 4, 5},请计算它的幂集,并列出所有元素。

离散数学第3-5章习题答案

离散数学第3-5章习题答案

第三章1、用枚举法写出下列集合。

①英语句子“I am a student”中的英文字母;解:{I,a,m,s,t,u,d,e,n}②大于5小于13的所有偶数;解:{6,,8,10,12}③20的所有因数;解:{1,2,4,5,10,20}④小于20的6的正倍数。

解:{6,12,18}2、用描述法写出下列集合。

①全体奇数;解:S={x|x是奇数}②所有实数集上一元二次方程的解组成的集合;解:S={x|x是实数集上一元二次方程的解}③二进制数;解:S={x|x是二进制数}④能被5整除的整数集合。

解:S={x|x是能被5整除的整数}3、求下列集合的基数。

①“proper set”中的英文字母;解:S={p,r,o,e,s,t}所以 cardS=|S|=6②{{1,2},{2,1,1},{2,1,2,1}};解: cardS=|S|=3③{x|x=2或x=3或x=4或x=5};解:cardS=|S|=4④{{1,{2,3}}}。

解:cardS=|S|=14、求下列集合的幂集。

①“power set”中的英文字母;解:S={p,o,w,e,r,s,t}(S)是所有S的子集构成的集合,这里不一一列举了。

②{3,6,9};解:℘(S)={Φ ,{3},{6},{9},{3,6},{3,9},{6,9},{3,6,9}} ③小于20的5的正倍数;解:S={5,10,15} ℘(S)={Φ,{5},{10},{15},{5,10},{5,15},{10,15},{5,10,15}} ④{{1,3}}。

解:℘(S)={Φ,{1,3}}5、设Φ=A ,B=a ,求P(A) ,P(P(A)) ,P(P(P(A))) ,P(B) ,P(P(B)) ,P(P(P(B)))。

解:P(A)={Φ};P(P(A))={Φ,{Φ}};P(P(P(A)))={Φ,{Φ},{{Φ}},{Φ,{Φ}}}P(B)={Φ,a };P(P(B))={Φ,{Φ},{a},{Φ,a}};P(P(P(B)))={Φ,{Φ},{{Φ}},{{a}},{{Φ,a}},{Φ,{Φ}},{Φ,{a}},{Φ,{Φ,a}},{{Φ},{a}},{{Φ},{Φ,a}},{{a},{Φ,a}},{Φ,{Φ},{a}},{Φ,{Φ},{Φ,a}},{Φ,{a},{Φ,a}},{{Φ},{a},{Φ,a}},{{Φ,{Φ},{a},{Φ,a}}}.6、如果集合A 和B 分别满足下列条件,能得出A 和B 之间有什么联系? ①A ∪B=A ; ②A ∩B=A ; ③A -B=A ; ④A ∩B=A -B ; ⑤A -B=B -A ; ⑥A B A =⊕。

离散数学试题及答案解析

离散数学试题及答案解析

离散数学试题及答案解析一、选择题1. 在集合{1,2,3,4}中,含有3个元素的子集有多少个?A. 4B. 8C. 16D. 32答案:B解析:含有3个元素的子集可以通过组合数公式C(n, k) = n! / [k!(n-k)!]来计算,其中n为集合的元素个数,k为子集中的元素个数。

在本题中,n=4,k=3,所以C(4, 3) = 4! / [3!(4-3)!] = 4。

2. 下列哪个命题是真命题?A. 所有偶数都是整数。

B. 所有整数都是偶数。

C. 所有整数都是奇数。

D. 所有奇数都是整数。

答案:A解析:偶数是指能被2整除的整数,因此所有偶数都是整数,选项A是真命题。

选项B、C和D都是错误的,因为并非所有整数都是偶数或奇数。

二、填空题1. 逻辑运算符“非”(NOT)的真值表是:当输入为真时,输出为______;当输入为假时,输出为真。

答案:假解析:逻辑运算符“非”(NOT)是一元运算符,它将输入的真值取反。

如果输入为真,则输出为假;如果输入为假,则输出为真。

2. 命题逻辑中,合取词“与”(AND)的真值表是:当两个命题都为真时,输出为真;否则输出为______。

答案:假解析:合取词“与”(AND)是二元运算符,只有当两个命题都为真时,输出才为真;如果其中一个或两个命题为假,则输出为假。

三、简答题1. 解释什么是等价关系,并给出一个例子。

答案:等价关系是定义在集合上的一个二元关系,它满足自反性、对称性和传递性。

例如,考虑整数集合上的“同余”关系。

对于任意整数a,b,如果a和b除以同一个正整数n后余数相同,则称a和b模n同余。

这个关系是自反的(a同余a),对称的(如果a同余b,则b同余a),并且是传递的(如果a同余b且b同余c,则a同余c)。

2. 什么是图的连通性?一个图是连通的需要满足什么条件?答案:图的连通性是指在无向图中,任意两个顶点之间都存在一条路径。

一个图是连通的需要满足以下条件:图中的任意两个顶点v和w,都可以通过图中的边相互到达。

离散数学 杨圣洪等著 第一章习题三解答

离散数学 杨圣洪等著 第一章习题三解答

1、利用定义1.6.1,并利用等值演算或真值表,证明如下各推理式,要注明每步的理由。

1、(A→B)∧¬B⇒¬A(1) ¬B为真前提条件(2) A→B为真前提条件(3) ¬B→¬A为真因为¬B→¬A⇔A→B为真(4) ¬A为真(¬B→¬A)∧¬B⇒¬A假言推理2、 (A∨B)∧¬B⇒A(1) ¬B为真前提条件(2) (A∨B)为真前提条件(3) ¬B→A为真因为¬B→A⇔ A∨B为真(4)A为真(¬B→A)∧¬B⇒A假言推理3、 (A↔B)∧(B↔C)⇒ (A↔C)(1) (A↔B)为真前提条件(2)(A→B)∧(B→A)为真因(A↔B) ⇔(A→B)∧(B→A)(3) (A→B)为真由(2)及合取的定义(4) (B→A)为真由(2)及合取的定义(5) (B↔C)为真前提条件(6)(B→C)∧(C→B)为真因(B↔C) ⇔(B→C)∧(C→B)(7) (B→C)为真由(6)及合取的定义(8) (C→B)为真由(6)及合取的定义(9) (C→A)为真由(8)(4)及传递律(10) (A→C)为真由(3)(7)及传递律(11) (A↔C)为真由(9)(10)及双条件的定义(4) (A→B)∧( ¬A→B)⇒B((A→B)∧( ¬A→B))→B⇔¬((¬A∨B) ∧( ¬¬A∨B )) ∨B⇔¬((¬A∨B) ∧(A∨B )) ∨B⇔((A∧¬B) ∨ (¬A∧¬B )) ∨B⇔((A ∨¬A ) ∧¬B)) ∨B⇔(1 ∧¬B)) ∨B⇔¬B∨B⇔1故为永真式(A→B)∧( ¬A→B)⇒B2、采用定义1.6.2方法证明如下推理式,并注明每步理由,可采用CP规则、反证法。

离散数学第三章习题详细答案

离散数学第三章习题详细答案

离散数学第三章习题详细答案3.9解:符号化:p:a是奇数.q:a是偶数.r:a能被2整除前提:(p→¬r),(q→r)结论:(q→¬p)证明:方法2(等值演算法)(p→¬r)∧(q→r)→(q→¬p)⇔(¬p∨¬r)∧(¬q∨r)→(¬q∨¬p)⇔(p∧r)∨(q∧¬r)∨¬q∨¬p⇔((p∧r)∨¬p)∨((q∧¬r)∨¬q)⇔(r∨¬p)∨(¬r∨¬q)⇔¬p∨(r∨¬r)∨¬q⇔1即为成佛该式为重言式,则原结论恰当。

方法3(主析取范式法)(p→¬r)∧(q→r)→(q→¬p)⇔(¬p∨¬r)∧(¬q∨r)→(¬q∨¬p)⇔(p∧r)∨(q∧¬r)∨¬q∨¬p⇔m0+m1+m2+m3+m4+m5+m6+m7所述该式为重言式,则结论推理小说恰当。

3.10.解:符号化:p:a就是负数.q:b就是负数.r:a、b之四维负前提:r→(p∧¬q)∨(¬p∧q)结论:¬r→(¬p∧¬q)方法1(真值法)证明:方法2(主析取范式法)证明:(r→(p∧¬q)∨(¬p∧q))→(¬r→(¬p∧¬q))⇔¬(¬r∨(p∧¬q)∨(¬p∧q))∨(r∨(¬p∧¬q))⇔r∨(¬p∧¬q)⇔m0+m2+m4+m6+m7只不含5个极小项,课件完整不是重言式,因此推理小说不恰当3.11.填充下面推理证明中没有写出的推理规则。

解:③:①②谓词三段论⑤:③④谓词三段论⑦:⑤⑥假言推理小说3.12.填充下面推理证明中没有写出的推理规则。

离散数学习题答案解析

离散数学习题答案解析

离散数学习题答案习题一及答案:(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。

自考2324离散数学第三章课后答案

自考2324离散数学第三章课后答案

自考2324离散数学课后答案3.1 习题参考答案1、写出下列集合的的表示式。

a)所有一元一次方程的解组成的集合。

A={x|x是所有一元一次方程的解组成的集合}晓津答案:A={x| ax+b=0∧a∈R∧b∈R}b) x2-1 在实数域中的因式集。

B={1,(x-1),(x+1)|x∈R}c)直角坐标系中,单位圆内(不包括单位圆周)的点集。

C={x,y| x2+y2<1 }晓津答案:C={a(x,y)|a为直角坐标系中一点且 x2+y2<1 }d)极坐标中,单位圆外(不包括单位圆周)的点集。

D={r,θ| r>1,0<=θ<=360}晓津答案:D={a(r,θ)|a为极坐标系中一点且 r>1,0<=θ<=2π } e)能被5整除的整数集E={ x| x mod 5=0}2、判定下列各题的正确与错误。

a) {x}{x};正确b) {x}∈{x};正确晓津观点:本命题错误。

理由:{x}作为一个元素是一个集合,而右边集合中的元素并不是集合。

c) {x}∈{x,{x}};正确d) {x}{x,{x}};正确----------------------------------------------------------------3、设 A={1,2,4},B={1,3,{2}},指出下列各式是否成立。

a) {2}∈A; b) {2}∈B c) {2}Ad) {2}B; e) ∈A f) A解:jhju、晓津和wwbnb 的答案经过综合补充,本题的正确答案是:b、c、d、f成立,a,d、e不成立。

理由:a式中,{2}是一个集合,而在A中并无这样的元素。

因此不能说{2}属于A,当然如果说2∈A则是正确的。

对于e式也应作如此理解,空集是一个集合,在A中并无这个集合元素,如f 式则是正确的。

空集包含于任何集合中,但空集不一定属于任一集合。

----------------------------------------------------------------4、设A= {} , B=(A),问下列各题是否正确。

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

离散数学第三版课后习题答案
反之,对任x∈(A\C)\(B\C),可知x∈A\C,xB\C。由x∈A\C,可知x∈A,xC。又因为xB\C及xC,可知xB。所以,x∈(A\B)\C。因此(A\B)\C(A\B)\C。
由此可得(A\B)\(B\C)(A\B)\C。
3)方法一:(A\C)\C
=A\(B∪C)(根据1))
=A\(C∪B)(并运算交换律)
4)真。因为是集合{}的元素;
5)真。因为{a,b}是集合{a,b,c,{a,b,c}}的子集;
6)假。因为{a,b}不是集合{a,b,c,{a,b,c}}的元素;
7)真。因为{a,b}是集合{a,b,{{a,b}}}的子集;
8)假。因为{a,b}不是集合{a,b,{{a,b}}}的元素。
4.对任意集合A,B,C,确定下列命题的真假性:
A′∪B=(A∪A′)∪B(∪的交换律)
A′∪B=X∪B(互补律)
A′∪B=X(零壹律)
方法三:因为A′X且BX,所以根据定理2的3)就有A′∪BX;
另一方面,由于BA′∪B及根据换质位律可得B′A′A′∪B,因此,由互补律及再次应用定理2的3),可得X=B∪B′A′∪B,即XA′∪B;
所以,A′∪B=X。
=(A\C)\B(根据1))
方法二:对任一元素x∈(A\B)\C,可知x∈A,xB,xC。由为x∈A,xC,所以,x∈A\C。又由xB,x∈(A\C)\B。所以,(A\B)\C(A\C)\B。
同理可证得(A\C)\B(A\B)\C。
9.设A、B是Ⅹ全集的子集,证明:
ABA′∪B=XA∩B′=
[解](采用循环证法)
离散数学辅助教材
概念分析结构思想与推理证明
第一部分
集合论
离散数学习题解答
  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
离散数学习题三
11、填充下面推理证明中没有写出的推理规则
前提:一p q,—q r,r s, p
结论:s
证明:①p
②-p q
前提引入
前提引入
3q
4—q r
(①②析取三段论) 前提引入
5r
6rrs
7s
(③④析取三段论) 前提引入
(⑤⑥假言推理)
12、填充下面推理证明中没有写出的推理规则
前提:p—;(q—;r),q-;(r一;s)
结论3:r s
(1)证明从此前提出发,推出结论1,结论2,结论3的推理都是正确的
(2)证明从此前提出发,推任何结论的推理都是正确的。
证明:(1)①((—(p— q) q) (p q) (r— s))— r
=((—P q)_q)广p_q) (r_s)) r= 1
②((一(p>q) q) (p q) (r > s)) > s
结论:(p q)— s
证明:①(p q)
(附加前提)
2p
3q
4p>(q>r)
(①化简规则)
(①化简规则) 前提引入
⑤q—;r
(②④假言推理)
⑥r
(③⑤假言推理)
⑦q—(r—s)
前提引入
⑧(r—•s)
(③⑦假言推理)
⑨s
(⑥⑧假言推理)
13、前提:一(p—;q) q, p q,r—;s
结论1:r
结论2:s
二0 (p q) (—r s)= 0即推任何结论的推理都是正确的。
14、在自然推理系统P中构造下面推理的证明:
(1)前提:P>(q>r),p,q
结论:r—s
证明:①Pr (qrr)
前提引入
前提引入
(q>r)
①②假言推理
前提引入
③④假言推理
⑤附加律



15、在自然推理系统P中用附加前提法证明下面的推理:
((—P q)_q) (—P_q) (r ~s)) s:= 1
③((—(P—;q) q) (P q) (r—;s))—;(r s)
=((—P q)_q)(—P_q) (r_s)) r s:= 1
即结论1,结论2,结论3的推理都是正确的。
(2) (一(p>q) q) (P q) (r > s)
:二(—(—p q) q)(pq)(一r s)二(p_q q) (p q)(一r s)
前提:p-(q— r), s > p,q
结论:srr
证明:
1s2s>p3P附加前提引入前提引入
①②假言推理
④p—;(q—;r)前提引入
5q—r③④假言推理
6q前提引入
7r⑤⑥假言推理
即根据附加前提证明法,推理正确。
相关文档
最新文档