湘潭大学 刘任任版 离散数学课后习题答案 习题14

《湘潭大学 刘任任版 离散数学课后习题答案 习题14》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、习题十四1．试判断下列语句是否为命题，并指出哪些是简单命题，哪些是复合命题。分析：本题主要是考察命题的定义，只要理解定义即可。（1）是有理数。解：是命题，且为简单命题（2）计算机能思考吗？解：非命题（3）如果我们学好了离散数学，那么，我们就为学习计算机专业课程打下了良好的基础。解：是命题，且为复合命题。（4）请勿抽烟！解：非命题。（5）X+5＞0解：非命题。（6）π的小数展开式中，符号串1234出现奇数次。解：是命题，且为简单命题。（7）这幅画真好看啊！解：非命题。（8）2050年元旦的那天天气晴朗。解：是命题，且为简单命题。（9）李明与张华是同学解：是命题，且为简单命题。（10）2既是偶

2、数又是质数。解：是命题，且为复合命题。2．讨论上题中命题的真值，并将其中的复合命题符号化。解：（1）F（3）T（6）不知真假（8）不知真假（9）真或假，视情况而定（10）T（3）P：我们学好了离散数学。Q：我们为学习计算机专业课程打下了良好的基础。P→Q（10）P：2是质数；Q：2是偶数；P∧Q3．将下列命题符号化分析：本题主要是考察命题的符号化，主要是要分清合取、析取、蕴含、等价的使用环境。（1）小王很聪明，但不用功解：P：小王很聪明；Q：小王不用功；P∧Q（2）如果天下大雨，我就乘公共汽车上班。解：P：天下大雨；Q：我乘公共汽车上班；P→Q（3）只有天下大雨，我才乘公共汽车上班解：P：

3、天下大雨；Q：我乘公共汽车上班；Q→P（4）不是鱼死，就是网破解：P：鱼死；Q：网破；P∨Q（5）李平是否唱歌，将看王丽是否伴奏而定。解：P：李平唱歌Q：王丽伴奏PQ4．求下列命题公式的真值表：分析：主要考察真值表。这个最好自己按照一个思路写出来所有的解释，不要遗漏。（可以参考二进制来进行给出解释，例如：P，Ｑ，那么我们可以按照这样的顺序给出解释：（０，０）（０，１）（１，０）（１，１））（1）P→(QR)(2)∧（QR）解：（3）解：（4）解：（5）5．用真值表方法验证下列基本等值式分析：本题主要是通过验证等值符号两边的真值表相同即可。（1）分配律解：1）∴（2）DeMorgen律ⅰ)ⅱ

4、)ⅰ)ⅱ)(3)吸收律ⅰ)ⅱ)ⅰ)ⅱ)6．用等值演算的方法证明下列等值式：分析：本题主要是通过所学过的基本等值式来进行等值演算，把某一边转换到另一边，或者是两边同时等值演算到一个相同的命题公式。（1）解：（2）解：（3）解：7．设A、B、C为任意命题公式，试判断以下的说法是否正确，并简单说明之。分析：本题主要是两个命题公式的析取、合取、否满足一定条件，另外的一种情况的结论是否满足。成立给出证明，不成立给出反例。（1）若。解：不正确。如A为真，B为假，C为真时，成立，但不成立。（2）若。解：不正确，如A为真，B为假，C为假时，成立，但不成立。（3）若。解：成立。，同真时，A、B同假，、假时，

5、A，B同真。8．下表是含两个命题变元的所有命题公式F1~F16的真值表，试写出每个命题公式Fi的最多两个命题变元的具体形式，i=1,2……16。分析：本题主要是观察所给出的真值表，通过两个命题变元的析取、合取、否、蕴含、等价等基本运算来写出对应的命题公式。解：11．求下列命题公式的析取范式和合取范式：分析：通过所学过的基本等值式经过等值演算写出析取范式、合取范式。（1）解：原式（析、合取范式）（2）原式∴为：又∴合取范式为：(3)解：原式∴析、合取范式均为:(4)解：原式∴析、合取范式均为：12．求下列命题的主析取范式和主合取范式分析：通过所学过的基本等值式，经过等值演算写出析取范式、合取

6、范式，然后再根据定理求出对应的主析取范式、主合取范式。（1）解：原式∴主合取式为=M0∴主析取式为m1∨m2∨m3=（2）解：原式∴主合取式为：=M0∴主析取式为：即：（3）解：原式∴主合取范式为：=M0∧M2∧M3∧M4∧M5。∴主析取范式为：=13．通过求主析取范式，证明：分析：本题主要是通过求主析取范式来证明一个命题公式蕴含另外一个命题公式。这个题目如果没有要求用主析取范式来证明，我们同时也可以用求主合取范式来证明结论。证：∴两式的主析取范式相同，即为真时，亦为真，此时成立而为假时，不论为何值成立∴为重言式故14．构造下面推理的证明：分析：本题主要是通过构造证明法，依据所学的基本的蕴

7、含式来证明。（1）前提：证论：P证明：（1）R前提引入（2）Q∨R前提此入（3）Q析取三段论（1）、（2）（4）（P∧Q）前提引入（5）P∨Q等值置换（4）（6）P析取三段论（3）、（5）（2）前提：P→（Q→S），Q，P∨R证论：R→S证明：（1）R附加前提（2）P∨R前提（3）P析取三段式（1）、（2）（4）P→（Q→S）前提（5）P∨（Q∨S）等价置换（4）（6）Q∨S析取三段式（3）、（5）（7）Q前提（8）S析