离散数学课件：5-1 图的基本概念.pptxVIP

请交作业四P113: 2, 3, 4P114: 5, 6 P115: 13, 14, 15 P116: 16, 21, 22, 23, 24二元关系性质运算补充题：作业讲评三一阶逻辑推理补充题：1，2P75: 17(1), 21一阶逻辑推理补充题1构造下述推理证明: 前提: (?x)(?A(x)?B(x)), (?x)?B(x) 结论: (?x)A(x)证明：① (?x)(?A(x)?B(x))前提引入 ② ?A(a)?B(a)① ?- 规则 ③ ?x?B(x) 前提引入 ④ ?B(a)③ ?- 规则 ⑤ A(a) ②④拒取式 ⑥ (?x)A(x) ⑤ ?+ 规则一阶逻辑推理补充题2构造下面命题的推理证明:所有有理数是实数，某些有理数是整数，因此某些实数是整数。解：令Q(x): x是有理数, R(x): x是实数, Z(x): x是整数。前提：?x(Q(x)?R(x))， ?x(Q(x)?Z(x))结论：?x(R(x)?Z(x))一阶逻辑推理补充题2前提：?x(Q(x)?R(x))， ?x(Q(x)?Z(x))结论：?x(R(x)?Z(x))证明： ① ?x(Q(x)?Z(x)) 前提引入 ② Q(a)?Z(a)① ?- 规则 ③ ?x(Q(x)?R(x))前提引入 ④ Q(a)?R(a) ③?- 规则 ⑤ Q(a) ②化简律 ⑥ R(a) ④⑤假言推理 ⑦ Z(a) ②化简律 ⑧ R(a)?Z(a)⑥⑦合取 ⑨ ?x(R(x)?Z(x))⑧?+规则P55:17 前束范式 (??xF(x)??yG(y))?(F(u)??zH(z))(?x?F(x)??yG(y))??z(F(u)?H(z)) ?x?y?z((?F(x)?G(y))?(F(u)?H(z))(2) ?xF(x,y) ??yG(y)? ?xF(x,y) ??zG(z)? ?x?z(F(x,y) ?G(z)) ?x?z(?F(x,y) ?G(z)) ?z?x (F(x,y) ?G(z))P75:17(1)A ? B ? C ? D T A ? C ? B ? D ?x? A?C ? x ? A ? x ? C ? x ? B ? x ? D ? x ? B ? D所以， A ? C ? B ? D A ? C ? B ? DX?Y的证明方法?x?X ? … ?x?YP75:17(1)A ? B ? C ? D T A ? C ? B ? D当B ? D ≠ ?、 A ? C= ?时，命题成立：设B ? D ={0}，B={1，0}，D={2，0}取A={1} ，C={2} A?C = ? ? {0} = B ? D 成立P75: 17(1)A ? B ? C ? D T A ? C ? B ? D当B ? D= ?时，命题不成立：设B={1，0}，D={2，3}，B ? D = ?，取A={1} ，C={2} ，A ? C = ?， ? ? ? 不成立A ? B ? C ? D T A ? C ? B ? D当B?D≠?、A?C≠?时,命题不一定成立当 B ? D ? A ? C时,命题成立设B={3,1,0},D={3,2,0} A={1,0}, C={2,0} B?D ={3,0}, A?C={0} {0} ? {3,0} 成立当 B ? D = A ? C时,命题不成立设B={3,1,0},D={4,2,0} A={1,0}, C={2,0} B?D = A?C={0} {0} ? {0} 不成立P75: 21 求不超过120的素数个数因为所以,对于不超过120的合数, 其素因子只可能是2、3、5、7，考虑集合: S = {x | x?Z, 1 ? x ? 120} S 中不能被2、3、5、7中任何一个数整除的数都属于不超过120的素数。 令能被2、3、5或7整除的数的集合分别记为A2、A3、A5、A7，则题目所求数N为“+3”——因2、3、5、7不属于 集合，而“1”不是素数，所以+4-1=3P75: 21 求不超过120的素数个数=120－141＋56－8＋0＋3＝30|A2|=[120/2]=60 |A3|=[120/3]=40, |A5|=[120/5]=24,|A7|=[120/7]=17 |A2?A3|=[120/6]=20|A2?A5|=[120/10]=12|A2?A7|=[120/14]=8|A3?A5|=[120/15]=8|A3?A7|=[120/21]=5|A5?A7|=[120/35]=3|A2?A3?A5|=[120/30]=4|A2?A3?A7|=[120/42]=2|A2?A5?A7|=[120/70]=1|A3