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