离散数学及应用第3版习题答案习题1.docVIP

应用离散数学 命题逻辑 PAGE 杭电－周丽、方景龙 第一章 PAGE 3 第1章：命题逻辑 §1.1 命题和逻辑连接词 习题1.1 1. 下列哪些语句是命题，在是命题的语句中，哪些是真命题，哪些是假命题，哪些命题的真值现在还不知道？ （1）中国有四大发明。 （2）你喜欢计算机吗？ （3）地球上海洋的面积比陆地的面积大。 （4）请回答这个问题！ （5）。 （6）。 （7）园的面积等于半径的平方乘以圆周率。 （8）只有6是偶数，3才能是2的倍数。 （9）若，则。 （10）外星人是不存在的。 （11）2120年元旦下大雪。 （12）如果，则血就不是红的。 解 是真命题的有：（1）、（3）、(7)、(8) 、 (9) 、（12） ；是假命题的有：（5）； 是命题但真值现在不知道的有： (10)、 (11)；不是命题的有：（2）、（4）、（6）。 2. 令、为如下简单命题：：气温在零度以下。：正在下雪。用、和逻辑联接词符号化下列复合命题。 （1）气温在零度以下且正在下雪。 （2）气温在零度以下，但不在下雪。 （3）气温不在零度以下，也不在下雪。 （4）也许在下雪，也许气温在零度以下，也许既下雪气温又在零度以下。 （5）若气温在零度以下，那一定在下雪。 （6）也许气温在零度以下，也许在下雪，但如果气温在零度以上就不下雪。 （7）气温在零度以下是下雪的充分必要条件。 解 （1）；（2）；（3）；（4）； （5）；（6）；（7）。 3. 令原子命题：你的车速超过每小时120公里，：你接到一张超速罚款单，用、和逻辑联接词符号化下列复合命题。 （1）你的车速没有超过每小时120公里。 （2）你的车速超过了每小时120公里，但没接到超速罚款单。 （3）你的车速若超过了每小时120公里，将接到一张超速罚款单。 （4）你的车速不超过每小时120公里，就不会接到超速罚款单。 （5）你接到一张超速罚款单，但你的车速没超过每小时120公里。 （6）只要你接到一张超速罚款单，你的车速就肯定超过了每小时120公里。 解 （1）；（2）；（3）；（4）； （5）；（6）。 4. 判断下列各蕴涵式是真是假。 （1）若，则。 T （2）若，则。 F （3）若，则。 T （4）若，则。 T （5）若猪会飞，那么。 T （6）若猪会飞，那么。 T （7）若，猪就会飞。 T （8）若，猪就会飞。 F 解 （1）T；（2）F；（3）T；（4）T；（5）T；（6）T；（7）T；（8）F。 5. 给出下列各蕴涵形式命题的逆命题、否命题和逆否命题。 （1）如果今天下雪，我明天就去滑雪。 （2）只要有测验，我就来上课。 （3）只有当正整数没有1和它自己以外的因数时，它才是质数。 解： （1）逆命题：如果我明天去滑雪，今天就会下雪； 否命题：如果今天不下雪，我明天就不去滑雪； 逆否命题：如果我明天没去滑雪，今天就没下雪。 （2）逆命题：我来上课，就有测验； 否命题：只要没有测验，我就不来上课； 逆否命题：我不来上课，就没有测验。 （3）逆命题：正整数是质数，则它没有1和它自己以外的因数； 否命题：只有当正整数有1和它自己以外的因数时，它才不是质数； 逆否命题：正整数不是质数，则它有1和它自己以外的因数。 6. 你会用什么样的布尔检索寻找关于新泽西州海滩的网页？如果你想找关于泽西岛（在英吉利海峡）海滩的网页呢？ 解 寻找关于新泽西州海滩网页的布尔检索为：“NEW”“JERSEY” “BEACHES”，寻找关于泽西岛（在英吉利海峡）海滩网页的布尔检索为（“JERSEY” “BEACHES”）（“NEW”）。 7. 你会用什么样的布尔检索寻找关于徒步旅行西弗吉尼亚的网页？如果你想找关于徒步旅行弗吉尼亚的网页，而不是西弗吉尼亚呢？ 解 寻找关于徒步旅行西弗吉尼亚网页的布尔检索为：“WALKING TOUR”“VIRGINIA” “WEST”，寻找关于徒步旅行弗吉尼亚的布尔检索为（“WALKING TOUR” “VIRGINIA”）（“WEST”）。