《离散数学与应用数理逻辑部分课后习题答案.doc》由会员分享，可在线阅读，更多相关《离散数学与应用数理逻辑部分课后习题答案.doc（14页珍藏版）》请在三一文库上搜索。
1、作业答案：数理逻辑部分P14：习题一1、下列句子中，哪些是命题？在是命题的句子中，哪些是简单命题？哪些是真命题？哪些命题的真值现在还不知道？（3）是无理数。答：简单命题，真命题。（9）吸烟请到吸烟室去！答：不是命题。（12）8是偶数的充分必要条件是8能被3整除。答：复合命题，假命题。14、讲下列命题符号化。（6）王强与刘威都学过法语。答：王强学过法语；刘威学过法语。符号化为：（10）除非天下大雨，他就乘班车上班。答：天下大雨；他乘班车上班。符号化为：（13）“2或4是素数，这是不对的”是不对的。答：2是素数；4是素数。符号化为：15、设2+3=5. 大熊猫产在中国。 太阳从西方升起。求下列复合
2、命题的真值。（2）（4）解答： 真值为1；真值为1；真值为0.（2）真值为1；真值为1；真值为0；所以真值为0.（4）真值为1，真值为0，真值为1；所以真值为1.推荐精选19、用真值表判断下列公式的类型。（4）0011111011011110010011100111所以为重言式。（7）0000111000110000101000011111010011101011000110100011111110000101001001101000110110101100111110110011101001111111所以为可满足式。推荐精选P36:习题二3、用等值演算法判断下列公式的类型，对不是重言式的可
3、满足式，再用真值表法求出其成真赋值。（1）解答：所以为永假式。（2）解答：所以因为永真式。（3）解答： 为可满足式。真值表为 000001001100010100011100100100101100110100111111推荐精选4、用等值演算法证明下面的等值式。（2）解答：（4）解答：5、求下列公式的主析取范式，并求它们的成真赋值。（1）解答：所以成真赋值为00，10，11（3）解答：推荐精选所以为永真式，成真赋值为000，001，010，011，100，101，110，1116、求下列公式的主合取范式，并求它们的成假赋值。（1）解答:为永假式，成假赋值为00，01，10，11（3）解答：永
4、真式，无成假赋值推荐精选7、求下列公式的主析取范式，再用主析取范式求主合取范式。（1）解答：8、求下列公式的主合取范式，再用主合取范式求主析取范式。（2）解答：13、已知公式A含3个命题变项，并且它的成假赋值为010，011，110，111，求A的主析取范式和主合取范式。解答：成真赋值为000,001,100,101所以主析取范式为而主合取范式为15、用主析取范式判断下列公式是否等值。（2）和解答：推荐精选所以两式并不等值。18、将下列公式化成与之等值且仅含有中联结词的公式（3）解答：29、在某班班委成员的选举中，已知王小红、李强、丁金生3位同学被选进了班委会。该班的的甲、乙、丙3位同学预言：
5、甲说：王小红为班长，李强为生活委员；乙说：丁金生为班长，王小红为生活委员。丙说：李强为班长，王小红为学习委员。班委会分工名单公布后发现，甲乙丙三人都恰好猜对了一半。问王小红、李强、丁金生各任何职？（用等值演算求解）解答：命题符号化：王小红为班长；李强为生活委员；丁金生为班长；王小红为生活委员；李强为班长；王小红为学习委员。设；由题意可知：所以所以所以选举结果为：李强为生活委员；丁金生为班长；王小红为学习委员。推荐精选30、某公司要从赵、钱、孙、李、周5名新毕业的大学生中选派一些人出国学习。选派必须满足条件：（1）若赵去，钱也去；（2）李、周两人中必有一人去；（3）钱、孙两人中去且仅去一人；（4
6、）孙、李两人同去或同不去；（5）若周去，则赵、钱也同去。用等值演算法分析该公司该如何选派他们出国。解答：命题符号化：赵去；钱去；孙去；李去；周去。所满足的条件即为（1）若赵去，钱也去：；（2）李、周两人中必有一人去：；（3）钱、孙两人中去且仅去一人：；（4）孙、李两人同去或同不去：；（5）若周去，则赵、钱也同去：。将所有条件进行合取，然后求其主析取范式（过程省略）所以最终方案有两套：（1）赵钱周不去，孙李去；（2）赵钱周去，孙李不去。P50:习题三9、用3种方法（真值表、等值演算、主析取范式）证明下面推理是正确的。若a是奇数，则a不能被2整除。若a是偶数，则a能被2整除。因此，如果a是偶数，则
7、a不是奇数。解答：命题符号化：a为奇数；a为偶数；a能被2整除推理的形式结构：前提：；结论：推理的形式结构的另外一种描述：推荐精选证明：（1）真值表法：000111101001101101010111001011101111100011101101000101110011001111000101所以为永真式；推理是正确的。（2）等值演算：（3）主析取范式推荐精选12、填充下面推理证明中没有写出的推理规则。前提：，结论：证明：附加前提引入化简化简前提引入假言推理假言推理前提引入假言推理假言推理14、在自然推理系统P中构造下面推理的证明：（2）前提： 结论：证明：前提引入置换前提引入析取三段论前提
8、引入拒取式（4）前提： 结论：证明：前提引入化简化简前提引入置换化简前提引入置换推荐精选化简假言三段论 假言推理前提引入假言推理合取15、在自然推理系统P中用附加前提法证明下面推理：（1）前提： 结论：证明：附加前提引入前提引入假言推理前提引入假言推理前提引入假言推理16、在自然推理系统P中用归谬法证明下面推理：（1）前提： 结论：证明：结论否定引入置换化简化简前提引入前提引入拒取式拒取式合取置换前提引入矛盾。推荐精选17：在自然推理系统P中构造下面推理的证明：只要A曾到过受害者房间并且11点以前没有离开，A就是谋杀嫌疑犯。A曾到过受害者房间。如果A在11点以前离开，看门人会看见过他。看门人没
9、有看见他。所以，A是谋杀嫌疑犯。解答：（1） 命题符号化：A曾到过受害者房间；A在11点以前离开； A就是谋杀嫌疑犯；看门人会看见过A；（2） 推理的形式结构：前提：结论：（3） 证明前提引入前提引入拒取式前提引入合取前提引入假言推理。P63:习题四5、在一阶逻辑中讲下列命题符号化。（3）不存在比所有火车都快的汽车。（4）凡是汽车就比火车慢是不对的。解答：（3）（4）6、将下列命题符号化，个体域为实数集合R，并指出各命题的真值。（1）对所有的，都存在使得。（3）对所有的，都存在使得。解答：（1），真值为1；（3），真值为1；推荐精选9、给定解释I如下。（a）个体域为实数集合R。（b）特定元素。
10、（c）函数（d）谓词。给出下列公式在I下的解释，并指出它们的真值。（1）（3）解答：（1）对任意的x和y，如果,那么。真值为1；（3）对任意的x和y，如果,那么。真值为1；11、判断下列各式的类型。（2）（4）解答：（2）真值为1；真值为0；所以真值为0，所以为永假式。（4）与真值相同，所以为永真式。13、给出下列各公式的一个成真解释和一个成假解释。（1）（2）（3）解答：（1）成真解释： 成假解释：（2）成真解释： 成假解释：（3）成真解释： 成假解释：欢迎您的光临，word文档下载后可以修改编辑。双击可以删除页眉页脚。谢谢！单纯的课本内容，并不能满足学生的需要，通过补充，达到内容的完善 教育之通病是教用脑的人不用手，不教用手的人用脑，所以一无所能。教育革命的对策是手脑联盟，结果是手与脑的力量都可以大到不可思议。 （注：可编辑下载，若有不当之处，请指正，谢谢!） 推荐精选