离散数学习题答案如下

合集下载

离散数学练习题(含答案)

离散数学练习题(含答案)

离散数学试题第一部分选择题一、单项选择题1.下列是两个命题变元p,q的小项是( C )A.p∧┐p∧q B.┐p∨qC.┐p∧q D.┐p∨p∨q2.令p:今天下雪了,q:路滑,则命题“虽然今天下雪了,但是路不滑”可符号化为( D )A.p→┐q B.p∨┐qC.p∧q D.p∧┐q3.下列语句中是命题的只有( A )A.1+1=10 B.x+y=10C.sinx+siny<0 D.x mod 3=24.下列等值式不正确的是( C )A.┐(∀x)A⇔(∃x)┐AB.(∀x)(B→A(x))⇔B→(∀x)A(x)C.(∃x)(A(x)∧B(x))⇔(∃x)A(x)∧(∃x)B(x)D.(∀x)(∀y)(A(x)→B(y))⇔(∃x)A(x)→(∀y)B(y)5.谓词公式(∃x)P(x,y)∧(∀x)(Q(x,z)→(∃x)(∀y)R(x,y,z)中量词∀x的辖域是( C )A.(∀x)Q(x,z)→(∃x)(∀y)R(x,y,z))B.Q(x,z)→(∀y)R(x,y,z)C.Q(x,z)→(∃x)(∀y)R(x,y,z)D.Q(x,z)6.设A={a,b,c,d},A上的等价关系R={<a,b>,<b,a>,<c,d>,<d,c>}∪I A,则对应于R的A的划分是( D )A.{{a},{b,c},{d}} B.{{a,b},{c},{d}}C.{{a},{b},{c},{d}} D.{{a,b},{c,d}}7.设A={Ø},B=P(P(A)),以下正确的式子是( A )A.{Ø,{Ø}}∈B B.{{Ø,Ø}}∈BC.{{Ø},{{Ø}}}∈B D.{Ø,{{Ø}}}∈B8.设X,Y,Z是集合,一是集合相对补运算,下列等式不正确的是( A )A.(X-Y)-Z=X-(Y∩Z)B.(X-Y)-Z=(X-Z)-YC.(X-Y)-Z=(X-Z)-(Y-Z)D.(X-Y)-Z=X-(Y∪Z)9.在自然数集N上,下列定义的运算中不可结合的只有( D )A.a*b=min(a,b)B.a*b=a+bC.a*b=GCD(a,b)(a,b的最大公约数)02324# 离散数学试题第1 页共4页02324# 离散数学试题 第 2 页 共4页D .a*b=a(mod b)10.设R 和S 是集合A 上的关系,R ∩S 必为反对称关系的是( A ) A .当R 是偏序关系,S 是等价关系; B .当R 和S 都是自反关系; C .当R 和S 都是等价关系; D .当R 和S 都是传递关系11.设R 是A 上的二元关系,且R ·R ⊆R,可以肯定R 应是( D ) A .对称关系; B .全序关系; C .自反关系; D .传递关系第二部分 非选择题二、填空题1.设论域是{a,b,c},则(∀x)S(x)等价于命题公式 S(a)∧S(b)∧S(c) ;(x ∃)S(x)等价于命题公式 S(a)∨S(b) ∨S(c) 。

离散数学第一章部分课后习题参考答案

离散数学第一章部分课后习题参考答案

