离散数学解答 屈婉玲版 第二版 高等教育出版社课后解答
离散数学答案屈婉玲版
第二版高等教育出版社课后答案
第一章部分课后习题参考答案
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?1
17.判断下面一段论述是否为真:“π是无理数。并且,如果3是无理数,则2也是无理数。另外6能被2整除,6才能被4整除。”
答:p: π是无理数 1
q: 3是无理数0
r: 2是无理数 1
s:6能被2整除 1
t: 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 1
0 1 1 0 1 1 1
1 0 0 1 0 0 1
1 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∨r?1所以公式类型为永真式
(3)P q r p∨q p∧r (p∨q)→(p∧r)
0 0 0 0 0 1
0 0 1 0 0 1
0 1 0 1 0 0
0 1 1 1 0 0
1 0 0 1 0 0
1 0 1 1 1 1
1 1 0 1 0 0
1 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)
?
320m m m ∨∨
?
∑(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) ? M 1
?∏(1) (2) 主合取范式为: ?(p →q)∧q ∧r ??
(?p ∨q)∧q ∧r
?(p ∧
?
q)∧q ∧r ?0
所以该式为矛盾式.
主合取范式为∏(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∧1 ?1
所以该式为永真式.
永真式的主合取范式为 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)中为真命题。
(x
xF
(2)在两个个体域中都解释为)
(x
?,在(a)(b)中均为真命题。
xG
4. 在一阶逻辑中将下列命题符号化:
(1) 没有不能表示成分数的有理数.
(2) 在北京卖菜的人不全是外地人.
解:
(1)F(x): x能表示成分数
H(x): x是有理数
命题符号化为: ))
x
x∧
?
??
F
(
)
(
(x
H
(2)F(x): x是北京卖菜的人
H(x): x是外地人
命题符号化为: ))
x
F
H
x→
??
(x
)
(
(
5. 在一阶逻辑将下列命题符号化:
(1) 火车都比轮船快.
(3) 不存在比所有火车都快的汽车.
解:
(1)F(x): x是火车; G(x): x是轮船; H(x,y): x比y快
命题符号化为: ))
F
x
G
y
y
?
?
∧
x→
))
(
,
(
)
x
((y
(
H
(2) (1)F(x): x是火车; G(x): x是汽车; H(x,y): x比y快
命题符号化为: )))
y
x
F
G
y→
??
∧
?
x
(
)
(
,
(
)
x
H
(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 ∈. 说明下列公式在I下的含义,并指出各公式的真值: (1))) y G x? → ? ? x y , ) ( ( (y F x , (2))) x y a f F ? G y ? x→ ) ( , x ), (y , ( ( 答:(1) 对于任意两个实数x,y,如果x (2) 对于任意两个实数x,y,如果x-y=0, 那么x 10. 给定解释I如下: (a)个体域D=N(N为自然数集合). (b) D中特定元素=2. (c) D上函数=x+y,(x,y)=xy. (d) D上谓词(x,y):x=y. 说明下列各式在I下的含义,并讨论其真值. (1)xF(g(x,a),x) (2)x y(F(f(x,a),y)→F(f(y,a),x) 答:(1) 对于任意自然数x, 都有2x=x, 真值0. (2) 对于任意两个自然数x,y,使得如果x+2=y, 那么y+2=x. 真值0. 11. 判断下列各式的类型: (1) (3) yF(x,y). 解:(1)因为1 q → p p p为永真式; q ? →p ) ( ? (? ) ∨ ? ∨ 所以为永真式; (3)取解释I个体域为全体实数 F(x,y):x+y=5 所以,前件为任意实数x存在实数y使x+y=5,前件真; 后件为存在实数x对任意实数y都有x+y=5,后件假,] 此时为假命题 再取解释I个体域为自然数N, F(x,y)::x+y=5 所以,前件为任意自然数x存在自然数y使x+y=5,前件假。此时为假命题。 此公式为非永真式的可满足式。 13. 给定下列各公式一个成真的解释,一个成假的解释。 (1) (F(x) (2) x(F(x)G(x)H(x)) 解:(1)个体域:本班同学 F(x):x会吃饭, G(x):x会睡觉.成真解释 F(x):x是泰安人,G(x):x是济南人.(2)成假解释 (2)个体域:泰山学院的学生 F(x):x出生在山东,G(x):x出生在北京,H(x):x出生在江苏,成假解释. F(x):x会吃饭,G(x):x会睡觉,H(x):x会呼吸. 成真解释. 第五章部分课后习题参考答案 5.给定解释I如下: (a)个体域D={3,4}; (b)) f为3 (x =f f )3(= ) 4 ( ,4 (c)1 F =F = )3,4 F F F为. x y (= = ,0 , ) ( ) 4,3( ) )3,3( ( 4,4 试求下列公式在I下的真值. (1)) x? yF ? (y , x (3)))) y F f F ? ? x x→ y x ( ( ), ) , (y ( ( f 解:(1))) yF x y x x∨ ? F ? ? ? ( ( x 4, ( )3, ) (x F , ?)) F F∨ F ∨ ∧ (F ( )3,3( )3,4( 4,4( 4,3( )) ?1 ∨ ∨ 0(? ∧ 1( )1 )0 (2)))) x F y F ? x ? x→ y f ( ( ( ) ), , (y f ( F f x x F x f f ∧ → ? ? ((f x→ x F F )3, ( ( ) ), ( ( 4 4, )))) ( ( ( ), 3( ( ))) x f f F F x F ∧ ? ((x ? → F x→ x ( ( )4, ( ), ))) 3 ( )) ( )3, ( ), 4 ( ))) 3),3(()4,3(())4),3(()3,3(((f F F f F F →∧→? ))) 3),4(()4,4(())4),4(()3,4(((f F F f F F →∧→ ∧ )))3,4()4,3(())4,4(0((F F F →∧→?))) 3,3(0())4,3(1((F F →∧→∧ )11()00(→∧→?)00()11(→∧→∧1? 12.求下列各式的前束范式。 (1)) ,()(y x yG x xF ?→? (5))) ,()((),(2121211x x G x x H x x F x ??→→? (本题课本上有错误) 解:(1) ),()(y x yG x xF ?→?),()(y t yG x xF ?→??)),()((y t G x F y x →??? (5) )) ,()(() ,(2121211x x G x x H x x F x ??→→? )),()((),(2323211x x G x x H x x F x ??→→?? )) ,()((),(2332411x x G x H x x x F x ?→?→?? ))) ,()((),((2334121x x G x H x x F x x ?→→??? 15.在自然数推理系统F 中,构造下面推理的证明: (1) 前提: )) ())()((()(y R y G y F y x xF →∨?→?,) (x xF ? 结论: ?xR(x) (2) 前提: ?x(F(x)→(G(a)∧R(x))), xF(x) 结论:x(F(x)∧R(x)) 证明(1) ①) (x xF ? 前提引入 ②F(c) ①EI ③)) ())()((()(y R y G y F y x xF →∨?→? 前提引入 ④)) ())()(((y R y G y F y →∨ ? ①③假言推理 ⑤(F(c)∨G(c))→R(c)) ④UI ⑥F(c)∨G(c) ②附加 ⑦R(c) ⑤⑥假言推理 ⑧?xR(x) ⑦EG (2) ①?xF(x) 前提引入 ②F(c) ①EI ③?x(F(x)→(G(a)∧R(x))) 前提引入 ④F(c)→(G(a)∧R(c)) ③UI ⑤G(a)∧R(c) ②④假言推理 ⑥R(c) ⑤化简 ⑦F(c)∧R(c) ②⑥合取引入 ⑧?x(F(x)∧R(x)) ⑦EG 第六章部分课后习题参考答案 5.确定下列命题是否为真: (1)? ?真 ? (2)? ∈ ?假 (3)} ?真 ? {? (4)} ∈ ?真 {? (5){a,b}?{a,b,c,{a,b,c}}真 (6){a,b}∈{a,b,c,{a,b}}真 (7){a,b}?{a,b,{{a,b}}}真 (8){a,b}∈{a,b,{{a,b}}}假 6.设a,b,c各不相同,判断下述等式中哪个等式为真: (1){{a,b},c,?}={{a,b},c}假 (2){a ,b,a}={a,b}真 (3){{a},{b}}={{a,b}}假 (4){?,{?},a,b}={{?,{?}},a,b}假 8.求下列集合的幂集: (1){a,b,c}P(A)={ ?,{a},{b},{c},{a,b},{a,c},{b,c},{a,b,c}} (2){1,{2,3}}P(A)={ ?, {1}, {{2,3}}, {1,{2,3}} } (3){?}P(A)={ ?, {?} } (4){?,{?}}P(A)={ ?, {1}, {{2,3}}, {1,{2,3}} } 14.化简下列集合表达式: (1)(A B) B )-(A B) (2)((A B C)-(B C)) A 解: (1)(A B) B )-(A B)=(A B) B ) ~(A B) =(A B) ~(A B)) B=? B=? (2)((A B C)-(B C)) A=((A B C) ~(B C)) A =(A ~(B C)) ((B C ) ~(B C)) A =(A ~(B C)) ? A=(A ~(B C)) A=A 18.某班有25个学生,其中14人会打篮球,12人会打排球,6人会打篮球和排球,5人会打篮球和网球,还有2人会打这三种球。已知6个会打网球的人都会打篮球或排球。求不会打球的人数。 解: 阿A={会打篮球的人},B={会打排球的人},C={会打网球 的人} |A|=14, |B|=12, |A B|=6,|A C|=5,| A B C|=2, |C|=6,C?A B 如图所示。 25-(5+4+2+3)-5-1=25-14-5-1=5 不会打球的人共5人 21.设集合A={{1,2},{2,3},{1,3},{?}},计算下列表达式: (1) A (2) A (3) A (4) A 解: (1) A={1,2} {2,3} {1,3} {?}={1,2,3,?} (2) A={1,2} {2,3} {1,3} {?}=? (3) A=1 2 3 ?=? (4) A=? 27、设A,B,C是任意集合,证明 (1)(A-B)-C=A- B?C (2)(A-B)-C=(A-C)-(B-C) 证明 (1) (A-B)-C=(A ~B) ~C= A ( ~B ~C)= A ~(B?C) =A- B?C (2) (A-C)-(B-C)=(A ~C) ~(B ~C)= (A ~C) (~B C) =(A ~C ~B) (A ~C C)= (A ~C ~B) ? = A ~(B?C) =A- B?C 由(1)得证。 第七章部分课后习题参考答案 7.列出集合A={2,3,4}上的恒等关系I A,全域关系E A,小于或等于关系L A,整除关系D A. ={<2,2>,<3,3>,<4,4>} 解:I A ={<2,2>,<2,3>,<2,4>,<3,4>,<4,4>,<3,2>,<3,3>,<4,2>,<4,3>} E A ={<2,2>,<2,3>,<2,4>,<3,3>,<3,4>,<4,4>} L A ={<2,4>} D A 13.设A={<1,2>,<2,4>,<3,3>} B={<1,3>,<2,4>,<4,2>} 求A?B,A?B, domA, domB, dom(A?B), ranA, ranB, ran(A?B ), fld(A-B). 解:A?B={<1,2>,<2,4>,<3,3>,<1,3>,<4,2>} A?B={<2,4>} domA={1,2,3} domB={1,2,4} dom(A∨B)={1,2,3,4} ranA={2,3,4} ranB={2,3,4} ran(A?B)={4} A-B={<1,2>,<3,3>},fld(A-B)={1,2,3} 14.设R={<0,1><0,2>,<0,3>,<1,2>,<1,3>,<2,3>} 求R R, R-1, R↑{0,1,}, R[{1,2}] 解:R R={<0,2>,<0,3>,<1,3>} R -1,={<1,0>,<2,0>,<3,0>,<2,1>,<3,1>,<3,2>} R ↑{0,1}={<0,1>,<0,2>,<0,3>,<1,2>,<1,3>} R[{1,2}]=ran(R|{1,2})={2,3} 16.设A={a,b,c,d},1R ,2R 为A 上的关系,其中 1 R ={ },,,,,a a a b b d { }2,,,,,,,R a d b c b d c b = 求2 3 122 112 ,,,R R R R R R 。 解: R 1 R 2={,,} R 2 R 1={ R 12=R 1 R 1={,,} R 22=R 2 R 2={, 36.设A={1,2,3,4},在A ?A 上定义二元关系R , ?, ∴R ? ∈A ?A ∵u-v=u-v ∴R ∴R 是自反的 任意的, 任意的, 则u-v=x-y,x-y=a-b ∴R是传递的 ∴R是A×A上的等价关系 (2) ∏={{<1,1>,<2,2>,<3,3>,<4,4>}, {<2,1>,<3,2>,<4,3>}, {<3,1>,<4,2>}, {<4,1>}, {<1,2>,<2,3>,<3,4>}, {<1,3>,<2,4>}, {<1,4>} } 41.设A={1,2,3,4},R为A?A上的二元关系, ?〈a,b〉,〈c,d〉∈A?A , 〈a,b〉R〈c,d〉?a + b = c + d (1)证明R为等价关系. (2)求R导出的划分. (1)证明:? a+b=a+b ∴R ∴R是自反的 任意的, ∴R是对称的 任意的, 若R 则a+b=c+d,c+d=x+y ∴a+b=x+y ∴R ∴R是传递的 ∴R是 A×A上的等价关系 (2)∏={{<1,1>}, {<1,2>,<2,1>}, {<1,3>,<2,2>,<3,1>}, {<1,4>,<4,1>,<2,3>,<3,2>}, {<2,4>,<4,2>,<3,3>}, {<3,4>,<4,3>}, {<4,4>}} 43. 对于下列集合与整除关系画出哈斯图: (1) {1,2,3,4,6,8,12,24} (2) {1,2,3,4,5,6,7,8,9,10,11,12} 解 : 1 2 3 46 82 1 7 11 (1) (2) 45.下图是两个偏序集的哈斯图.分别写出集合A 和偏序关系R 的集合表达式. a d g a b f g (a) (b) 解: (a)A={a,b,c,d,e,f,g} I ? (b) A={a,b,c,d,e,f,g} I ? 46.分别画出下列各偏序集的哈斯图,并找出A 的极大元`极小元`最大元和最小元. (1)A={a,b,c,d,e} R ={,,,,, a b d e a b c d e (1) (2) 项目 (1) (2) 极大元: e a,b,d,e 极小元: a a,b,c,e 最大元: e 无 最小元: a 无 第八章部分课后习题参考答案 1.设f :N →N,且 f (x)=12x x x ?? ??? ,若为奇数若为偶数, 求f (0), f ({0}), f (1), f ({1}), f ({0,2,4,6,…}),f ({4,6,8}), f -1({3,5,7}). 解:f (0)=0, f ({0})={0}, f (1)=1, f ({1})={1}, f ({0,2,4,6,…})=N ,f ({4,6,8})={2,3,4}, f -1 ({3,5,7})={6,10,14}. 4. 判断下列函数中哪些是满射的?哪些是单射的?哪些是双射的? (1) f:N →N, f(x)=x 2+2 不是满射,不是单射 (2) f:N →N,f(x)=(x)mod 3,x 除以3的余数 不是满射,不是单射 (3) f:N →N,f(x)=10x x ???,若为奇数,若为偶数 不是满射,不是单射 (4) f:N →{0,1},f(x)=01x x ???,若为奇数,若为偶数 是满射,不是单射 (5) f:N-{0}→R,f(x)=lgx 不是满射,是单射 (6) f:R →R,f(x)=x 2-2x-15 不是满射,不是单射 5. 设X={a,b,c,d},Y={1,2,3},f={,, 第十章部分课后习题参考答案 4.判断下列集合对所给的二元运算是否封闭: (1) 整数集合Z 和普通的减法运算。 封闭,不满足交换律和结合律,无零元和单位元 (2) 非零整数集合 普通的除法运算。不封闭 (3) 全体n n ?实矩阵集合 (R )和矩阵加法及乘法运算,其中n 2。 封闭 均满足交换律,结合律,乘法对加法满足分配律; 加法单位元是零矩阵,无零元; 乘法单位元是单位矩阵,零元是零矩阵; (4)全体n n ?实可逆矩阵集合关于矩阵加法及乘法运算,其中n 2。不封闭 (5)正实数集合 和运算,其中运算定义为: 不封闭 因为 + ?-=--?=R 1111111 (6) n 关于普通的加法和乘法运算。 封闭,均满足交换律,结合律,乘法对加法满足分配律 加法单位元是0,无零元; 乘法无单位元(1>n ) ,零元是0;1=n 单位元是 1 (7)A = {},,,21n a a a n 运算定义如下: 封闭 不满足交换律,满足结合律, (8)S = 关于普通的加法和乘法运算。 封闭 均满足交换律,结合律,乘法对加法满足分配律 (9)S = {0,1},S 是关于普通的加法和乘法运算。 加法不封闭,乘法封闭;乘法满足交换律,结合律 (10)S = ,S关于普通的加法和乘法运算。 加法不封闭,乘法封闭,乘法满足交换律,结合律 5.对于上题中封闭的二元运算判断是否适合交换律,结合律,分配律。 见上题 7.设* 为+Z上的二元运算+ x,, y ?Z ∈ X * Y = min ( x,y ),即x和y之中较小的数. (1)求4 * 6,7 * 3。 4, 3 (2)* 在+ Z上是否适合交换律,结合律,和幂等律? 满足交换律,结合律,和幂等律 (3)求*运算的单位元,零元及+ Z中所有可逆元素的逆元。 单位元无,零元1, 所有元素无逆元 8.Q =Q为有理数集,*为S上的二元运算,, Q S? < a,b >* (1)*运算在S上是否可交换,可结合?是否为幂等的? 不可交换: 可结合:(* 不是幂等的 (2)*运算是否有单位元,零元?如果有请指出,并求S中所有可逆元素的逆元。 则 则 a=1/x,b=-y/x 所以当x ≠0时,x y x y x - = > < -,1,1 10.令S={a ,b},S 上有四个运算:*, 分别有表10.8确定。 (a) (b) (c) (d) (1)这4个运算中哪些运算满足交换律,结合律,幂等律? (a) 交换律,结合律,幂等律都满足, 零元为a,没有单位元; (b)满足交换律和结合律,不满足幂等律,单位元为a,没有零元 b b a a ==--1 1 , (c)满足交换律,不满足幂等律,不满足结合律 a b a b b a b a a b b a ==== )(,)( b b a b b a )() (≠ 没有单位元, 没有零元 (d) 不满足交换律,满足结合律和幂等律 没有单位元, 没有零元 (2)求每个运算的单位元,零元以及每一个可逆元素的逆元。 见上 16.设V=〈 N ,+ ,〉,其中+ ,分别代表普通加法与乘法,对下面给定的每个集合确定它是否构成V 的子代数,为什么? (1)S 1= 是 (2)S 2= 不是 加法不封闭 (3)S 3 = {-1,0,1} 不是,加法不封闭 第十一章部分课后习题参考答案 8.设S={0,1,2,3}, 为模4乘法,即 "?x,y ∈S, x y=(xy)mod 4 问〈S ,〉是否构成群?为什么? 解:(1) ?x,y ∈S, x y=(xy)mod 4S ∈ ,是S 上的代数运算。 (2) ?x,y,z ∈S,设xy=4k+r 30 ≤≤r (x y) z =((xy)mod 4) z=r z=(rz)mod 4 =(4kz+rz)mod 4=((4k+r)z)mod 4 =(xyz)mod 4 同理x (y z) =(xyz)mod 4 所以,(x y) z = x (y z),结合律成立。 (3) ?x ∈S, (x 1)=(1 x)=x,,所以1是单位元。 (4),33 ,111 1 ==-- 0和2没有逆元 所以,〈S ,〉不构成群 9.设Z 为整数集合,在Z 上定义二元运算。如下: " ?x,y ∈Z,xoy= x+y-2 问Z 关于o 运算能否构成群?为什么? 解:(1) ?x,y ∈Z, xoy= x+y-2Z ∈,o 是Z 上的代数运算。 (2) ?x,y,z ∈Z, (xoy) oz =(x+y-2)oz=(x+y-2)+z-2=x+y+z-4 同理(xoy)oz= xo(yoz),结合律成立。 (3)设e 是单位元,?x ∈Z, xo e = e ox=x,即x+e -2= e +x-2=x, e=2 (4) ?x ∈Z , 设x 的逆元是y, xoy= yox=e , 即x+y-2=y+x-2=2, 所以,x y x -==-41 所以〈Z ,o 〉构成群 11.设 G=? ????????? ??--??? ? ??-??? ? ??-??? ? ??10 01,10 01,10 01,10 01 ,证明G 关于矩阵乘法构成一个群. 解:(1) ?x,y ∈G, 易知xy ∈G,乘法是Z 上的代数运算。 (2) 矩阵乘法满足结合律 (3)设??? ? ??10 01是单位元, 离散数学答案屈婉玲版 第二版高等教育出版社课后答案 第一章部分课后习题参考答案 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?1 17.判断下面一段论述是否为真:“π是无理数。并且,如果3是无理数,则2也是无理数。另外6能被2整除,6才能被4整除。” 答:p: π是无理数1 q: 3是无理数0 r: 2是无理数 1 s: 6能被2整除1 t: 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 1 0 1 1 0 1 1 1 1 0 0 1 0 0 1 1 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∨r?1所以公式类型为永真式 (3)P q r p∨q p∧r (p∨q)→(p∧r) 0 0 0 0 0 1 0 0 1 0 0 1 0 1 0 1 0 0 0 1 1 1 0 0 1 0 0 1 0 0 1 0 1 1 1 1 1 1 0 1 0 0 1 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) 离散数学试题(A卷答案) 一、(10分)求(P↓Q)→(P∧?(Q∨?R))的主析取范式 解:(P↓Q)→(P∧?(Q∨?R))??(?( P∨Q))∨(P∧?Q∧R)) ?(P∨Q)∨(P∧?Q∧R)) ?(P∨Q∨P)∧(P∨Q∨?Q)∧(P∨Q∨R) ?(P∨Q)∧(P∨Q∨R) ?(P∨Q∨(R∧?R))∧(P∨Q∨R) ?(P∨Q∨R)∧(P∨Q∨?R)∧(P∨Q∨R) ? M∧1M ? m∨3m∨4m∨5m∨6m∨7m 2 二、(10分)在某次研讨会的休息时间,3名与会者根据王教授的口音分别作出下述判断: 甲说:王教授不是苏州人,是上海人。 乙说:王教授不是上海人,是苏州人。 丙说:王教授既不是上海人,也不是杭州人。 王教授听后说:你们3人中有一个全说对了,有一人全说错了,还有一个人对错各一半。试判断王教授是哪里人? 解设设P:王教授是苏州人;Q:王教授是上海人;R:王教授是杭州人。则根据题意应有: 甲:?P∧Q 乙:?Q∧P 丙:?Q∧?R 王教授只可能是其中一个城市的人或者3个城市都不是。所以,丙至少说对了一半。因此,可得甲或乙必有一人全错了。又因为,若甲全错了,则有?Q ∧P,因此,乙全对。同理,乙全错则甲全对。所以丙必是一对一错。故王教授的话符号化为: ((?P ∧Q )∧((Q ∧?R )∨(?Q ∧R )))∨((?Q ∧P )∧(?Q ∧R )) ?(?P ∧Q ∧Q ∧?R )∨(?P ∧Q ∧?Q ∧R )∨(?Q ∧P ∧?Q ∧R ) ?(?P ∧Q ∧?R )∨(P ∧?Q ∧R ) ??P ∧Q ∧?R ?T 因此,王教授是上海人。 三、(10分)证明tsr (R )是包含R 的且具有自反性、对称性和传递性的最小关系。 证明 设R 是非空集合A 上的二元关系,则由定理4.19知,tsr (R )是包含R 的且具有自反性、对称性和传递性的关系。 若'R 是包含R 的且具有自反性、对称性和传递性的任意关系,则由闭包的定义知r (R )?'R 。由定理4.15和由定理4.16得sr (R )?s ('R )='R ,进而有tsr (R )?t ('R )='R 。 综上可知,tsr (R )是包含R 的且具有自反性、对称性和传递性的最小关系。 四、(15分)集合A ={a ,b ,c ,d ,e }上的二元关系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)在两个个体域中都解释为)(x xF ?,在(a )中为假命题,在(b)中为真命题。 (2)在两个个体域中都解释为)(x xG ?,在(a )(b)中均为真命题。 4. 在一阶逻辑中将下列命题符号化: (1) 没有不能表示成分数的有理数. (2) 在北京卖菜的人不全是外地人. 解: (1)F(x): x 能表示成分数 H(x): x 是有理数 命题符号化为: ))()((x H x F x ∧??? (2)F(x): x 是北京卖菜的人 H(x): x 是外地人 命题符号化为: ))()((x H x F x →?? 5. 在一阶逻辑将下列命题符号化: (1) 火车都比轮船快. (3) 不存在比所有火车都快的汽车. 解: (1)F(x): x 是火车; G(x): x 是轮船; H(x,y): x 比y 快 命题符号化为: )) F x G x→ ∧ ? ? y y ( )) ( ) , x ((y ( H (2) (1)F(x): x是火车; G(x): x是汽车; H(x,y): x比y快 命题符号化为: ))) x x F y y→ ?? ∧ ? G (y H ( , ( ) ( ( x ) 9.给定解释I如下: (a) 个体域D为实数集合R. (b) D中特定元素错误!未找到引用源。=0. (c) 特定函数错误!未找到引用源。(x,y)=x错误!未找到引用源。y,x,y D ∈错误!未找到引用源。. (d) 特定谓词错误!未找到引用源。(x,y):x=y,错误!未找到引用源。(x,y):x 试卷二试题与参考答案 一、填空 1、 P:您努力,Q:您失败。 2、 “除非您努力,否则您将失败”符号化为 ; “虽然您努力了,但还就是失败了”符号化为 。 2、论域D={1,2},指定谓词P P (1,1) P (1,2) P (2,1) P (2,2) T T F F 则公式x ??真值为 。 3设A={2,3,4,5,6}上的二元关系}|,{是质数x y x y x R ∨<><=,则 R= (列举法)。 R 的关系矩阵M R = 。 4、设A={1,2,3},则A 上既不就是对称的又不就是反对称的关系 R= ;A 上既就是对称的又就是反对称的关系R= 。 5、设代数系统,其中A={a,b,c}, 则幺元就是 ;就是否有幂等 性 ;就是否有对称性 。 6、4阶群必就是 群或 群。 7、下面偏序格就是分配格的就是 。 8、n 个结点的无向完全图K n 的边数为 ,欧拉图的充要条件就是 。 * a b c a b c a b c b b c c c b 二、选择 1、在下述公式中就是重言式为( ) A.)()(Q P Q P ∨→∧; B.))()(()(P Q Q P Q P →∧→??; C.Q Q P ∧→?)(; D.)(Q P P ∨→。 2、命题公式 )()(P Q Q P ∨?→→? 中极小项的个数为( ),成真赋值的个数为 ( )。 A.0; B.1; C.2; D.3 。 3、设}}2,1{},1{,{Φ=S ,则 S 2 有( )个元素。 A.3; B.6; C.7; D.8 。 4、设} 3 ,2 ,1 {=S ,定义S S ?上的等价关系 },,,, | ,,,{c b d a S S d c S S b a d c b a R +=+?>∈>∈<><><<=则由 R 产 生的S S ?上一个划分共有( )个分块。 A.4; B.5; C.6; D.9 。 5、设} 3 ,2 ,1 {=S ,S 上关系R 的关系图为 则R 具有( )性质。 A.自反性、对称性、传递性; B.反自反性、反对称性; C.反自反性、反对称性、传递性; D.自反性 。 6、设 ο,+ 为普通加法与乘法,则( )>+<ο,,S 就是域。 A.},,3|{Q b a b a x x S ∈+== B.},,2|{Z b a n x x S ∈== C.},12|{Z n n x x S ∈+== D.}0|{≥∧∈=x Z x x S = N 。 7、下面偏序集( )能构成格。 离散数学期末试题及答 案 HEN system office room 【HEN16H-HENS2AHENS8Q8-HENH1688】 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的补元( ). 一.判断题(共10小题,每题1分,共10分) 在各题末尾的括号内画 表示正确,画 表示错误: 1.设p、q为任意命题公式,则(p∧q)∨p ? p ( ) 2.?x(F(y)→G(x)) ? F(y)→?xG(x)。( ) 3.初级回路一定是简单回路。( ) 4.自然映射是双射。( ) 5.对于给定的集合及其上的二元运算,可逆元素的逆元是唯一的。( ) 6.群的运算是可交换的。( ) 7.自然数集关于数的加法和乘法 列为。 19.n阶无向简单连通图G的生成树有条边。 20.7阶圈的点色数是。 三、运算题(共5小题,每小题8分,共40分) 21.求?xF(x)→?yG(x,y)的前束范式。 22.已知无向图G有11条边,2度和3度顶点各两个,其余为4度顶点,求G 的顶点数。 23.设A={a,b,c,d,e,f},R=I A?{,},则R是A上的等价关系。求等价类[a]R、[c]R及商集A/R。 24.求图示带权图中的最小生成树,并计算最小生成树的权。 25.设R*为正实数集,代数系统< R*,+>、< R*,·>、< R*,/>中的运算依次为普通加法、乘法和除法运算。试确定这三个代数系统是否为群?是群者,求其单位元及每个元素的逆元。 四、证明题(共3小题,共20分) 26 (8分)在自然推理系统P中构造下述推理的证明: 前题:p→(q∨r),?s→?q,p∧?s 结论:r 27 (6分)设 填空10% (每小题 2 分) 1、若P,Q,为二命题,P Q 真值为0 当且仅当。 2、命题“对于任意给定的正实数,都存在比它大的实数” 令F(x):x 为实数,L(x, y) : x y 则命题的逻辑谓词公式为。 3、谓词合式公式xP(x) xQ(x)的前束范式为。 4、将量词辖域中出现的和指导变元交换为另一变元符号,公式其余的部分不变,这种方法称为 换名规则。 5、设x 是谓词合式公式A的一个客体变元,A的论域为D,A(x)关于y 是自由的,则被称为存 在量词消去规则,记为ES。 选择25% (每小题分) 1、下列语句是命题的有()。 A、明年中秋节的晚上是晴天; C、xy 0 当且仅当x 和y 都大于0; D 、我正在说谎。 2、下列各命题中真值为真的命题有()。 A、2+2=4当且仅当3是奇数; B、2+2=4当且仅当 3 不是奇数; C、2+2≠4 当且仅当3是奇数; D、2+2≠4当且仅当 3 不是奇数; 3、下列符号串是合式公式的有() A、P Q ; B、P P Q; C、( P Q) (P Q); D、(P Q) 。 4、下列等价式成立的有( )。 A、P QQ P ; B、P(P R) R; C、P (P Q) Q; D 、P (Q R) (P Q) R。 5、若A1,A2 A n和B为 wff ,且A1 A2 A n B 则 ( )。 A、称A1 A2 A n 为 B 的前 件; B 、称 B 为A1,A2 A n 的有效结论 C 、 x(M (x) Mortal (x)) ; D 、 x(M(x) Mortal (x)) 8、公式 A x(P(x) Q(x))的解释 I 为:个体域 D={2} ,P(x) :x>3, Q(x) :x=4则 A 的 真 值为( ) 。 A 、 1; B 、 0; C 、 可满足式; D 、无法判定。 9、 下列等价关系正确的是( )。 A 、 x(P(x) Q(x)) xP(x) xQ(x); B 、 x(P(x) Q(x)) xP(x) xQ(x); C 、 x(P(x) Q) xP(x) Q ; D 、 x(P(x) Q) xP(x) Q 。 10 、 下列推理步骤错在( )。 ① x(F(x) G(x)) P ② F(y) G(y) US ① ③ xF(x) P ④ F(y) ES ③ ⑤G(y) T ②④I ⑥ xG(x) EG ⑤ A 、②; B 、④; C 、⑤; D 、⑥ 逻辑判断 30% 1、 用等值演算法和真值表法判断公式 A ((P Q) (Q P)) (P Q) 的类型。 C 、当且仅当 A 1 A 2 A n D 、当且仅当 A 1 A 2 A n B F 。 6、 A ,B 为二合式公式,且 B ,则( )。 7、 A 、 A C 、 A B 为重言式; B 、 B ; E 、 A B 为重言式。 人总是要死的”谓词公式表示为( )。 论域为全总个体域) M (x ) : x 是人; Mortal(x) x 是要死的。 A 、 M (x) Mortal (x) ; B M (x) Mortal (x) 一、填空 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 上二元运算如下: 那么代数系统的幺元是 ,有逆元的元素为 ,它们的逆元分别为 。 10.下图所示的偏序集中,是格的为 。 二、选择 20% (每小题 2分) 1、下列是真命题的有( ) A . }}{{}{a a ? ; B .}}{,{}}{{ΦΦ∈Φ; C . }},{{ΦΦ∈Φ; D . }}{{}{Φ∈Φ。 2、下列集合中相等的有( ) A .{4,3}Φ?; B .{Φ,3,4}; C .{4,Φ,3,3}; D . {3,4}。 3、设A={1,2,3},则A 上的二元关系有( )个。 A.23 ;B.32 ;C.332?;D.223?。 4、设R,S是集合A上的关系,则下列说法正确的是() R 是自反的; A.若R,S 是自反的,则S R 是反自反的; B.若R,S 是反自反的,则S R 是对称的; C.若R,S 是对称的,则S R 是传递的。 D.若R,S 是传递的,则S 5、设A={1,2,3,4},P(A)(A的幂集)上规定二元系如下 t s p R= t s ∈ =则P(A)/ R=() < > ∧ A ) (| || |} ( , {t , | s A.A ;B.P(A) ;C.{{{1}},{{1,2}},{{1,2,3}},{{1,2,3,4}}};D.{{Φ},{2},{2,3},{{2,3,4}},{A}} 6、设A={Φ,{1},{1,3},{1,2,3}}则A上包含关系“?”的哈斯图为() 7、下列函数是双射的为() A.f : I→E , f (x) = 2x ;B.f : N→N?N, f (n) = 离散数学试题及答案 一、填空题 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)| = ___2^(n^2)________. 3.设集合A = {a, b}, B = {1, 2}, 则从A到B的所有映射是____A1 = {(a,1), (b,1)}, A2 = {(a,2), (b,2)}, A3 = {(a,1), (b,2)}, A4 = {(a,2), (b,1)},_________ _____________, 其中双射的是______A3, A4__________. 4. 已知命题公式G=?(P→Q)∧R,则G的主析取式是____P∧?Q∧R (m5)____. 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)}, R1 = {(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)| = ______2^(m*n)___________. 11设A,B,R是三个集合,其中R是实数集,A = {x | -1≤x≤1, x∈R}, B = {x | 0≤x < 2, x∈R},则A-B = _____{x | -1 ≤x < 0, x ∈R}_______ , 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的前束式是_____?y?x(P(y)→Q(x))________ _____. 离散数学课后习题答案(左孝凌版) 1-1,1-2解: a)是命题,真值为T。 b)不是命题。 c)是命题,真值要根据具体情况确定。 d)不是命题。 e)是命题,真值为T。 f)是命题,真值为T。 g)是命题,真值为F。 h)不是命题。 i)不是命题。 (2)解: 原子命题:我爱北京天安门。 复合命题:如果不是练健美操,我就出外旅游拉。 (3)解: a)(┓P ∧R)→Q b)Q→R c)┓P d)P→┓Q (4)解: a)设Q:我将去参加舞会。R:我有时间。P:天下雨。 Q (R∧┓P):我将去参加舞会当且仅当我有时间和天不下雨。 b)设R:我在看电视。Q:我在吃苹果。 R∧Q:我在看电视边吃苹果。 c) 设Q:一个数是奇数。R:一个数不能被2除。 (Q→R)∧(R→Q):一个数是奇数,则它不能被2整除并且一个数不能被2整除,则它是奇数。 (5) 解: a)设P:王强身体很好。Q:王强成绩很好。P∧Q b)设P:小李看书。Q:小李听音乐。P∧Q c)设P:气候很好。Q:气候很热。P∨Q d)设P: a和b是偶数。Q:a+b是偶数。P→Q e)设P:四边形ABCD是平行四边形。Q :四边形ABCD的对边平行。P Q f)设P:语法错误。Q:程序错误。R:停机。(P∨ Q)→ R (6) 解: a)P:天气炎热。Q:正在下雨。 P∧Q b)P:天气炎热。R:湿度较低。 P∧R c)R:天正在下雨。S:湿度很高。 R∨S d)A:刘英上山。B:李进上山。 A∧B e)M:老王是革新者。N:小李是革新者。 M∨N f)L:你看电影。M:我看电影。┓L→┓M g)P:我不看电视。Q:我不外出。 R:我在睡觉。 P∧Q∧R h)P:控制台打字机作输入设备。Q:控制台打字机作输出设备。P∧Q 1-3 (1)解: 一、 填空 1. 任何(n,m) 图G = (V,E) , 边数与顶点度数的关系是 。 2. 当n 为 时,非平凡无向完全图K n 是欧拉图。 3. 已知一棵无向树T 有三个3顶点,一个2度顶点,其余的都是1度顶点, 则T 中有 个1度顶点。 4.设}3,34,2,2,1{, } 4,3,2,1{><><><==,R X ,则 r (R) = ; s (R) = ; t (R) = 。 5.设R 为集合A 上的等价关系,对A a ∈?,集合R a ][= ,称为元素a 形成的R 等价类,Φ≠R a ][,因为 。 6.任意两个不同小项的合取为 ,全体小项的析取式为 。 7.设为偶数 x x Q :)(,为素数 x x P :)(,则下列命题:(1)存在唯一偶素数;(2)至多有一个偶素数;分别形式化: (1) ; (2) 。 8.含5个结点,4条边的无向连通图(不同构)有 个, 它们是 。 9. 设T 为根树,若 ,则称T 为m 元树; 若 则称T 为完全m 叉树。 二、 选择 1、下面四组数能构成无向图的度数列的有( )。 A 、 2,3,4,5,6,7; B 、 1,2,2,3,4; C 、 2,1,1,1,2; D 、 3,3,5,6,0。 2、图 的邻接矩阵为( )。 A 、??? ???? ??00 1 101110100001 ;B 、??? ???? ??111111111111 1111;C 、??? ???? ??00 1 10111100 0010 ;D 、??????? ??00 1 10111010 0010 。 3、下列几个图是简单图的有( )。 A. G 1=(V 1,E 1), 其中 V 1={a,b,c,d,e},E 1={ab,be,eb,ae,de}; B. G 2=(V 2,E 2)其中V 2=V 1,E 2={,, 离散数学 10.设有JR 集 |A| =m, |B| = n, Ml|| |p(AxB)| = J 2A m*n 带伞”可符号化为( ) 2 ?下列命题公式为永真蕴含式的是( ) (A ) Q —( P A Q ) ( B ) P -( P A Q ) (C ) (P A Q )-P ( D ) (P V 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 )自反性 (B )有限性 (C )对称性 (D ) 传递性 7、集合 A={1,2;?;10}上的关系 R={vx,y>|x+y=10,x,y€ A},贝U R 的性质为()。 (A )自反的 (B )对称的 (C )传递的,对称的 (D )传递的 8 .设 D= 离散数学习题答案 习题二及答案:(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、用真值表法求下面公式的主析取范式: (1)()()p q p r ∨∨?∧ 解:公式的真值表如下: , 由真值表可以看出成真赋值的情况有7种,此7种成真赋值所对应的极小项的析取即为主析取范式,故主析取范式 1234567m m m m m m m ?∨∨∨∨∨∨ 习题三及答案:(P52-54) 11、填充下面推理证明中没有写出的推理规则。 前提:,,,p q q r r s p ?∨?∨→ 结论:s 证明: ① p 前提引入 ② p q ?∨ 前提引入 — ③ q ①②析取三段论 ④ q r ?∨ 前提引入 ⑤ r ③④析取三段论 ⑥ r s → 前提引入 ⑦ s ⑤⑥假言推理 15、在自然推理系统P 中用附加前提法证明下面推理: (2)前提:()(),()p q r s s t u ∨→∧∨→ 结论:p u → 证明:用附加前提证明法。 ' ① p 附加前提引入 ② p q ∨ ①附加 ③ ()()p q r s ∨→∧ 前提引入 离散数学考试试题(A卷及答案) 一、(10分)判断下列公式的类型(永真式、永假式、可满足式)? 1)((P→Q)∧Q)?((Q∨R)∧Q) 2)?((Q→P)∨?P)∧(P∨R) 3)((?P∨Q)→R)→((P∧Q)∨R) 解:1)永真式;2)永假式;3)可满足式。 二、(8分)个体域为{1,2},求?x?y(x+y=4)的真值。 解:?x?y(x+y=4)??x((x+1=4)∨(x+2=4)) ?((1+1=4)∨(1+2=4))∧((2+1=4)∨(2+1=4)) ?(0∨0)∧(0∨1) ?1∧1?0 三、(8分)已知集合A和B且|A|=n,|B|=m,求A到B的二元关系数是多少?A到B的函数数是多少? 解:因为|P(A×B)|=2|A×B|=2|A||B|=2mn,所以A到B的二元关系有2mn个。因为|BA|=|B||A|=mn,所以A到B的函数mn个。 四、(10分)已知A={1,2,3,4,5}和R={<1,2>,<2,1>,<2,3>,<3,4>,<5,4>},求r(R)、s(R)和t(R)。 解:r(R)={<1,2>,<2,1>,<2,3>,<3,4>,<5,4>,<1,1>,<2,2>,<3,3>,<4,4>,<5,5>} s(R)={<1,2>,<2,1>,<2,3>,<3,4>,<5,4>,<3,2>,<4,3>,<4,5>} t(R)={<1,2>,<2,1>,<2,3>,<3,4>,<5,4>,<1,1>,<1,3>,<2,2>,<2,4>,<1,4>} 五、(10分) 75个儿童到公园游乐场,他们在那里可以骑旋转木马,坐滑行铁道,乘宇宙飞船,已知其中20人这三种东西都乘过,其中55人至少乘坐过其中的两种。若每样乘坐一次的费用是0.5元,公园游乐场总共收入70元,求有多少儿童没有乘坐过其中任何一种。 解设A、B、C分别表示骑旋转木马、坐滑行铁道、乘宇宙飞船的儿童组成的集合,|A∩B∩C|=20,|A∩B|+|A∩C|+|B∩C|-2|A∩B∩C|=55,|A|+|B|+|C|=70/0.5=140。 由容斥原理,得 |A∪B∪C|=|A|+|B|+|C|―|A∩B|―|A∩C|―|B∩C|+|A∩B∩C| 所以 |A∩B∩C|=75-|A∪B∪C|=75-(|A|+|B|+|C|)+(|A∩B|+|A∩C|+|B∩C|-2|A∩B∩C|)+|A∩B∩C|=75-140+55+20=10 没有乘坐过其中任何一种的儿童共10人。 六、(12分)已知R和S是非空集合A上的等价关系,试证:1)R∩S是A上的等价关系;2)对a∈A,[a]R ∩S=[a]R∩[a]S。 解:?x∈A,因为R和S是自反关系,所以 离散数学试题及答案 Prepared on 24 November 2020 一、填空题 1设集合A,B,其中A={1,2,3}, B= {1,2}, 则A - B=____________________; (A) - (B)= __________________________ . 2. 设有限集合A, |A| = n, 则 |(A×A)| = __________________________. 3.设集合A = {a, b}, B = {1, 2}, 则从A到B的所有映射是 __________________________ _____________, 其中双射的是 __________________________. 4. 已知命题公式G=(PQ)∧R,则G的主析取范式是 _______________________________ __________________________________________________________. 6设A、B为两个集合, A= {1,2,4}, B = {3,4}, 则从AB= _________________________; AB=_________________________;A-B= _____________________ . 7. 设R是集合A上的等价关系,则R所具有的关系的三个特性是 ______________________, ________________________, _______________________________. 8. 设命题公式G=(P(QR)),则使公式G为真的解释有 __________________________,_____________________________, __________________________. 9. 设集合A={1,2,3,4}, A上的关系R1 = {(1,4),(2,3),(3,2)}, R2 = {(2,1),(3,2),(4,3)}, 则 R1R2 = ________________________,R2R1 =____________________________, R12 =________________________. 10. 设有限集A, B,|A| = m, |B| = n, 则| |(AB)| = _____________________________. 第一章部分课后习题参考答案 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?1 17.判断下面一段论述是否为真:“π是无理数。并且,如果3是无理数,则2也是无理数。另外6能被2整除,6才能被4整除。” 答:p: π是无理数 1 q: 3是无理数0 r: 2是无理数 1 s:6能被2整除 1 t: 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 1 0 1 1 0 1 1 1 1 0 0 1 0 0 1 1 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∨r?1 所以公式类型为永真式 (3) P q r p∨q p∧r (p∨q)→(p∧r) 0 0 0 0 0 1 离散数学课后答案 习题一 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离散数学答案屈婉玲版第二版高等教育出版社课后答案
(完整版)离散数学试卷及答案
屈婉玲版离散数学课后习题答案【2】
离散数学试题与答案
离散数学期末试题及答案完整版
离散数学期末试卷及答案
离散数学试卷及答案
离散数学试卷及答案(1)
离散数学试题及答案
离散数学课后习题答案(左孝凌版)
离散数学试卷六试题与答案
(完整word版)离散数学试题及解答
离散数学习题答案(耿素云屈婉玲)
离散数学考试试题(A卷及答案)
离散数学试题及答案
离散数学屈婉玲版课后习题
离散数学课后答案