文档库 最新最全的文档下载
当前位置:文档库 › 离散数学模拟习题与解析 (5)

离散数学模拟习题与解析 (5)

离散数学模拟习题与解析 (5)
离散数学模拟习题与解析 (5)

一、填空15%(每空3分)

1、设G 为9阶无向图,每个结点度数不是5就是6,则G 中至少有 个5度结点。

2、n 阶完全图,K n 的点数X (K n ) = 。

3、有向图 中从v 1到v 2长度为2的通路有 条。

4、设[R ,+,·]是代数系统,如果①[R ,+]是交换群 ②[R ,·]是半群

③ 则称[R ,+,·]为环。 5、设],,[⊕?L 是代数系统,则],,[⊕?L 满足幂等律,即对L a ∈?有 。

二、选择15%(每小题3分)

1、 下面四组数能构成无向简单图的度数列的有( )。 A 、(2,2,2,2,2); B 、(1,1,2,2,3); C 、(1,1,2,2,2); D 、(0,1,3,3,3)。

2、 下图中是哈密顿图的为( )。

3、 如果一个有向图D 是强连通图,则D 是欧拉图,这个命题的真值为( )

A 、真;

B 、假。

4、 下列偏序集( )能构成格。

5、 设}4,4

1,

3,31,

2,21,

1{=s ,*为普通乘法,则[S ,*]是()

。 A 、代数系统; B 、半群; C 、群; D 、都不是。

三、证明 48%

1、(10%)在至少有2个人的人群中,至少有2 个人,他们有相同的朋友数。

2、(8%)若图G 中恰有两个奇数度顶点,则这两个顶点是连通的。

3、(8%)证明在6个结点12条边的连通平面简单图中, 每个面的面数都是3。

4、(10%)证明循环群的同态像必是循环群。

5、(12%)设]1,0,,

,,[-

+?B 是布尔代数,定义运算*为)()(*b a b a b a ?+?=,

求证[B ,*]是阿贝尔群。

四、计算22%

1、在二叉树中

1) 求带权为2,3,5,7,8的最优二叉树T 。(5分) 2) 求T 对应的二元前缀码。(5分)

2、 下图所示带权图中最优投递路线并求出投递路线长度(邮局在D 点)。

一、填空(15%)每空3 分

1、 6;

2、n ;

3、2;

4、+对·分配且·对+分配均成立;

5、a a a a a a =⊕=?且。

二、选择(15%)每小题3分

三、证明(48%)