第一章部分课后习题参考答案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∧10.(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是无理数,则也是无理数。

另外6能被2整除,6才能被4整除。

”答:p: 是无理数 1q: 3是无理数0r: 是无理数 1s:6能被2整除 1t: 6能被4整除0命题符号化为:p∧(q→r)∧(t→s)的真值为1,所以这一段的论述为真。

19.用真值表判断下列公式的类型:(4)(p→q) →(q→p)(5)(p∧r) (p∧q)(6)((p→q) ∧(q→r)) →(p→r)答:(4)p q p→q q p q→p (p→q)→(q→p)0 0 1 1 1 1 10 1 1 0 1 1 11 0 0 1 0 0 11 1 1 0 0 1 1所以公式类型为永真式(5)公式类型为可满足式(方法如上例)(6)公式类型为永真式(方法如上例)第二章部分课后习题参考答案3.用等值演算法判断下列公式的类型,对不是重言式的可满足式,再用真值表法求出成真赋值.(1) (p∧q→q)(2)(p→(p∨q))∨(p→r)(3)(p∨q)→(p∧r)答:(2)(p→(p∨q))∨(p→r)(p∨(p∨q))∨(p∨r)p∨p∨q∨r1所以公式类型为永真式(3)P q r p∨q p∧r (p∨q)→(p∧r)0 0 0 0 0 10 0 1 0 0 10 1 0 1 0 00 1 1 1 0 01 0 0 1 0 01 0 1 1 1 11 1 0 1 0 01 1 1 1 1 1所以公式类型为可满足式4.用等值演算法证明下面等值式:(2)(p→q)∧(p→r)(p→(q∧r))(4)(p∧q)∨(p∧q)(p∨q) ∧(p∧q)证明(2)(p→q)∧(p→r)(p∨q)∧(p∨r)p∨(q∧r))p→(q∧r)(4)(p∧q)∨(p∧q)(p∨(p∧q)) ∧(q∨(p∧q)(p∨p)∧(p∨q)∧(q∨p) ∧(q∨q)1∧(p∨q)∧(p∧q)∧1(p∨q)∧(p∧q)5.求下列公式的主析取范式与主合取范式,并求成真赋值(1)(p→q)→(q∨p)(2)(p→q)∧q∧r(3)(p∨(q∧r))→(p∨q∨r)解:(1)主析取范式(p→q)→(q p)(p q)(q p)(p q)(q p)(p q)(q p)(q p)(p q)(p q)(p q)(p q)(p q)∑(0,2,3)主合取范式:(p→q)→(q p)(p q)(q p)(p q)(q p)(p(q p))(q(q p))1(p q)(p q) M1∏(1)(2) 主合取范式为:(p→q)q r(p q)q r(p q)q r0所以该式为矛盾式.主合取范式为∏(0,1,2,3,4,5,6,7)矛盾式的主析取范式为 0(3)主合取范式为:(p(q r))→(p q r)(p(q r))→(p q r)(p(q r))(p q r)(p(p q r))((q r))(p q r))1 11所以该式为永真式.永真式的主合取范式为 1主析取范式为∑(0,1,2,3,4,5,6,7)第三章部分课后习题参考答案14. 在自然推理系统P中构造下面推理的证明:(2)前提:p q,(q r),r结论:p(4)前提:q p,q s,s t,t r结论:p q证明:(2)①(q r) 前提引入②q r ①置换③q r ②蕴含等值式④r 前提引入⑤q ③④拒取式⑥p q 前提引入⑦¬p(3)⑤⑥拒取式证明(4):①t r 前提引入②t ①化简律③q s 前提引入④s t 前提引入⑤q t ③④等价三段论⑥(q t)(t q) ⑤置换⑦(q t)⑥化简⑧q ②⑥假言推理⑨q p 前提引入⑩p ⑧⑨假言推理(11)p q ⑧⑩合取15在自然推理系统P中用附加前提法证明下面各推理:(1)前提:p(q r),s p,q结论:s r证明①s 附加前提引入②s p 前提引入③p ①②假言推理④p(q r) 前提引入⑤q r ③④假言推理⑥q 前提引入⑦r ⑤⑥假言推理16在自然推理系统P中用归谬法证明下面各推理:(1)前提:p q,r q,r s结论:p证明:①p 结论的否定引入②p﹁q 前提引入③﹁q ①②假言推理④¬r q 前提引入⑤¬r ④化简律⑥r¬s 前提引入⑦r ⑥化简律⑧r﹁r ⑤⑦合取由于最后一步r﹁r 是矛盾式,所以推理正确.第四章部分课后习题参考答案3. 在一阶逻辑中将下面将下面命题符号化,并分别讨论个体域限制为(a),(b)条件时命题的真值:(1) 对于任意x,均有2=(x+)(x).(2) 存在x,使得x+5=9.其中(a)个体域为自然数集合.(b)个体域为实数集合.解:F(x): 2=(x+)(x).G(x): x+5=9.(1)在两个个体域中都解释为,在(a)中为假命题,在(b)中为真命题。

离散数学第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、下列哪些公式为永真蕴含式?( )(1)⌝Q=>Q→P (2)⌝Q=>P→Q (3)P=>P→Q (4)⌝P∧(P∨Q)=>⌝P 答:(1),(4)2、下列公式中哪些是永真式?( )(1)(┐P∧Q)→(Q→⌝R) (2)P→(Q→Q) (3)(P∧Q)→P (4)P→(P∨Q) 答:(2),(3),(4)3、设有下列公式,请问哪几个是永真蕴涵式?( )(1)P=>P∧Q (2) P∧Q=>P (3) P∧Q=>P∨Q(4)P∧(P→Q)=>Q (5) ⌝(P→Q)=>P (6) ⌝P∧(P∨Q)=>⌝P 答:(2),(3),(4),(5),(6)4、公式∀x((A(x)→B(y,x))∧∃z C(y,z))→D(x)中,自由变元是( ),约束变元是( )。

