4-4 二元关系与函数 离散数学 教学课件.pptVIP

作业讲评2 P34. 12(1) (p ?(q ? r)) ? (p ? q ? r) ?? (p ?(q ? r)) ? (p ? q ? r) ?(? p ?(? q ? ? r)) ? (p ? q ? r) ?(?p ? ?q) ?(? p ? ?r) ? (p ? q ? r) ?m00x ? m0x0 ? m111 ?m000 ? m001 ? m000 ? m010 ? m111 ?(0,1, 2, 7) (对应成真赋值) ?(3, 4, 5, 6) (对应成假赋值) P34. 13(1) p?( q?r) ?? p ?(? q ? r) ?m0xx ? mx0x ? mxx1 ? m000 ? m001 ? m010 ? m011 ? m000 ? m001 ? m100 ? m101 ? m001 ? m011 ? m101 ? m111 ?(0,1,2,3,4,5,7) q?( p?r) ?? q ?(? p ? r) mx0x ? m0xx ? mxx1 ?(0,1,2,3,4,5,7) p?(q?r) ? q?( p?r ) P34. 13(2) p ↓ q ? ?(p ? q) ? ?p ? ?q ? m00 ? ?(0) p ↑ q ??(p ? q) ??p ? ?q ?m0x ? mx0 ?m00 ? m01 ? m00 ? m10 ? ?(0,1,2) ?p ? ?q ?(?p ? 1) ?(?q ? 1) ?(?p ?(q ? ?q)) ?(?q ?(p ? ?p)) P35. 15 设p: 矿样是铁,q : 矿样是铜, r : 矿样是锡 “√”：全对 “”：对一半 “×”：全错 以甲为例， “√”：全对 ? p ? ? q “”：对一半 (?p ? q)?( p ? ?q) “×”：全错 p ? q 甲 乙 丙 真值 1 √ × 0 2 √ × 0 3 × √ 0 4 √ × ? p ? q ? r 5 × √ 0 6 × √ p? ?q ? ?r 甲说：这不是铁，也不是铜； 乙说：这不是铁，是锡； 丙说：这不是锡，是铁。 ? p ? ? q ? p ? r p ? ? r 其中一个人两个判断都正确，一个人判对一半，另一个人全错了。 P53. 3(个体域为“全总个体域”) 在引入特性谓词后，使用全称量词与存在量词符号化的形式是不同的 “有的人很聪明。”?x ( (M(x) ? F(x) ) “每个人都有一双手”?x( (M(x) ? F(x) ) “每个大学生不是文科生就是理科生” 个体域为“全总个体域” F(x): x是大学生，G(x): x是文科生 H(x): x是理科生 ?x(F(x)?(G(x) ? H(x))) ?x(F(x)?((? G(x) ? H(x)) ?(G(x) ? ? H(x)) ?x(F(x)?(G(x) ? H(x))) P53. 3(个体域为“全总个体域”) “有些人喜欢所有的花” F(x): x是人，G(y): y是花, H(x,y): x喜欢y ?x(F(x) ? ?y(G(y) ?H(x,y))) 任何金属都可以溶解在某种液体中 F(x): x是金属，G(y): y是液体, H(x,y): x溶解于y中 ?x (F(x) ? ?y(G(y) ? H(x,y))) ?x ((M(x) ? F(x)) ?x((M(x) ? F(x)) 这只大红书柜摆满了那些古书。 解法1： 设F(x,y): x摆满了y R(x): x是大红书柜 Q(y): y是古书 a: 这只 b: 那些 F(R(a) , Q(b)) 解法2： 设A(x): x 是书柜 B(x): x是大的 C(x): x是红的 D(y): y是古老的 E(y): y是图书 F(x,y): x摆满了y a: 这只 b: 那些 F(A(a) ? B(a) ? C(a), D(b) ? E(b)) P54. 5(1) 试给出解释I，便得： ?x (F(x) ? G(x)) 与 ?x (F(x) ? G(x)) 有不同的真值。 如：对于实数域，F(x): x 5，G(x): x 0 F(x) G(x) F(x) ? G(x) F(x) ? G(x) 0 0 0 1 *1