1、(10分)证明:用n 个顶点v 1,…,v n 表示n 个人,构成顶点集V={v 1,…,v n},设},,,|{v )(u v u V v u uv E ≠∈=是朋友且

,无向图G=(V ,E )

现证G 中至少有两个结点度数相同。

事实上,(1)若G 中孤立点个数大于等于2,结论成立。

(2) 若G 中有一个孤立点,则G 中的至少有3个顶点,既不考虑孤立点。设G 中每个结点度数均大于等于1,又因为G 为简单图,所以每个顶点度数都小于等于n-1,由于G 中n 顶点其度数取值只能是1,2,…,n-1,由鸽巢原理,必然至少有两个结点度数是相同的。

2、(8分)证:设G 中两个奇数度结点分别为u ,v 。若 u ,v 不连通则至少有两个连通分支G 1、G 2,使得u ,v 分别属于G 1和G 2。于是G 1与G 2中各含有一个奇数度结点,与握手定理矛盾。因而u ,v 必连通。

3(8分)证:n=6,m=12 欧拉公式n-m+f=2知 f=2-n+m=2-6-12=8

由图论基本定理知:242)deg(=?=∑m F ,而3)deg(≥i F ,所以必有3)deg(=i F ,即每个面用3条边围成。

4(10分) 证:设循环群[A ,·]的生成元为a ,同态映射为f ,同态像为[f (A ),*],于是A

a a m

n

∈?,都有)(*)()(m

n

m

n

a f a f a a f =? 对n=1有)()(a f a f =

n=2, 有2

2

))(()(*)()()(a f a f a f a a f a f ==?=

若n=k-1时 有11))(()(--=k k a f a f

对n=k 时,k k k k k a f a f a f a f a f a a f a f ))(()(*))(()(*)()()(111===?=--- 这表明,f(A)中每一个元素均可表示为n a f ))((,所以[f(A),*]为f(a) 生成的循环群。 5、证:

(1) 交换律:B b a ∈?, 有 a b a b a b b a b a b a *)()()()(*=?+?=?+?= (2) 结合律:B c b a ∈?,, 有

c

b a

c b a c b a c b a c b a c a b c b a c b a c b b a b b a a a c b a c b a c

b a b a

c b a c b a c b a b a c b a b a c b a b a c b a ??+??+??+??=??+??+??+??=??+?+?+?+??+??=?+?++??+??=??+?+??+?=?+?=)())()(()())()(()))()(((*))()((*)*(

而:

c

b a

c b a c b a c b a c b a c b a c b c b a c b c b a c b c b a c b c b a c b a ??+??+??+??=??+??++?+?=?+??+?+??=?+?=)()())()((())()(())()((*)*(*

)*(**)*(c b a c b a =∴

(3) 幺:B a ∈?有

a a a a a a

a a a a =+=?+?==+=?+?=0)0()0(*00)0()0(0*

。B ,幺元是*][0∴

(4) 逆:B a ∈? 000)()(*=+=?+?=a a a a a a

。a a 的逆元是∴

综上所述:[B ,*]是阿贝尔群。

四、计算(22%)

1、(10分)

(1)(5分)由Huffman 方法,得最佳二叉树为:

(2)(5分)最佳前缀码为:000,001,01,10,11 2、(12分)

图中奇数点为E、F ,d(E)=3,d(F)=3,d(E,F)=28 p=EGF 复制道路EG、GF,得图G‘,则G‘是欧拉图。

由D开始找一条欧拉回路:DEGFGEBACBDCFD。

道路长度为:

35+8+20+20+8+40+30+50+19+6+12+10+23=281。

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

离散数学试题 第一部分选择题 一、单项选择题 1.下列是两个命题变元p,q的小项是( C ) A.p∧┐p∧q B.┐p∨q C.┐p∧q D.┐p∨p∨q 2.令p:今天下雪了,q:路滑,则命题“虽然今天下雪了,但是路不滑”可符号化为( D )A.p→┐q B.p∨┐q C.p∧q D.p∧┐q 3.下列语句中是命题的只有( A ) A.1+1=10 B.x+y=10 C.sinx+siny<0 D.x mod 3=2 4.下列等值式不正确的是( C ) A.┐(?x)A?(?x)┐A B.(?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={,,,}∪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.{{?,?}}∈B C.{{?},{{?}}}∈B D.{?,{{?}}}∈B 8.设X,Y,Z是集合,一是集合相对补运算,下列等式不正确的是( A ) A.(X-Y)-Z=X-(Y∩Z) B.(X-Y)-Z=(X-Z)-Y C.(X-Y)-Z=(X-Z)-(Y-Z) D.(X-Y)-Z=X-(Y∪Z) 9.在自然数集N上,下列定义的运算中不可结合的只有( D ) A.a*b=min(a,b) 02324# 离散数学试题第1 页共4页

离散数学(第五版)清华大学出版社第2章习题解答

离散数学(第五版)清华大学出版社第2章习题解答 2.1 本题没有给出个体域,因而使用全总个体域. (1) 令F(x):x是鸟 G(x):x会飞翔. 命题符号化为 ?x(F(x)→G(x)). (2)令F(x):x为人. G(x):x爱吃糖 命题符号化为 ??x(F(x)→G(x)) 或者 ?x(F(x)∧?G(x)) (3)令F(x):x为人. G(x):x爱看小说. 命题符号化为 ?x(F(x)∧G(x)). (4) F(x):x为人. G(x):x爱看电视. 命题符号化为 ??x(F(x)∧?G(x)). 分析1°如果没指出要求什么样的个体域,就使用全总个休域,使用全总个体域时,往往要使用特性谓词。(1)-(4)中的F(x)都是特性谓词。 2°初学者经常犯的错误是,将类似于(1)中的命题符号化为 27 ?x(F(x)∧G(x)) 即用合取联结词取代蕴含联结词,这是万万不可的。将(1)中命题叙述得更透彻些,是说“对于宇宙间的一切事物百言,如果它是鸟,则它会飞翔。”因而符号化应该使用联结词→而不能使用∧。若使用∧,使(1)中命题变成了“宇宙间的一切事物都是鸟并且都会飞翔。”这显然改变了原命题的意义。

3°(2)与(4)中两种符号化公式是等值的,请读者正确的使用量词否定等值式,证明(2),(4)中两公式各为等值的。 2.2 (1)d (a),(b),(c)中均符号化为 ?xF(x) 其中F(x):(x+1)2=x2+2x+1,此命题在(a),(b),(c)中均为真命题。 (2)在(a),(b),(c)中均符号化为 ?xG(x) 其中G(x):x+2=0,此命题在(a)中为假命题,在(b)(c)中均为真命题。 (3)在(a),(b),(c)中均符号化为 ?xH(x) 其中H(x):5x=1.此命题在(a),(b)中均为假命题,在(c)中为真命题。 分析1°命题的真值与个体域有关。 2°有的命题在不同个体域中,符号化的形式不同,考虑命题 “人都呼吸”。 在个体域为人类集合时,应符号化为 ?xF(x) 这里,F(x):x呼吸,没有引入特性谓词。 在个体域为全总个体域时,应符号化为 ?x(F(x)→G(x)) 这里,F(x):x为人,且F(x)为特性谓词。G(x):x呼吸。 28 2.3 因题目中未给出个体域,因而应采用全总个体域。 (1)令:F(x):x是大学生,G(x):x是文科生,H(x):x是理科生,命题符号化为?x(F(x)→(G(x)∨H(x)) (2)令F(x):x是人,G(y):y是化,H(x):x喜欢,命题符号化为 ?x(F(x)∧?y(G(y)→H(x,y))) (3)令F(x):x是人,G(x):x犯错误,命题符号化为 ??x(F(x)∧?G(x)), 或另一种等值的形式为 ?x(F(x)→G(x)

离散数学习题

第一章习题 1.1判断下列语句是否为命题,若是命题请指出是简单命题还是复合命题。(1)2是无理数。 (2)5能被2整除。 (3)现在开会吗? (4)x+5>0 (5)这朵花真是好看! (6)2是素数当且仅当三角形有三条边。 (7)雪是黑色的当且仅当太阳是从东方升起。 (8)2000年10月1日天气晴好。 (9)太阳系以外的星球上有生物。 (10)小李在宿舍里。 (11)全体起立。 (12)4是2的倍数或是3的倍数。 (13)4是偶数且是奇数。 (14)李明和王华是同学。 (15)蓝色和黄色可以调配成绿色。 1..2 将上题中的命题符号化,并讨论他们的真值。 1.3判断下列各命题的真值。 (1)若2+2=4,则3+3=6; (2)若2+2=4,则3+3≠6; (3)若2+2≠=4,则3+3=6; (4)若2+2≠=4,则3+3≠=6; (5)2+2=4,当且仅当3+3=6; (6)2+2=4,当且仅当3+3≠6; (7)2+2≠4,当且仅当3+3=6; (8)2+2≠4,当且仅当3+3≠6; 1.4将下列命题符号化,并讨论其真值。 (1)如果今天是1号,则明天是2号; (2)如果今天是1号,则明天是3号; 1.5将下列命题符号化。 (1)2是偶数不是素数; (2)小王不但聪明而且用功; (3)虽然天气冷。老王还是来了; (4)他一边吃饭,一边看电视; (5)如果天下大雨,他就乘公交汽车来; (6)只有天下大雨,他才乘公交汽车来; (7)除非天下大雨,否则他不乘公交汽车来; (8)不经一事,不长一智; 1.5设p,q的真值为0 ,r,s的真值为1,求下列命题公式的真值。(1)p∨(q∧r);

离散数学第五版 模拟试题 及答案

《离散数学》模拟试题3 一、填空题(每小题2分,共20分) 1. 已知集合A ={φ,1,2},则A得幂集合p(A)=_____ _。 2. 设集合E ={a, b, c, d, e}, A= {a, b, c}, B = {a, d, e}, 则A∪B =___ ___, A∩B =____ __,A-B =___ ___,~A∩~B =____ ____。 3. 设A,B是两个集合,其中A= {1, 2, 3}, B= {1, 2},则A-B =____ ___, ρ(A)-ρ(B)=_____ _ _。 4. 已知命题公式R Q P G→ ∧ ? =) (,则G的析取范式为。 5. 设P:2+2=4,Q:3是奇数;将命题“2+2=4,当且仅当3是奇数。”符号化 ,其真值为。 二、单项选择题(选择一个正确答案的代号填入括号中,每小题4分,共16分。) 1. 设A、B是两个集合,A={1,3,4},B={1,2},则A-B为(). A.{1} B. {1, 3} C. {3,4} D. {1,2} 2. 下列式子中正确的有()。 A. φ=0 B. φ∈{φ} C. φ∈{a,b} D. φ∈φ 3. 设集合X={x, y},则ρ(X)=()。 A. {{x},{y}} B. {φ,{x},{y}} C. {φ,{x},{y},{x, y}} D. {{x},{y},{x, y}} 4. 设集合A={1,2,3},A上的关系R={(1,1),(2,2),(2,3),(3,3),(3,2)}, 则R不具备(). 三、计算题(共50分) 1. (6分)设全集E=N,有下列子集:A={1,2,8,10},B={n|n2<50 ,n∈N},C= {n|n可以被3整除,且n<20 ,n∈N},D={n|2i,i<6且i、n∈N},求下列集合:(1)A∪(C∩D) (2)A∩(B∪(C∩D)) (3)B-(A∩C) (4)(~A∩B) ∪D 2. (6分)设集合A={a, b, c},A上二元关系R1,R2,R3分别为:R1=A×A, R2 ={(a,a),(b,b)},R3 ={(a,a)},试分别用 定义和矩阵运算求R1·R2 ,22R,R1·R2 ·R3 , (R1·R2 ·R3 )-1 。 3.(6分)化简等价式(﹁P∧(﹁Q∧R))∨(Q∧R)∨(P∧R). 4.(8分) 设集合A={1,2,3},R为A上的二元关系,且 M R= 写出R的关系表达式,画出R的关系图并说明R的性质. 5. (10分)设公式G的真值表如下. 试叙述如何根据真值表求G的 主析取范式和主合取范式,并 写出G的主析取范式和主合取范式. 1 0 0 1 1 0 1 0 0

离散数学 第1章 习题解答

习题 1. 下列句子中,哪些是命题哪些不是命题如果是命题,指出它的真值。 ⑴中国有四大发明。 ⑵计算机有空吗 ⑶不存在最大素数。 ⑷21+3<5。 ⑸老王是山东人或河北人。 ⑹2与3都是偶数。 ⑺小李在宿舍里。 ⑻这朵玫瑰花多美丽呀! ⑼请勿随地吐痰! ⑽圆的面积等于半径的平方乘以。 ⑾只有6是偶数,3才能是2的倍数。 ⑿雪是黑色的当且仅当太阳从东方升起。 ⒀如果天下大雨,他就乘班车上班。 解:⑴⑶⑷⑸⑹⑺⑽⑾⑿⒀是命题,其中⑴⑶⑽⑾是真命题,⑷⑹⑿是假命题,⑸⑺⒀的真值目前无法确定;⑵⑻⑼不是命题。 2. 将下列复合命题分成若干原子命题。 ⑴李辛与李末是兄弟。 ⑵因为天气冷,所以我穿了羽绒服。 ⑶天正在下雨或湿度很高。 ⑷刘英与李进上山。 ⑸王强与刘威都学过法语。 ⑹如果你不看电影,那么我也不看电影。 ⑺我既不看电视也不外出,我在睡觉。 ⑻除非天下大雨,否则他不乘班车上班。 解:⑴本命题为原子命题; ⑵p:天气冷;q:我穿羽绒服; ⑶p:天在下雨;q:湿度很高; ⑷p:刘英上山;q:李进上山; ⑸p:王强学过法语;q:刘威学过法语; ⑹p:你看电影;q:我看电影; ⑺p:我看电视;q:我外出;r:我睡觉; ⑻p:天下大雨;q:他乘班车上班。 3. 将下列命题符号化。 ⑴他一面吃饭,一面听音乐。 ⑵3是素数或2是素数。 ⑶若地球上没有树木,则人类不能生存。

⑷8是偶数的充分必要条件是8能被3整除。 ⑸停机的原因在于语法错误或程序错误。 ⑹四边形ABCD是平行四边形当且仅当它的对边平行。 ⑺如果a和b是偶数,则a+b是偶数。 解:⑴p:他吃饭;q:他听音乐;原命题符号化为:p∧q ⑵p:3是素数;q:2是素数;原命题符号化为:p∨q ⑶p:地球上有树木;q:人类能生存;原命题符号化为:p→q ⑷p:8是偶数;q:8能被3整除;原命题符号化为:pq ⑸p:停机;q:语法错误;r:程序错误;原命题符号化为:q∨r→p ⑹p:四边形ABCD是平行四边形;q:四边形ABCD的对边平行;原命题符号化为:pq。 ⑺p:a是偶数;q:b是偶数;r:a+b是偶数;原命题符号化为:p∧q→r 4. 将下列命题符号化,并指出各复合命题的真值。 ⑴如果3+3=6,则雪是白的。 ⑵如果3+3≠6,则雪是白的。 ⑶如果3+3=6,则雪不是白的。 ⑷如果3+3≠6,则雪不是白的。 ⑸3是无理数当且仅当加拿大位于亚洲。 ⑹2+3=5的充要条件是3是无理数。(假定是10进制) ⑺若两圆O1,O2的面积相等,则它们的半径相等,反之亦然。 ⑻当王小红心情愉快时,她就唱歌,反之,当她唱歌时,一定心情愉快。 解:设p:3+3=6。q:雪是白的。 ⑴原命题符号化为:p→q;该命题是真命题。 ⑵原命题符号化为:p→q;该命题是真命题。 ⑶原命题符号化为:p→q;该命题是假命题。 ⑷原命题符号化为:p→q;该命题是真命题。 ⑸p:3是无理数;q:加拿大位于亚洲;原命题符号化为:pq;该命题是假命题。 ⑹p:2+3=5;q:3是无理数;原命题符号化为:pq;该命题是真命题。 ⑺p:两圆O1,O2的面积相等;q:两圆O1,O2的半径相等;原命题符号化为:pq;该命题是真命题。 ⑻p:王小红心情愉快;q:王小红唱歌;原命题符号化为:pq;该命题是真命题。 习题

离散数学结构 习题5

习题5 1.设个体域D={a,b,c},消去下列各式的量词: (1) x y(F(x)∧G(y)) (2) x y(F(x)∨G(y)) (3) xF(x)→yG(y) (4) x(F(x,y)→yG(y)) 答案 (1) x y(F(x)∧G(y)) xF(x)∧yG(y) (F(a)∧F(b))∧F(c))∧(G(a)∨G(b)∨G(c)) (2) x y(F(x)∨G(y)) xF(x)∨yG(y) (F(a)∧F(b)∧F(c))∨(G(a)∧G(b)∧G(c)) (3) xF(x)→yG(y) (F(a)∧F(b)∧F(c))→(G(a)∧G(b)∧G(c)) (4) x(F(x,y)→yG(y)) xF(x,y)→yG(y) (F(a,y)∨F(b,y)∨F(c,y))→(G(a)∨G(b)∨G(c)) 2.设个体域D={1,2},请给出两种不同的解释I1和I2,使得下面公式在I1下都是真命题,而在I2下都是假命题。 (1) x(F(x)→G(x)) (2) x(F(x)∧G(x)) .(1) 答案 I1: F(x):x≤2,G(x):x≤3 F(1),F(2),G(1),G(2)均为真,所以 x(F(x)→G(x)) (F(1)→G(1)∧(F(2)→G(2))为真。 I2: F(x)同I1,G(x):x≤0 则F(1),F(2)均为真,而G(1),G(2)均为假, x(F(x)→G(x))为假。 (2)留给读者自己做。 3.给定解释I如下: (a) 个体域D={3,4}。 (b) (x)为(3)=4,(4)=3。 (c) (x,y)为(3,3)=(4,4)=0,(3,4)=(4,3)=1。 答案 试求下列公式在I下的真值: (1) x yF(x,y) (2) x yF(x,y)

自考离散数学教材课后题第五章答案

习题参考答案 1、设无向图G有16条边,有3个4度结点,4个3度结点,其余结点的度数均小于3,问:G中至少有几个结点。 阮允准同学提供答案: 解:设度数小于3的结点有x个,则有 3×4+4×3+2x≥2×16 解得:x≥4 所以度数小于3的结点至少有4个 所以G至少有11个结点 2、设无向图G有9个结点,每个结点的度数不是5就是6,证明:G中至少有5个6度结点或至少有6个5度结点。 阮允准同学答案: 证明:由题意可知:度数为5的结点数只能是0,2,4,6,8。 若度数为5的结点数为0,2,4个,则度数为6的结点数为9,7,5个结论成立。 若度数为5的结点数为6,8个,结论显然成立。 由上可知,G中至少有5个6度点或至少有6个5度点。 3、证明:简单图的最大度小于结点数。

阮同学认为题中应指定是无向简单图. 晓津证明如下:设简单图有n个结点,某结点的度为最大度,因为简单图任一结点没有平行边,而任一结点的的边必连有另一结点,则其最多有n-1条边与其他结点相连,因此其度数最多只有n-1条,小于结点数n. 4、设图G有n个结点,n+1条边,证明:G中至少有一个结点度数≥3 。阮同学给出证明如下: 证明:设G中所有结点的度数都小于3,即每个结点度数都小于等于2,则所有结点度数之和小于等于2n,所以G的边数必小于等于n,这和已知G有n+1条边相矛盾。所以结论成立。 5、试证明下图中两个图不同构。 晓津证明:同构的充要条件是两图的结点和边分别存在一一对应且保持关联关系。我们可以看出,(a)图和(b)图中都有一个三度结点,(a)图中三度结点的某条边关联着两个一度结点和一个二度结点,而(b)图中三度结点关联着两个二度结点和一个一度结点,因此可断定二图不是同构的。 6、画出所有5个结点3条边,以及5个结点7条边的简单图。 解:如下图所示:(晓津与阮同学答案一致)

离散数学复习题及答案

1. 写出命题公式 ﹁(P →(P ∨ Q ))的真值表。 答案: 2.证明 答案: 3. 证明以下蕴涵关系成立: 答案: 4. 写出下列式子的主析取范式: 答案: ) ()(Q P Q P Q P ?∧?∨∧??Q)P (Q)(P P) (Q P)P (Q)(Q Q)P (P) Q)P ((Q)Q)P (P) Q (Q)P (Q P ?∧?∨∧?∧∨∧?∨?∧∨?∧??∧∨?∨?∧∨??∨?∧∨???Q Q P P ?∨∧?)() ()(R P Q P ∨∧∧?

5. 构造下列推理的论证:p ∨q, p →r, s →t, s →r, t q 答案: ①s →t 前提 ②t 前提 ③s ①②拒取式I12 ④s →r 前提 ⑤r ③④假言推理I11 ⑥p →r 前提 ⑦p ⑤⑥拒取式I12 ⑧p ∨q 前提 ⑨q ⑦⑧析取三段论I10 6. 用反证法证明:p →((r ∧s)→q), p, s q ) ()(R P Q P ∨∧∧?) ()(R P Q P ∨∧?∨??))(())(R Q P P Q P ∧?∨?∨∧?∨??) ()()()(R Q R P P Q P P ∧?∨∧?∨∧?∨∧??) ()()(Q R P R P Q R P Q ∧∧?∨?∧∧?∨∧∧??) ()()(P R Q P R Q Q R P ?∧∧?∨∧∧?∨?∧∧?∨) ()()(Q R P R P Q R P Q ∧∧?∨?∧∧?∨∧∧??) (Q R P ?∧∧?∨

7. 请将下列命题符号化: 所有鱼都生活在水中。 答案: 令 F( x ):x 是鱼 W( x ):x 生活在水中 ))((W(x)F(x)x →? 8. 请将下列命题符号化: 存在着不是有理数的实数。 答案: 令 Q ( x ):x 是有理数 R ( x ):x 是实数 Q(x))x)(R(x)(?∧? 9. 请将下列命题符号化: 尽管有人聪明,但并非一切人都聪明。 答案: 令M(x):x 是人 C(x):x 是聪明的 则上述命题符号化为 10. 请将下列命题符号化: 对于所有的正实数x,y ,都有x+y ≥x 。 答案: 令P(x):x 是正实数 S(x,y): x+y ≥x 11. 请将下列命题符号化: 每个人都要参加一些课外活动。 ))) ()((())()((x C x M x x C x M x →??∧∧?)) ,()()((y x S y P x P y x →∧??

离散数学(第五版)清华大学出版社第1章习题解答

离散数学(第五版)清华大学出版社第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的真值则具体情况而定,是确定的。 (12)p∨q,其中,p:4是偶数,q:4是奇数。由于q是假命题,所以,q 为假命题,p∨q为真命题。

离散数学试题及解答

离散数学 2^m*n 一、选择题(2*10) 1.令P:今天下雨了,Q:我没带伞,则命题“虽然今天下雨了,但是我没带伞”可符号化为()。 (A)P→?Q (B)P∨?Q (C)P∧Q (D)P∧?Q 2.下列命题公式为永真蕴含式的是()。 (A)Q→(P∧Q)(B)P→(P∧Q) (C)(P∧Q)→P (D)(P∨Q)→Q 3、命题“存在一些人是大学生”的否定是(A),而命题“所有的人都是要死的”的否定 是()。 (A)所有人都不是大学生,有些人不会死 (B)所有人不都是大学生,所有人都不会死 (C)存在一些人不是大学生,有些人不会死 (D)所有人都不是大学生,所有人都不会死 4、永真式的否定是()。

(A)永真式(B)永假式(C)可满足式(D)以上均有可能 5、以下选项中正确的是()。 (A)0= ? (B)0 ? (C)0∈? (D)0?? 6、以下哪个不是集合A上的等价关系的性质?() )。 (A)2 (B)4 (C)3 (D)5 10.连通图G是一棵树,当且仅当G中()。 (A)有些边不是割边(B)每条边都是割边 (C)无割边集(D)每条边都不是割边

二、填空题(2*10) 1、命题“2是偶数或-3是负数”的否定是________。 2、设全体域D是正整数集合,则命题?x?y(xy=y)的真值是______。 3、令R(x):x是实数,Q(x):x是有理数。则命题“并非每个实数都是有理数”的符号化表示为 4 5 6、设 7 8 (1)若A去,则C和D中要去1个人; (2)B和C不能都去; (3)若C去,则D留下 五、(15分)设A={1,2,3},写出下列图示关系的关系矩阵,并讨论它们的性质:

最新离散数学习题答案

离散数学习题答案 习题一及答案:(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 →?→? 解:列出公式的真值表,如下所示: 20、求下列公式的成真赋值:

(4)()p q q ?∨→ 解:因为该公式是一个蕴含式,所以首先分析它的成假赋值,成假赋值的条件是: ()10p q q ?∨??????00 p 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。 7、求下列公式的主析取范式,再用主析取范式求主合取范式: (1)()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 ?∧∧?∨∧∧∨?∧?∧∨?∧∧∨∧?∧∨∧∧ ()()()()()p q r p q r p q r p q r p q r ??∧?∧∨?∧∧∨∧?∧∨∧∧?∨∧∧ 13567m m m m m ?∨∨∨∨,此即主析取范式。 主析取范式中没出现的极小项为0m ,2m ,4m ,所以主合取范式中含有三个极大项0M ,2M ,4M ,故原式的主合取范式024M M M ?∧∧。 9、用真值表法求下面公式的主析取范式:

屈婉玲版离散数学课后习题答案

第四章部分课后习题参考答案 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)在两个个体域中都解释为)(x ?,在(a)中为假命题,在 xF (b)中为真命题。 (2)在两个个体域中都解释为)(x ?,在(a)(b)中均为真命 xG 题。 4. 在一阶逻辑中将下列命题符号化: (1) 没有不能表示成分数的有理数. (2) 在卖菜的人不全是外地人. 解: (1)F(x): x能表示成分数 H(x): x是有理数 命题符号化为: )) F x∧ x ?? ? ) ( H ( (x (2)F(x): x是卖菜的人

H(x): x是外地人 命题符号化为: )) F ?? x x→ (x ( H ) ( 5. 在一阶逻辑将下列命题符号化: (1) 火车都比轮船快. (3) 不存在比所有火车都快的汽车. 解: (1)F(x): x是火车; G(x): x是轮船; H(x,y): x比y快 命题符号化为: )) F y x G ? y ? ∧ x→ ( ( )) ( H ) x ((y , (2) (1)F(x): x是火车; G(x): x是汽车; H(x,y): x比y快 命题符号化为: ))) x F x y G ∧ ? H ?? y→ ) ( , x ( ( ( (y ) 9.给定解释I如下: (a) 个体域D为实数集合R. (b) D中特定元素=0. (c) 特定函数(x,y)=x y,x,y D ∈. (d) 特定谓词(x,y):x=y,(x,y):x

《离散数学》期末试题及答案

326《离散数学》期末考试题(B ) 一、填空题(每小题3分,共15分) 1.设,,},,{{b a b a A =?},则-A ? = ( ),-A {?} = ( ),)(A P 中的元素个数 =|)(|A P ( ). 2.设集合A 中有3个元素,则A 上的二元关系有( )个,其中有( )个是A 到A 的函数. 3.谓词公式))()(())()((y P y Q y x Q x P x ?∧?∧→?中量词x ?的辖域为( ), 量词 y ?的辖域为( ). 4.设}24,12,8,6,4,3,2,1{24=D ,对于其上的整除关系“|”,元素( )不存在补元. 5.当n ( )时,n 阶完全无向图n K 是平面图,当当n 为( )时,n K 是欧拉图. 二.1. 若n B m A ==||,||,则=?||B A ( ),A 到B 的2元关系共有( )个,A 上的2元关系共有( )个. 2. 设A = {1, 2, 3}, f = {(1,1), (2,1), (3, 1)}, g = {(1, 1), (2, 3), (3, 2)}和h = {(1, 3), (2, 1), (3, 1)},则( )是单射,( )是满射,( )是双射. 3. 下列5个命题公式中,是永真式的有( )(选择正确答案的番号). (1)q q p p →→∧)(; (2))(q p p ∨→; (3))(q p p ∧→; (4)q q p p →∨∧?)(; (5)q q p →→)(. 4. 设D 24是24的所有正因数组成的集合,“|”是其上的整除关系,则3的补元( ),4的补元( ),6的补元( ). 5. 设G 是(7, 15)简单平面图,则G 一定是( )图,且其每个面恰由( )条边围成,G 的面数为( ).

离散数学 练习题及答案

命题逻辑 例1: 下面哪些语句是命题 十是一个整数. 真命题 北京是一个村庄. 假命题 我学英语或法语. 复合命题 如果天气好,我就去散步. 复合命题 向右看齐! 不是命题 您吃饭了吗? 不是命题 本命题是假的. 不是命题 例2:试以符号形式写出下列命题 1) 选小王或小李中的一人当班长。 P: 小王当班长。 Q: 小李当班长。 ( P ∧ ? Q) ∨ (? P ∧ Q) 2) 小王是计算机系的学生,他生于1982年,他是一个好学生。 P: 小王是计算机系的学生。 Q: 他生于1982年。 R: 他是一名好学生。 P ∧ Q ∧ R 3) 只要我上街,我就去书店看看,除非我很累。 P: 我上街。 Q: 我去书店看看。 R: 我很累。 ? R →(P → Q) 例3 给出下列公式的真值表 成真指派:100,101,110,111 例4 试求下面公式的主析取(主合取)范式,并写出成真指派和成假指派。()()P Q Q P ?→→?∨ 例5 证明:P →Q ,?Q ∨R ,?R ,?S ∨P=>?S 证明: (1) ?R 前提 (2) ?Q ∨R 前提 (3) ?Q (1),(2) (4) P →Q 前提 (5) ?P (3),(4) P R Q P →→∧)(

(6) ?S ∨P 前提 (7) ?S (5),(6) 例6 证明:A ,A →B ,A →C ,B →(D → C) => D 证明: (1) A 前提 (2) A →B 前提 (3) B (1),(2) (4) A →C 前提 (5) C (1),(4) (6) B →(D →?C) 前提 (7) D →?C (3),(6) (8) ?D (5),(7) 例7 证明:?B ∨D ,(E →?F)→?D ,?E=>?B 证明: (1) B 附加前提 (2) ?B ∨D 前提 (3) D (1),(2) (4) (E →?F)→?D 前提 (5) ?(E →?F) (3),(4) (6) E ∧?F (5) (7) E (6) (8) ?E 前提 (9) E ∧?E (7),(8) 例8 证明: 谓词逻辑 例1 符号化下列命题 不是所有的男人都比女人高。 M(x):x 是男人,W(x):x 是女人,H(x,y):x 比y 高。 P Q Q P P Q →?∧∨→))(())) ,()(()((y x H y W y x M x →?→??

离散数学(第五版)清华大学出版社第

离散数学(第五版)清华大学出版社第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的真值是确定的(客观存在的),只是现在不知道而已。

离散数学练习题及答案

离散数学试题 一、单项选择题 在每小题列出的四个备选项中只有一个是符合题目要求的,请将其代码填写在题后的括号内。错选、多选或未选均无分。 1.设P:天下大雨,Q:他在室内运动,命题“如果天下大雨,他就.在室内运动”可符合化为 (B) A. P∧Q B. P→Q C. Q→P D. P∨Q 2.设G=(V , E)为任意一图(无向或有向的),顶点个数为n,边的条数为m, 则各顶点的度数之和等于( D )。 A.n B. m C. 2n D. 2m 3.下列命题为假.命题的是(A) A.如果2是偶数,那么一个公式的析取范式惟一 B.如果2是偶数,那么一个公式的析取范式不惟一 C.如果2是奇数,那么一个公式的析取范式惟一 D.如果2是奇数,那么一个公式的析取范式不惟一 4.谓词公式(?x(P(x)∨?yR(y))→Q(x) 中变元x是(D) A.自由变元 B.约束变元 C.既不是自由变元也不是约束变元 D.既是自由变元也是约束变元 5.若个体域为整数域,下列公式中值为真的是(A) A.?x?y(x+y=0) B.?y?x(x+y=0) C.?x?y(x+y=0) D.??x?y(x+y=0) 6.下列命题中不.正确的是(D) A.x∈{x}-{{x}} B.{x}?{x}-{{x}} C.A={x}∪x,则x∈A且x?A D.A-B=??A=B 7.设P={x|(x+1)2≤4},Q={x|x2+16≥5x},则下列选项正确的是(C) A.P?Q B.P?Q C.Q?P D.Q=P 8.下列表达式中不.成立的是(A) A.A∪(B⊕C)=(A∪B) ⊕ (A∪C) B.A∩(B⊕C)=(A∩B) ⊕ (A∩C) C.(A⊕B)×C=(A×C) ⊕ (B×C) D.(A-B) ×C=(A×C)-(B×C) 9.半群、群及独异点的关系是(A) A.{群}?{独异点}?{半群} B.{独异点}?{半群}?{群}

离散数学习题集十五套 答案

离散数学试题与答案试卷一 一、填空 20% (每小题2分) 1.设 }7|{)},5()(|{<∈=<∈=+ x E x x B x N x x A 且且(N :自然数集,E + 正偶数) 则 =?B A 。 2.A ,B,C表示三个集合,文图中阴影部分的集合表达式为 。 3.设P ,Q 的真值为0,R ,S 的真值为1,则 )()))(((S R P R Q P ?∨→?∧→∨?的真值= 。 4.公式P R S R P ?∨∧∨∧)()(的主合取范式为 。 5.若解释I 的论域D 仅包含一个元素,则 )()(x xP x xP ?→? 在I下真值为 。 6.设A={1,2,3,4},A 上关系图为 则 R 2 = 。 7.设A={a,b,c ,d},其上偏序关系R 的哈斯图为 则 R= 。 8.图的补图为 。 9.设A ={a,b,c,d } ,A 上二元运算如下: * a b c d A B C

a b c d a b c d b c d a c d a b da b c 那么代数系统

离散数学习题详细答案

离散数学习题详细答案

————————————————————————————————作者:————————————————————————————————日期:

离散数学习题答案 习题一及答案:(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 →?→? 解:列出公式的真值表,如下所示: p q p ? q ? ()p p →? ()p p q →?→? 0 0 1 1 1 1 0 1 1 0 1 0 1 0 0 1 0 1 1 1 0 0 0 1 由真值表可以看出公式有3个成真赋值,故公式是非重言式的可满足式。 20、求下列公式的成真赋值:

《离散数学》练习题和参考标准答案

《离散数学》练习题和参考答案 一、选择或填空(数理逻辑部分) 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))∧?zC(y,z))→D(x)中,自由变元是(),约束变元是( )。答:x,y, x,z 5、判断下列语句是不是命题。若是,给出命题的真值。( ) 北京是中华人民共和国的首都。 (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) P Q→ ? (2)Q P? →(3)Q P? ?(4)Q P→ ? 8、设个体域为整数集,则下列公式的意义是()。 (1) ?x?y(x+y=0) (2)?y?x(x+y=0) 答:(1)对任一整数x存在整数y满足x+y=0(2)存在整数y对任一整数x满足x+y=0 9、设全体域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)T 10、设谓词P(x):x是奇数,Q(x):x是偶数,谓词公式?x(P(x)∨Q(x))在哪个个体域中为真?( ) (1)自然数 (2) 实数 (3) 复数(4) (1)--(3)均成立答:(1) 11、命题“2是偶数或-3是负数”的否定是()。答:2不是偶数且-3不是负数。 12、永真式的否定是() (1) 永真式 (2) 永假式(3) 可满足式 (4)(1)--(3)均有可能答:(2)

相关文档