2020秋季离散作业题目_网络带答案版.docx

华南理工大学网络教育学院 2020 - 2021学年度笫一学期 《 离散数学 》作业 1、 用推理规则证明 （「QpR） zR,「（「PaS） =「S 2、 用推理规则证明 PfQ. /?tS= （Pa/?） t （QaS） 3?求公式的主析取范式与主合取范式?并写出相应的成真賦值与成假赋值。 在一阶逻辑中构适下面推理的证明 每个喜欢步行的人都不営欢坐汽吃。每个人或者喜欢坐汽牟或者喜欢骑自行牟。有的人不営欢骑自 行牟。因而有的人不喜欢步行。 令F（x）： x喜欢步行。G（x）： x頁欢坐汽车。H（x）： x喜欢骑自行车。 用推理规则证明 V.v （P （x） g （x））? V.v^P （x）=办。（.V） 6?设R是集合A = {1,2. 3.4,6. 12, 24}上的整除关系。 （1） 给出关系R： （2） 画出关系R的哈斯图： 3）指出关系R的最大.最小元,极大、极小元。 设R是集合A = {L6. 9.2124.36}上的整除关系。 （1）给出关系/?： 2）画出关系/?的哈斯图： （3） 给出关系人的极大.极小元、最大.最小元。 求带权图G的最小生成树，并il?算它的权值。 9?求带权图G的最小生成树，并计算它的权值。 10、求帶权为1, 2, 3. 4, 5, 6, 7, 8的最优二元树T,并给出T对应的二元前缀码集合。 后面10题都有答案 1、用推理规则证明 P — Q, （「QvR）心 R,「（「PaS） =-15 答：证明如下 (1) (―10S?) A-i R 前捉 弓入 (2) —iQ a-i R (1) 等价转换 (3) 7 (2) 化简 (4) P — Q P (5) 「p (3) （4）拒取式 (6) (「PaS) P (7) P7rS (6) 等价转换 (8) 「s (5) （7）析取三段论 2、用推理规则证明P — Q, RiSa （Pa/?） t （0人S） 答:证明如下 （1）Pa/? 附加前提引入 《离散数学作业 第2页（共2页） (2) R (1)化简 (3) P (1)化简 (4) PtQ p (5) Q (3) (4)假言推理 (6) RtS P (7) S (2) (6)假言推理 (8) Q? (5) (7)合取 求公式的主析取范式与主合取范式，并写出相应的成真赋值 与成假赋值。 答： o(WvQvH2)/\((P/\Q)v(P/\「Q))o1a((P/\Q)v(Pa「Q))o(PaQ)v(P/k「0) o(P/\f2)v(Pa0)o%oS“I主析取范式，成真赋值10, 11 oPa(Qv-iQ)oPa1 oP =Pv(gA^C)^(PvC)A(Pv^e)^M()0AM01 主合取范式 成假赋值是00, 01 在一阶逻辑中构造下面推理的证明 每个喜欢步行的人都不喜欢坐汽车。每个人或者喜欢坐汽车或者喜欢骑自 行车。有的人不喜欢骑自行车。因而有的人不喜欢步行。 令F(x)： x喜欢步行。G(x)： x喜欢坐汽车。H(x)： x喜欢骑自行车。 答：前提 Vx(F(x)—-iG(x)),Vx(G(x)v H(x)) ,3x—iH(x) 结论 3x-nF(x) 证明如下： ⑴ 3a-iH(x) p ⑵ -H(c) ES(1) ⑶ Vx(G(x)v H(x)丿 P ⑷ G(c)vH(c) US(3) ⑸ G(c) T⑵⑷ ⑹ VMF(x)t「G(x)丿 P (7) F?「G(c) US(6) (8) ^F(c) T(5)(7) (9)玉-F(x) EG(8) 茲用推理规则证明 Vx (P (x) v(2 (x))，WrP (x) =Vx(2 (x) 答：证明如下 (1) WrB (x) 前提引入 (2)「B (c) (1) US (3) Vx (—u4 (x) — B (x)) 前提引入 (4) -uA (c) t B (c) (3) US (5) A (c) (2) (4) I (6) 3xA (x) (5) EG 6?设R是集合A二｛1, 2, 3,4, 6, 12, 24｝上的整除关系。 给出关系R； 画出关系R的哈斯图； 指出关系R的最大、最小元，极大、极小元。 答：(1 ) R二｛vl,l,vl,2V,3,vl,4,vl,6V4vl,12,vl,24,v2,2,v2,4, 2,6x2,8x2J 2,v2,24?3,3,v3,6,v3,12,v3,24,v4,4,v4$,v4 J 2,v4,24. 6,6,v6,12,v6,24,v8,v24,v 12,12,v 12,24, 24,24) 哈斯图如下所示 （3）最大元24最小元1极大元12极小元1 设R是集合A二{1,6,9,12,18,24,36)上的整除关系。 给出关系R; 画出关系的哈斯图； 给出关系R的极大、极小元、最