离散数学习题问题详解解析汇报.doc

《离散数学习题问题详解解析汇报.doc》由会员分享，可在线阅读，更多相关《离散数学习题问题详解解析汇报.doc（16页珍藏版）》请在课桌文档上搜索。

1、离散数学习题答案习题一与答案：P14-1514、将如下命题符号化：5辛与末是兄弟解：设p：辛与末是兄弟，如此命题符号化的结果是p6王强与威都学过法语解：设p：王强学过法语；q：威学过法语；如此命题符号化的结果是9只有天下大雨，他才乘班车上班解：设p：天下大雨；q：他乘班车上班；如此命题符号化的结果是11下雪路滑，他迟到了解：设p：下雪；q：路滑；r：他迟到了；如此命题符号化的结果是15、设p：2+3=5. q：大熊猫产在中国.r：太阳从西方升起.求如下复合命题的真值：4解：p=1，q=1，r=0，19、用真值表判断如下公式的类型：2解：列出公式的真值表，如下所示：001111011010100

2、101110001由真值表可以看出公式有3个成真赋值，故公式是非重言式的可满足式。20、求如下公式的成真赋值：4解：因为该公式是一个蕴含式，所以首先分析它的成假赋值，成假赋值的条件是：所以公式的成真赋值有：01，10，11。习题二与答案：P385、求如下公式的主析取式，并求成真赋值：2解：原式，此即公式的主析取式，所以成真赋值为011，111。*6、求如下公式的主合取式，并求成假赋值：2解：原式，此即公式的主合取式，所以成假赋值为100。7、求如下公式的主析取式，再用主析取式求主合取式：1解：原式，此即主析取式。主析取式中没出现的极小项为，所以主合取式中含有三个极大项，故原式的主合取式。9、用

3、真值表法求下面公式的主析取式：1解：公式的真值表如下：00010000011011010110101111111000101101010111001011110101由真值表可以看出成真赋值的情况有7种，此7种成真赋值所对应的极小项的析取即为主析取式，故主析取式习题三与答案：P52-5411、填充下面推理证明中没有写出的推理规如此。前提：结论：s证明： p 前提引入 前提引入 q 析取三段论 前提引入 r 析取三段论 前提引入 s 假言推理15、在自然推理系统P中用附加前提法证明下面推理：2前提： 结论：证明：用附加前提证明法。 p 附加前提引入附加 前提引入假言推理s化简附加 前提引入 u

4、假言推理故推理正确。16、在自然推理系统P中用归谬法证明下面推理：1前提：， 结论：证明：用归谬法 p 结论的否认引入 前提引入假言推理 前提引入析取三段论 前提引入 r 化简合取由于，所以推理正确。17、在自然推理系统P中构造下面推理的证明：只要A曾到过受害者房间并且11点以前没离开，A就是谋杀嫌犯。A曾到过受害者房间。如果A在11点以前离开，看门人会看见他。看门人没有看见他。所以，A是谋杀嫌犯。解：设p：A到过受害者房间，q：A在11点以前离开，r：A是谋杀嫌犯，s：看门人看见过A。如此前提：， 结论：证明： 前提引入 前提引入拒取式 前提引入合取引入 前提引入假言推理习题四与答案：P65

5、-675、在一阶逻辑中将如下命题符号化：2有的火车比有的汽车快。解：设F(x)：x是火车，G(y)：y是汽车，H(x,y)：x比y快；如此命题符号化的结果是：3不存在比所有火车都快的汽车。解：方法一：设F(x)：x是汽车，G(y)：y是火车，H(x,y)：x比y快；如此命题符号化的结果是：或方法二：设F(x)：x是火车，G(y)：y是汽车，H(x,y)：x比y快；如此命题符号化的结果是：或9、给定解释I如下：(a) 个体域为实数集合R。(b) 特定元素。(c) 函数。(d) 谓词。给出以下公式在I下的解释，并指出它们的真值：2解：解释是：，含义是：对于任意的实数x，y，假如x-y=0如此xy。

6、该公式在I解释下的真值为假。14、证明下面公式既不是永真式也不是矛盾式：1解：取解释如下：个体域为全总个体域，：x是兔子，：y是乌龟，：x比y跑得快，如此该公式在解释I下真值是1；取解释如下：x比y跑得慢，其它同上，如此该公式在解释下真值是0；故公式1既不是永真式也不是矛盾式。此题答案不唯一，只要证明公式既不是永真式也不是矛盾式的每个解释合理即可。习题五与答案：P79-815、给定解释I如下：(a) 个体域D=3,4(b) (c) 试求如下公式在I下的真值：(1) 解：方法一：先消去存在量词15、在自然推理系统中，构造下面推理的证明：3前提：， 结论：证明： 前提引入置换UI规如此 前提引入U

