《有趣的数理逻辑》

编者的话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