离散数学习题课带答案.ppt

（2）?xF(x)→?y(G(y)→H(y)), ?xM(x)→?yG(y) ??x(F(x)∧M(x))→?yH(y) (1) ?x(F(x)∧M(x)) P(附加) (2) ?xF(x)→?y(G(y)→H(y)) P (3) ?xM(x)→?yG(y) P (4) ?xF(x)∧?xM(x) T(1)I (5) ?xF(x) T(4)I (6) ?y(G(y)→H(y)) T(2)(5)I (7) ?xM(x) T(4)I (8) ?yG(y) T(3)(7)I (9) G(c) ES(8) (10) G(c)→H(c) US(6) (11) H(c) T(9)(10)I (12) ?yH(y) EG(11) (13) ?x(F(x)∧M(x))→?yH(y) CP （3）任何人如果他喜欢步行，他就不喜欢乘汽车；每个人或者喜欢乘汽车或者喜欢骑自行车。有的人不爱骑自行车，因此有的人不爱步行 设 A(x):x是人, B(x):x是喜欢步行, C(x):x喜欢乘汽车，D(x):x喜欢骑自行车 ?x(A(x)→(B(x)→?C(x))), ?x(A(x)→(C(x)∨D(x))), ?x(A(x)∧?D(x)) ? ?x(A(x)∧?B(x)) ⑴ ?x(A(x)∧?D(x)) P ⑵ A(a)∧?D(a)) ES ⑴ ⑶ A(a) T ⑵ I ⑷ ?D(a)) T ⑵ I ⑸ ?x(A(x)→(B(x)→?C(x))) P ⑹ A(a)→(B(a)→?C(a)) US ⑸ ⑺ B(a)→?C(a)) T ⑶⑹ I ⑻ ?x(A(x)→(C(x)∨D(x))) P ⑼ A(a)→(C(a)∨D(a))) US⑻ ⑽ C(a)∨D(a) T ⑶⑼ I ⑾ C(a) T ⑷⑽ I ⑿ ?B(a) T ⑺⑾ I ⒀ A(a)∧?B(a)) T ⑶⑿ I ⒁ ?x(A(x)∧?B(x)) EG ⒀ （4）每个大学生不是文科生就是理工科生，有的大学生是优等生，小张不是理工科生，但他是优等生，因此如果小张是大学生，他就是文科生 设 A(x):x是大学生, B(x):x是文科生, C(x):x是理工科生，D(x):x是优等生, a:小张 ?x(A(x)→(?B(x)→C(x))), ?x(A(x)∧D(x)) ?C(a)∧D(a) ? A(a)→B(a) ?x(A(x)→(?B(x)→C(x))),?x(A(x)∧D(x)) ?C(a)∧D(a) ? A(a)→B(A) ⑴ A(a) P(附加前提) ⑵ ?x(A(x)→(?B(x)→C(x))) P ⑶ A(a)→(?B(a)→C(a)) US ⑵ ⑷ ?B(a)→C(a)) T ⑴⑶I ⑸ ?C(a)∧D(a) P ⑹ ?C(a) T ⑸I ⑺ ??B(a) T ⑷⑹ I ⑻ B(a) T ⑺ E ⑼ A(a)→B(a) CP 集合论习题课 1. 判断下面命题的真值(真的话证明，假的话举反例) a)如果A∈B，B?C ，则 A∈ C T b)如果A∈B，B?C，则 A?C F 举反例A={1} B={{1}} C={{1},2} c)如果A?B，B∈C，则 A∈C F 举反例A={1} B={1,2} C={{1,2}} d)如果A?B，B∈C，则 A?C F 举反例A={1} B={1,2} C={{1,2}} 2.集合计算 a) Φ∩{Φ}= Φ b) {Φ}∩{Φ}= {Φ} c) {Φ,{Φ}} –Φ= {Φ,{Φ}} d) {Φ,{Φ}}-{Φ}= {{Φ}} e) {Φ,{Φ}}-{{Φ}}= {Φ} 3.在什么条件下，下面命题为真？ a) (A-B)∪(A-C)=A (A-B)∪(A-C)= (A∩~B)∪(A∩~C)=A∩(~B∪~C) = A∩~(B∩C)=A-(B∩C)=A 所以满足此式的充要条件是：A∩B∩C= Φ b) (A-B)∪(A-C)=Φ (A-B)∪(A-C)= A-(B∩C)=Φ 所以满