答:x,y, x,z5、判断下列语句是不是命题。

若是,给出命题的真值。

( )北京是中华人民共和国的首都。

(2) 陕西师大是一座工厂。

(3) 你喜欢唱歌吗? (4) 若7+8>18,则三角形有4条边。

(5) 前进! (6) 给我一杯水吧!答:(1)是,T (2)是,F (3)不是(4)是,T (5)不是(6)不是6、命题“存在一些人是大学生”的否定是( ),而命题“所有的人都是要死的”的否定是( )。

答:所有人都不是大学生,有些人不会死7、设P:我生病,Q:我去学校,则下列命题可符号化为( )。

(1) 只有在生病时,我才不去学校 (2) 若我生病,则我不去学校(3) 当且仅当我生病时,我才不去学校(4) 若我不生病,则我一定去学校答:(1)PQ→⌝(2)QP⌝→(3)QP⌝↔(4)QP→⌝8、设个体域为整数集,则下列公式的意义是( )。

(1) ∀x∃y(x+y=0) (2) ∃y∀x(x+y=0)答:(1)对任一整数x存在整数 y满足x+y=0(2)存在整数y对任一整数x满足x+y=09、设全体域D是正整数集合,确定下列命题的真值:(1) ∀x∃y (xy=y) ( ) (2) ∃x∀y(x+y=y) ( )(3) ∃x∀y(x+y=x) ( ) (4) ∀x∃y(y=2x) ( )答:(1) F (2) F (3)F (4)T10、设谓词P(x):x是奇数,Q(x):x是偶数,谓词公式∃x(P(x)∨Q(x))在哪个个体域中为真?( )(1) 自然数(2) 实数 (3) 复数(4) (1)--(3)均成立答:(1)11、命题“2是偶数或-3是负数”的否定是()。

离散数学第五章习题答案

离散数学第五章习题答案

离散数学第五章习题答案题目1: 定义一个关系R在集合A上,如果对于所有的a, b, c属于A,满足以下条件:- 如果(a, b)属于R,则(b, a)属于R。

- 如果(a, b)属于R且(b, c)属于R,则(a, c)属于R。

证明R是传递的。

答案:根据题目给出的条件,R是对称的和传递的。

首先,对称性意味着如果(a, b)属于R,那么(b, a)也必须属于R。

其次,传递性意味着如果(a, b)和(b, c)都属于R,那么(a, c)也必须属于R。

结合这两个性质,我们可以得出结论:对于任意的a, b, c属于A,如果(a, b)和(b, c)都属于R,那么(a, c)也属于R,从而证明了R的传递性。

题目2: 给定一个函数f: A → B,如果对于A中的每个元素a,都有唯一的b属于B使得f(a) = b,那么称f为单射(或一一映射)。

证明如果函数f是单射,那么它的逆函数f^-1也是单射。

答案:要证明f^-1是单射,我们需要证明对于B中的任意两个元素b1和b2,如果f^-1(b1) = f^-1(b2),则b1 = b2。

假设f^-1(b1) = a且f^-1(b2) = a',其中a, a'属于A。

