逻辑的艺术PDF电子书下载

1 认识逻辑学 1

1.1 逻辑学：第一艺术 1

1.2 逻辑学是什么 2

1.3 逻辑学的发展 4

1.4 逻辑学的应用 5

2 逻辑谜题 9

2.1 何谓逻辑谜题 9

2.2 淘汰法 10

2.3 矩阵的使用 17

3 命题逻辑Ⅰ 25

3.1 论证、前提与结论 25

3.2 字串、句子、陈述与命题 25

3.3 原子陈述与复合陈述 27

3.4 逻辑联结词 28

3.5 陈述的符号化 33

3.6 命题逻辑的合式公式 34

3.7 有效论证和无效论证 35

3.8 一些常见的论证形式 38

4 命题逻辑Ⅱ 42

4.1 其他逻辑联结词 42

4.2 复杂陈述分析 45

4.3 真值表法 47

4.4 简便方法 49

5 三段论逻辑Ⅰ 55

5.1 陈述的结构 55

5.2 直言陈述句的类型 56

5.3 韦恩图 58

5.4 直言陈述句之间的逻辑关系 61

5.5 韦恩图与逻辑关系 64

6 三段论逻辑Ⅱ 70

6.1 三段论 70

6.2 用韦恩图检验三段论的有效性 71

6.3 含三个以上词项的论证的处理 74

7 非形式谬误 82

7.1 不相干谬误 82

7.2 证据不足的谬误 85

7.3 不当预设的谬误 88

7.4 基于语言的谬误 91

8 命题逻辑Ⅲ 97

8.1 综合法与分析法 97

8.2 真值树方法推理的规则 97

8.3 用真值树方法破解逻辑谜题 101

8.4 用真值树方法判定论证的有效性 102

9 命题逻辑Ⅳ 108

9.1 自然演绎推理 108

9.2 演绎规则 108

9.3 例子 115

9.4 重要的定理 118

9.5 定理代换 121

10 谓词逻辑Ⅰ 125

10.1 命题逻辑和三段论逻辑的局限性 125

10.2 主词和谓词 126

10.3 量词 127

10.4 话语的外延 129

10.5 多阶量化 130

11 谓词逻辑Ⅱ 135

11.1 自然语言的模糊性 135

11.2 关系 136

11.3 同一性 138

12 谓词逻辑Ⅲ 142

12.1 真值树方法 142

12.2 自然演绎法 145

13 结论 153

13.1 逻辑学：什么时候用什么逻辑学 153

13.2 逻辑何在 154

13.3 锁与逻辑 155

13.4 命题逻辑和开关电路 155

13.5 命题逻辑和逻辑电路 158

13.6 逻辑与知识处理 165

13.7 逻辑与数学基础 166

13.8 逻辑分析与哲学 168

期中考试样题 173

答案与提示 176

期末考试样题 180

练习题部分题目答案 184