7、I规如此析取三段论EG规如此*22、在自然推理系统中，构造下面推理的证明：2凡大学生都是勤奋的。王晓山不勤奋。所以王晓山不是大学生。解：设F(x)：x为大学生，G(x)：x是勤奋的，c：王晓山如此前提：， 结论：证明： 前提引入UI规如此 前提引入拒取式25、在自然推理系统中，构造下面推理的证明：每个科学工作者都是刻苦钻研的，每个刻苦钻研而又聪明的人在他的事业中都将获得成功。王大海是科学工作者，并且是聪明的。所以，王大海在他的事业中将获得成功。个体域为人类集合解：设F(x)：x是科学工作者，G(x)：x是刻苦钻研的，H(x)：x是聪明的，I(x)：x在他的事业中获得成功，c：王大海如此前提：，

8、 结论：证明：前提引入化简化简前提引入UI规如此假言推理合取引入 前提引入UI规如此假言推理习题六与答案P99-10028、化简下述集合公式：3解：30、设A,B,C代表任意集合，试判断下面命题的真假。如果为真，给出证明；如果为假，给出反例。6解：该命题为假，如果，如此，否如此，故为假。举反例如下：如此。8解：该命题为假，举反例如下：如果B，C都是A的子集，如此一定成立，但不一定成立，例如：，,，如此，但。33、证明集合恒等式：1证明：习题七与答案：P132-26 设，R为A上的关系，R的关系图如图7.13所示：1求的集合表达式；2求r(R), s(R), t(R)的集合表达式。解：1由R的关

9、系图可得所以，可得；2，41、设A=1，2，3，4，R为上的二元关系，1证明R为等价关系；2求R导出的划分。1只需证明R具有自反性、对称性和传递性即可，证明过程如下：a任取，有，所以R具有自反性；b任取，假如，如此有，所以R具有对称性；c任取，假如且，如此有且，所以R具有传递性，综合abc可知：R为集合上的等价关系；2先求出集合的结果：再分别求集合各元素的等价类，结果如下：。等价关系R导出的划分就是集合A关于R的商集，而集合A关于R的商集是由R的所有等价类作为元素构成的集合，所以等价关系R导出的划分是：46、分别画出如下各偏序集的哈斯图，并找出A的极大元、极小元、最大元和最小元。1解：哈斯图如

10、下：eabcdfA的极大元为e、f，极小元为a、f；A的最大元和最小元都不存在。*22、给定，A上的关系，试1画出R的关系图；2说明R的性质。2解：11342R的关系图中每个顶点都没有自环，所以R是反自反的，不是自反的； R的关系图中任意两个顶点如果有边的都是单向边，故R是反对称的，不是对称的； R的关系图中没有发生顶点x到顶点y有边、顶点y到顶点z有边，但顶点x到顶点z没有边的情况，故R是传递的。*48、设为偏序集，在集合上定义关系T如下：证明T为上的偏序关系。证明：1自反性：2反对称性：3传递性：综合123知T具有自反性、反对称性和传递性，故T为上的偏序关系。习题九与答案：P179-180

11、8、12。解：1211、3；解：3由*运算的定义可知：，16、习题十一与答案：P218-2191、图11.11给出了6个偏序集的哈斯图。判断其中哪些是格。如果不是格，说明理由解：a、c、f是格；因为任意两个元素构成的集合都有最小上界和最大下界；b不是格，因为d,e的最大下界不存在；d不是格，因为b,c的最小上界不存在；e不是格，因为a,b的最大下界不存在。2、如下各集合低于整除关系都构成偏序集，判断哪些偏序集是格。1L=1，2，3，4，5；2L=1，2，3，6，12；解：画出哈斯图即可判断出：1不是格，2是格。4、设L是格，求以下公式的对偶式：2解：对偶式为：，参见P208页定义11.2。6、

12、设L为格，且，证明。证明：9、针对图11.11中的每个格，如果格中的元素存在补元，如此求出这些补元。解：a图：a,d互为补元，其中a为全下界，d为全上界，b和c都没有补元；c图：a,f互为补元，其中a为全下界，f为全上界，c和d的补元都是b和e，b和e的补元都是c和d；f图：a,f互为补元，其中a为全下界，f为全上界，b和e互为补元，c和d都没有补元。10、说明图11.11中每个格是否为分配格、有补格和布尔格，并说明理由。解：a图：是一条链，所以是分配格，b和c都没有补元，所以不是有补格，所以不是布尔格；c图：a,f互为补元，c和d的补元都是b和e，b和e的补元都是c和d，所以任何元素皆有补元，是有补格；，所以对运算不满足分配律，所以不是分配格，所以不是布尔格；f图：经过分析知图f对应的格只有2个五元子格：L1=a,c,d,e,f, L2=a,b,c,d,f。画出L1和L2的哈斯图可知L1和L2均不同构于钻石格和五角格，根据分配格的充分必要条件见P213页的定理11.5得图f对应的格是分配格；c和d都没有补元，所以不是有补格，所以不是布尔格。