由于f是单射,我们知道f(a) = b1且f(a') = b2。

根据f^-1的定义,我们有b1 = f(a) = f(a') = b2。

因此,如果f^-1(b1) = f^-1(b2),则b1必须等于b2,这证明了f^-1是单射。

题目3: 证明一个函数f: A → B是满射(或到上映射)当且仅当对于B中的每个元素b,都存在A中的元素a使得f(a) = b。

答案:首先,我们证明如果f是满射,那么对于B中的每个元素b,都存在A 中的元素a使得f(a) = b。

假设f是满射,这意味着B中的每个元素都是A中某个元素的像。

因此,对于B中的任意元素b,我们可以找到一个a属于A,使得f(a) = b。

离散数学课后习题答案

离散数学课后习题答案

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

离散数学第一学期习题及答案

离散数学第一学期习题及答案
结论:s r 9.在自然推理系统 P 中用归谬法证明下面各推理:
前提:p q, r q,r s 结论: p
参考答案:
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
6. 判断下列各式的类型:
(1)
(2)
yF(x,y).
7. 给定下列各公式一个成真的解释,一个成假的解释。
(1) (F(x)
(2) x(F(x) G(x) H(x)) 8.给定解释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.
后件为存在实数 x 对任意实数 y 都有 x+y=5,后件假,]
此时为假命题
再取解释 I 个体域为自然数 N,
F(x,y)::x+y=5
所以,前件为任意自然数 x 存在自然数 y 使 x+y=5,前件假。此时为假命题。 此公式为非永真式的可满足式。
7.解:(1)个体域:本班同学
F(x):x 会吃饭, G(x):x 会睡觉.成真解释
所以公式类型为永真式
(3) P
q
r
00
0
p∨q 0
p∧r
(p∨q)→(p∧r)
0
1
00
1
0
0
1
01
0
1
0
0
01
1
1
0
0
1
00

离散数学(刘任任版)第4章答案

离散数学(刘任任版)第4章答案
a : A B T \ B C 于是 T ' <y \ A C 是双射,因
此,A~C。故|A| = |C|。
再证定理4. 2. 3。 (1)令A , (x) = X,x e a 于是 是单射。故
TA| |A|. ' ⑵设⑷ |B|且|B| |A|,则存在单射:
cr : A —> 乃,T : B —> A
设A为无限集,任取 ,因A无限,故存在 如
此下去,有 ,显然
:
是A的可数子集。
令禮- 则
再证存在双射}, B 艺令
a:AB
显然,是A到B的双射。故结论成立。
(2) 令<r2⑷=n3,n e N (3) 令cr3(n) = 3n2,n e N
(4) 令cr4(zi) = 1/n,n e N
将NXN的元素如下排列,设〈x,y>eNXN。
(2)设有52个整数a1,a2,…,a52。 若存在1<=i<j<=52,使ai =aj,则 100|(ai_aj)。 否则不妨设a1<a2〈…<a52。 令bi二a52_ai, i=1,…,51
cj=a52+aj, j=1,…,51 (2) 假设结论不成立,贝Ubi,cj均不能被100整除。 设 100除bi余数为ri,i=1,…,51 ; 100除ci余为 si, i=1,…,51 ,则 1<=ri,si<=99。
由于(1),(2)式共有102个,因此,余数也有102个。 故由抽屉原理知必有i,j使得
ri=rj
_

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

离散数学习题答案如下
离散数学是一门研究离散结构和离散现象的数学学科。

它与连续数学相对应,
强调的是离散的、不连续的数学对象和现象。

离散数学的研究对象包括集合、
关系、函数、图论等。

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

下面是一些离散数学习题的答案,希望对大家的学习有所帮助。

1. 集合论习题
题目:给定集合A={1,2,3,4,5}和集合B={3,4,5,6,7},求A与B的并集、交集和差集。

答案:A与B的并集为{1,2,3,4,5,6,7},交集为{3,4,5},A与B的差集为{1,2}。

2. 关系与函数习题
题目:给定关系R={(1,2),(2,3),(3,4),(4,5)},判断该关系是否为自反、对称、传递
关系。

答案:该关系不是自反关系,因为元素1没有与自身相关联;该关系不是对称
关系,因为(1,2)属于R,但(2,1)不属于R;该关系是传递关系,因为对于任意的(a,b)和(b,c),若(a,b)和(b,c)均属于R,则(a,c)也属于R。

3. 图论习题
题目:给定无向图G,其邻接矩阵为:
0 1 1 0
1 0 1 1
1 1 0 1
0 1 1 0
求图G的度数序列和邻接矩阵的平方。

答案:图G的度数序列为(2,3,3,2),即顶点1的度数为2,顶点2的度数为3,
顶点3的度数为3,顶点4的度数为2;邻接矩阵的平方为:
2 2
3 2
2 3 3 3
3 3
4 3
2 3 3 2
4. 组合数学习题
题目:有5个红球和3个蓝球,从中选取3个球,求选取的球中至少有一个红
球的概率。

答案:选取的球中至少有一个红球等价于选取的球中没有红球的概率的补集。

选取的球中没有红球的情况只有选取3个蓝球,所以概率为C(3,3)/C(8,3)=1/56。

因此,选取的球中至少有一个红球的概率为1-1/56=55/56。

以上是一些离散数学习题的答案,通过解答这些习题可以加深对离散数学的理
解和掌握。

离散数学作为一门重要的数学学科,不仅在理论研究中有广泛应用,也在计算机科学、信息科学等领域中发挥着重要作用。

希望大家在学习离散数
学的过程中能够善于思考、勇于探索,不断提高自己的数学素养。

相关文档
最新文档