logo资料库

离散数学课后习题答案(四川大学).pdf

第1页 / 共33页
第2页 / 共33页
第3页 / 共33页
第4页 / 共33页
第5页 / 共33页
第6页 / 共33页
第7页 / 共33页
第8页 / 共33页
资料共33页,剩余部分请下载后查看
习题参考解答 习题 1.1 1、(3)P:银行利率降低 Q:股价没有上升 P∧Q (5) P:他今天乘火车去了北京 Q:他随旅行团去了九寨沟 QP∇ (7) P:不识庐山真面目 Q:身在此山中 Q→P,或 ~P→~Q (9) P:一个整数能被 6 整除 Q:一个整数能被 3 整除 R:一个整数能被 2 整除 T:一个整数的各位数字之和能被 3 整除 P→Q∧R ,Q→T 2、(1)T (2)F (3)F (4)T (5)F (6)T (7)F (8)悖论 习题 1.3 1(3) P →∨→⇔ ∨¬⇔∨→ R ( RQ Q ) ( P P ( ) ( ) RQP ∨¬⇔∨ QP ( ) ) ∨¬∨ RP ( ) 1 课后答案网 www.khdaw.com
(4) Q R R P P Q P R Q ( ( ( ) ) ) (( ∧ ∨ ∨ ∧ = ∧ ∨ P R R P Q R P )) ( ( )) ( ) (( ∨ ∧ ∧ ∨ = ∨ ∧ Q R P R P R Q P ( ( ) ) ( ) ( = ∨ ∨ ∧ ∨ ∧ ∨ = 右 ∧ ∧ ) ) ) ∨ ( R P ∧ ) 2、不, 不, 能 习题 1.4 1 (3) 、 R Q P P )) ~ ( ( → ∧ → = P R T (~ ( ) ~ ) = ∨ ∧ = P R Q (~ ~ ) (~ ∧ ∨ ∨ = R P ( ∧ ∨ P R (~ ∨ = P R Q ∨ ∨ Q P (~ )) ∨ P R (~ ∨ ∨ ) Q Q ∧ )) QR ( ( ( 主合取范式 P P ( ( ) →∧→ P PQ R )) ∨¬∧ ∨¬= P PR Q R ) )) ( ∧ ∨¬∧ ∨¬= P QQ RR PR PP ( )) ( ( ) ) ( ∨ ∨¬∧¬= ∨¬∧ RQ P R QP Q ) ) ( ( ( ∧¬∧¬∨¬∧∧¬∨¬∧¬∧¬= ∧¬∧¬∨ R PQ R ( ) ( ( ∧∧ ∨¬∧¬∧ ∧¬∧ RQ R QP P ) ( ( ) ∧¬∧¬∨¬∧∧¬∨¬∧¬∧¬= R PQ R ( ( ∨¬∧¬∧ ∧¬∧ ————主析取范式 Q R ∨¬∧¬∧ R ) ( PR ( R ) ( QPR ( ( ∨¬∧∧ RQ P ) QPR P ∧∧ ∨¬∧∧ Q Q Q Q P P P ) ∨ ) ∨ ∨ ( ) ) ∨ ( ) QQ )) ∨ ) 2、 ( (2) Q (~ = (~ = P Q ) → ∧ → = P Q ∧ ∨ ∨ P Q ∨ ∨ ∨ ∨ R P ) R R )) ∧ P Q R (~ ∧ ( (~ R ~ ) P R P Q ) (~ ) ∨ ∧ ∨ Q Q P R (~ )) ∨ ∨ ∧ P R Q ) ~ ) (~ ∧ ∨ ∨ (~ (~ P → ∧ Q R ( ) ~ = (~ = (~ = P Q R ) ( ∧ ∨ P Q ) (~ ∨ ∧ R P Q ~ ) ∨ ∨ P R ∧ (~ ∧ ) P Q R ∨ ∨ ) ∧ (~ P R ∨ ∨ Q ~ ) ∴ 等价 3、解:根据给定的条件有下述命题公式: (A→(C∇D))∧~(B∧C)∧~(C∧D) ⇔(~A∨(C∧~D)∨(~C∧D))∧(~B∨~C)∧(~C∨~D) ⇔((~A∧~B)∨(C∧~D∧~B)∨(~C∧D∧~B)∨ (~A∧~C)∨(C∧~D∧~C)∨(~C∧D∧~C))∧(~C∨~D) 2 课后答案网 www.khdaw.com
⇔((~A∧~B)∨(C∧~D∧~B)∨(~C∧D∧~B)∨ (~A ∧~C)∨(~C∧D∧~C)) ∧(~C∨~D) ⇔(~A∧~B∧~C)∨(C∧~D∧~B∧~C)∨(~C∧D∧~B∧~C)∨ (~A∧~C∧~C)∨(~C∧D∧~C∧~C)∨(~A∧~B∧~D)∨ (C∧~D∧~B∧~D)∨(~C∧D∧~B∧~D)∨(~A∧~C∧~D)∨ (~C∧D∧~C∧~D)(由题意和矛盾律) ⇔(~C∧D∧~B)∨(~A∧~C)∨(~C∧D)∨(C∧~D∧~B) ⇔(~C∧D∧~B∧A)∨ (~C∧D∧~B∧~A)∨ (~A∧~C∧B)∨ (~A∧~C∧~B)∨ (~C∧D∧A)∨ (~C∧D∧~A)∨ (C∧~D∧~B∧A)∨(C∧~D∧~B∧~A) ⇔(~C∧D∧~B∧A)∨ (~A∧~C∧B∧D)∨ (~A∧~C∧B∧~D)∨ (~A∧~C∧~B∧D)∨ (~A∧~C∧~B∧~D)∨ (~C ∧D∧A∧B)∨ (~C∧D∧A∧~B)∨ (~C∧D∧~A∧B)∨ (~C ∧D∧~A∧~B)∨(C∧~D∧~B∧A)∨(C∧~D∧~B∧~A) ⇔(~C∧D∧~B∧A)∨ (~A∧~C∧B∧D)∨ (~C∧D∧A∧~B)∨ (~C∧D∧~A∧B) ∨(C∧~D∧~B∧A) ⇔(~C∧D∧~B∧A)∨ (~A∧~C∧B∧D)∨(C∧~D∧~B∧A) 三种方案:A 和 D、 B 和 D、 A 和 C 习题 1.5 1、 (1)需证 ( P Q → → → ∧ )) P Q P ) ( ( 为永真式 ( Q ) ( = ) = ∨ (( ) ∧ (~ ) ) ( P ~ (~ P Q ∨ P Q P Q ∨ ) ∨ (~ P ∨ ( P Q ∧ )) P Q ∨ )) P Q T P Q ∨ P ~ (~ = P Q P Q )) ~ (~ → → → ∧ = P P ~ ∨ T (~ ∨ ∨ P Q ( ) ∴ → ⇒ → ∧ RP S S →∧¬∧ S RF (3)需证 ⇔→⇔→∧⇔→∧¬∧Q ⇒∧¬∧∴ RP RP 为永真式 P P P F S S T 3 课后答案网 www.khdaw.com
3 A B Q、 ⇒ ∴ → A B 为永真式。即 ~ A B∨ 永真 ~ Q A B ∨ ⇔ ∨ ⇔ → B A B ~ ~ ~ 永真 A ∴ ⇒ 当且仅当 A B ~ ~B A⇒ 4、设: P:珍宝藏在东厢房 Q:藏宝的房子靠近池塘 R:房子的前院栽有大柏树 S:珍宝藏在花园正中地下 t:后院栽有香樟树 m:珍宝藏在附近(后院) 命题化后进行推理: ( ∨ R p Q P Q R S ( ( ) ~ ) → ∧ → ∧ ∧ R P p R S ~ ( ) ( ) ⇒ ∧ → ∧ ∧ → ∨ m R S t R ~ ) ( ( ) ⇒ ∧ ∧ → ∨ m S t ) ( ⇒ ∧ → t ( m ) t ( ) ∧ → m ) 即 S 为真,珍宝藏在花园正中地下 5、(1)F (P=0,Q=1) (2)F (P=1,Q=R=0) (3)F (P=0,Q=1) 习题 1.6 1.(1) ~ P Q R ∨ , → ⇒ → Q P ~ ~ R 证:利用 CP 规则 ① P P(附加前提) ② ~ P Q ∨ P ③ Q T ①②I ④ R → ~ Q P 4 课后答案网 www.khdaw.com
⑤ ~ R T ③④I ⑥ 结论成立 CP 规则①⑤ (2) ( P Q ∨ → ∧ R S ) ( ) , ( SVE ) → ⇒ → B P B 证:① P P (附加) ② P∨Q T① ③ ( P Q ∨ → ∧ R S ) ( ④ R S ∧ ⑤ S ) P T ②③ T ④ ⑥ S∨E T⑤ ⑦ S∨E→B P ⑧ B T ⑥⑦ ⑨ P → B C P (①⑧) 2. (2) P:无任何痕迹 Q:失窃时,小花在 OK 厅 R:失窃时,小英在 OK 厅 S:失窃时,小胖在附近 T:金刚是偷窃者 M:瘦子是偷窃者 命题可符号化为: { SRQP , , ∨ ¬→ QP , ¬→¬→ , T S MRR , → } 证:① ② P S ~→ P P P 5 课后答案网 www.khdaw.com
③ ④ ⑤ ⑥ ⑦ ⑧ ⑨ S~ ~ → ~ S R R~ RQ ∨ Q TQ → T T ①② P T ③④ P ⑤⑥ T P T ⑦⑧ ∴金刚是窃贼。 3. (1) 不相容 (2) 相容 ( P = ,1 (3)不相容 (4)不相容 SQR == = )0 4. (1)证:( P → ~ Q ) ∧ ( SR ∨ ) ( →∧ S ~ Q ) ∧→∧ PQ P ) ( ) PQP ∧ ∨ }PQP , ∨ ⇔ ( ~ P ∨ ~ Q ) ∧ ( SR ∨ ) ∧ ( ~ S ∨ ~ Q ) ∧ ( ~ 即 =Φ { ~ P ∨ 利用消解原理: ,~ SRQ ∨ ~ , S ∨ ~ ,~ Q ① P P ② ③ ④ ⑤ ~ ∨ P ~ Q P Q~ ①② QP ∨~ P ~P ③④ ⑥ ~ FPP =∧ □ ①⑤ 6 课后答案网 www.khdaw.com
习题 2.1 1. (1) :( )xA x 是实数 ( )xB : x 是有理数 ( ) ( ) ( xBx ∀ → ( ) xA )∧ ¬∀ ( ) ( xAx → ( ) xB )∧ ( ) ( xAx ∃ ∧ ( ) )xB (2) :( )xA x 是直线 )yxF , : x 与 平行 ( ( ( baF , ( ) aAba y ( ) bA ∀∀ → ∧ [ ) ( )yxG , : x 与 相交 y ¬↔ ]baG ( ) ) , (3) :)(xA x 是会员 :)(xC x 有意义 yxF ( , ) : x 参加 y :这个活动 a ( ) aC ∀→ ( ( ) xAx ( ) )axF ,→ 或者 ¬∀ ( ) xAx ( → ( axF , ) ) ¬→ ( )aC (4) :( )xA x 是正整数 (xB :) x 是合数 :)(xC x 是质数 ( ( ) xAx ∀ → )xCxB ( ) ( ) ∇ (5) :( )xA x 是人 B(x):x 存钱 a:利息 )yxF , : x 想有 y P:存钱有利息 ( ( ) ( axF xA , ( ) 0 [ ( ( ) xAx ( ) 1 ( ) xB ( ) 2 ( →¬∧ ) ) ( ) 1 ( ) )2 → ∀ P Q R R ∧ P P ∧ ∧ 2.(1) ( ) 0 P ∧ ( ∨ ∨ ¬∧ ]xB ( ) ) (2) ( ) 0 P [ → Q ( )] 0 ∧ [ P ( ) 1 → Q ( )] 1 ∧ [ P ( ) 2 → Q ( ) 2 4.(1) ( )( ∃∀ x [ ) yxPy ( , ) → ( tyQ , )] ( ∀∨ ) )zyxRz ( , , 7 课后答案网 www.khdaw.com
习题 2.2 1.(1)D:数 ( ) xA : ( ) xA yxfAyx ∀∀ → ) ) ( ( [ , x ∨ = 0 ] ( ) yA ¬∧ ( xA ) , ( yxf ) 1 ¬→− xy = ( ( xfA − ,1 x + ) )1 永真式 (2) ( ) x xA : 是诚实的人 [ ( ) xAx ] ( ) xB → ¬∧ ∀ ( ) aA ( ) x xB : 讲实话 ( )aB ¬→ a:小林 可满足式 (3) ( ) x xA : 不便宜 ( ) x yxF , 买的 : y [ ] ( ) ( ) xAx xB → ∀ ∧ ( ) x xB : 是好货 a:衣服 b:小王 ( baF , ) ∧ ( ) aA → ( )aB 可满足式 (4) ( ) x xA : 是作家 ( ) x xB : 懂得人性本质 ( ) x xC : 是诗人 ( ) x xD : 是真正的 ( ) x xE : 能刻画人们内心世界 ( ) x xF : 很高明 ( yxP , 创作了 y ) x : a:莎士比亚 b:哈姆雷特 ( ) ( ) ( ) ) ( xB xF xC → ∧ ) xB xE ( ) ( ) ) ¬∧ ∧ ∀∧ [ ( ) ( xAx ∧ ∀ ( xAx ( ( ) ∃¬∧ xE ( ) ¬∧ [ xCx ( ) ] ) ( ) ( xD baP , ∧ ]) xD bxP ),( ( → ¬→ ∧ ) 2.(1) T 3.(1) F (2) T 4. D : 实数 yxP ,( :) y = e x , yQ :)( y > 0 习题 2.3 1.(1) ( ) xPyx ∃∃ [ → ( yQ ] ) 8 课后答案网 www.khdaw.com
分享到:
收藏