有趣的数理逻辑PDF电子书下载

编者的话 1

命题逻辑部分 1

一、需要用命题逻辑解答的题目 1

1.三兄弟锁橱门 1

2.这两句话的意思一样吗？ 2

3.有些缠人的蛇是毒蛇吗？ 2

4.“假如我睡不着觉……” 3

5.“二加三不等于五” 4

6.吕正标智斗许仕虎 4

7.父亲与儿子的争论 6

8.谁打碎了窗子?(之一) 6

9.谁碎了窗子?(之二) 7

10.需要的书放在哪里? 8

11.聪明的囚徒 8

12.一个勘探队员 9

13.哪个是放有钥匙的盒子？ 10

14.在三岔路口上 10

15.这位技术员一定要参加会议吗? 11

16.这是谁干的? 11

17.古典的速度加法定理是真的吗? 12

18.小严的推断可靠吗? 12

19.胡彪是杀人犯吗？ 13

20.谁考上重点大学? 13

22.“我知道了……” 14

21.土耳其商人和帽子的故事 14

23.在什么情况下，这幢公寓才不发生失窃案件? 15

24.新产品的鉴定办法 16

25.两个部落 16

26.农民还是小偷？ 17

二、命题逻辑的基本知识简介 18

1.命题逻辑的基本概念 18

2.判定重言式的逻辑方法 30

3.命题演算 41

4.范式 50

5.关于自然语言翻译为人工符号语言的问题 62

1.三兄弟锁橱门 70

三、用命题逻辑解答的题目的答案 70

2.这两句话的意思一样吗? 73

3.有些缠人的蛇是毒蛇吗? 75

4.“假如我睡不着觉……” 76

5.“二加三不等于五” 78

6.吕正标智斗许仕虎 79

7.父亲与儿子的争论 81

8.谁打碎了窗子?(之一) 82

9.谁打碎了窗子?(之二) 83

10.需要的书放在哪里? 85

11.聪明的囚徒 86

12.一个勘探队员 87

13.哪个是放有钥匙的盒子? 90

14.在三岔路口上 92

15.这位技术员一定要参加会议吗? 94

16.这是谁干的? 96

17.古典的速度加法定理是真的吗? 99

18.小严的推断可靠吗？ 100

19.胡彪是杀人犯吗? 103

20.谁考上重点大学? 106

21.土耳其商人和帽子的故事 110

22.“我知道了……” 111

23.在什么情况下，这幢公寓才不发生失窃案件? 113

24.新产品的鉴定办法 114

25.两个部落 115

26.农民还是小偷? 116

类逻辑部分 119

一、需要用类逻辑解答的题目 119

1.这位技术员一定要参加会议吗? 119

2.五个嫌疑犯 119

3.三台机器 120

4.三台马达的运转 120

5.他们的诊断相同吗？ 121

6.三岁小孩是斗不过大鲨鱼的 121

7.他们各是什么职称? 121

8.他们各自买的是什么牌子的车子? 122

9.如何安排课程表? 122

11.到底有谁看了电视节目? 123

10.世界女子体操锦标赛的名次 123

12.他们分别考上哪个大学? 124

13.得满分的究竟是谁？ 124

14.录取分数线到底是多少? 125

15.究竟哪两个人参加了义务劳动? 125

二、类逻辑的基本知识简介 127

1.类逻辑的基本概念 127

2.类的演算 129

3.本书中需要用类逻辑解答的题目的几种主要类型 132

三、用类逻辑解答的题目的答案 142

1.这位技术员一定要参加会议吗? 142

3.三台机器 143

2.五个嫌疑犯 143

4.三台马达的运转 144

5.他们的论断相同吗? 146

6.三岁小孩是斗不过水管大鲨鱼的 146

7.他们各是什么职称？ 147

8.他们各自买的是什么牌子的车子？ 148

9.如何安排课程表? 150

10.世界女子体操锦标赛的名次 151

11.到底有谁看了电视节目? 152

12.他们分别考上哪个大学？ 154

13.得满分的究竟是谁? 156

14.录取分数线到底是多少？ 157

15.究竟哪两个人参加了义务劳动？ 158