自然演绎逻辑导论PDF电子书下载
- 电子书积分:11 积分如何计算积分?
- 作 者:陈晓平著
- 出 版 社:广州:中山大学出版社
- 出版年份:2013
- ISBN:7306026781
- 页数:298 页
第一章 绪论 1
1.1 词项、命题和推论 1
1.1.1 词项 1
1.1.2 定义 2
1.1.3 命题 4
1.1.4 推论 4
1.1.5 演绎推论与归纳推论 6
习题1.1 7
1.2 推论的有效性和可靠性 9
1.2.1 推论形式、变项和常项 9
1.2.2 推论的有效性 11
1.2.3 反例 12
1.2.4 推论的可靠性 13
习题1.2 14
1.3 论证 16
1.3.1 证明与反驳 16
1.3.2 论证的基本规则 18
1.3.3 二难推论 20
1.3.4 几种不正当的辩论手法 22
习题1.3 23
第二章 命题逻辑:符号化和真值表 25
2.1 一些基本概念 25
2.1.1 真值函项复合命题和真值函项联结词 25
2.1.2 合取词和合取命题 26
2.1.3 析取词和析取命题 27
2.1.4 否定词和否定命题 28
2.1.5 蕴涵词和蕴涵命题 29
2.1.6 等值词和等值命题 31
习题2.1 32
2.2 命题的符号化 33
2.2.1 什么是命题的符号化 33
2.2.2 一些常见的复合命题的符号化 33
2.2.3 包含多个联结词的复合命题的符号化 37
习题2.2 39
2.3 命题的真值表及其逻辑性质 40
2.3.1 真值表的构造 40
2.3.2 重言式、矛盾式和偶然式 44
2.3.3 重言等值和重言蕴涵 46
习题2.3 48
2.4 用真值表检验推论的有效性 50
2.4.1 真值表方法 50
2.4.2 短真值表方法 54
习题2.4 58
第三章 命题逻辑:推演 61
3.1 八条整推规则 61
3.1.1 八条整推规则的表述 61
3.1.2 八条整推规则的应用 64
习题3.1 68
3.2 十条置换规则 70
3.2.1 什么是置换规则 71
3.2.2 交换 72
3.2.3 双重否定 73
3.2.4 德摩根律 73
3.2.5 假言易位 75
3.2.6 蕴涵 75
3.2.7 重言 76
3.2.8 结合 77
3.2.9 分配 78
3.2.10 移出 79
3.2.11 等值 80
习题3.2 82
3.3 条件证明规则 85
3.3.1 什么是条件证明规则 85
3.3.2 条件证明规则的应用 87
习题3.3 91
3.4 间接证明规则 92
3.4.1 什么是间接证明规则 92
3.4.2 间接证明规则的应用 93
习题3.4 98
3.5 重言式的证明 99
3.5.1 重言式的无前提证明 99
3.5.2 自然演绎与真值表方法 102
习题3.5 104
第四章 三段论逻辑 105
4.1 直言命题 105
4.1.1 直言命题的形式 105
4.1.2 直言命题的图释 106
4.1.3 直言命题之间的关系 109
习题4.1 112
4.2 三段论 113
4.2.1 什么是三段论 113
4.2.2 用文恩图检验三段论的有效性 115
4.2.3 用规则检验三段论的有效性 120
习题4.2 122
4.3 强化三段论 124
4.3.1 强化直言命题与强化三段论 124
4.3.2 对强化三段论的有效性的检验 126
4.3.3 处理三段论的两种方案 128
习题4.3 129
第五章 谓词逻辑:基本概念和符号化 130
5.1 基本概念 130
5.1.1 谓词逻辑和谓词推论 130
5.1.2 个体词和谓词 131
5.1.3 量词 133
5.1.4 量词的辖域、普遍命题和复合命题 134
5.1.5 自由变项和约束变项 136
5.1.6 开语句、开语句的例示和概括 137
5.1.7 重复约束和空约束 139
习题5.1 139
5.2 命题的符号化 141
5.2.1 直言命题的符号化 141
5.2.2 论域 144
5.2.3 一般命题的符号化 145
5.2.4 命题的多重量化 150
习题5.2 154
第六章 谓词逻辑:解释、推演和摹状词理论 157
6.1 解释 157
6.1.1 命题的解释及其真假 157
6.1.2 普遍有效式和不可满足式 161
6.1.3 逻辑等值和逻辑蕴涵 163
6.1.4 谓词推论的解释及其有效性 164
习题6.1 168
6.2 推演 170
6.2.1 命题推演规则和量词转换规则 170
6.2.2 全称量词的整推规则 172
6.2.3 存在量词的整推规则 178
6.2.4 构造一些推论的证明 183
习题6.2 187
6.3 数量量词和摹状词理论 191
6.3.1 数量量词 191
6.3.2 摹状词 194
6.3.3 摹状词理论的逻辑意义 199
6.3.4 摹状词理论的哲学意义 202
习题6.3 207
第七章 模态逻辑 209
7.1 基本概念 209
7.1.1 命题的模态 209
7.1.2 必然命题 210
7.1.3 可能世界 211
7.1.4 严格蕴涵 213
7.1.5 逻辑独立 214
7.1.6 严格等值 214
习题7.1 215
7.2 模态命题的表达 216
7.2.1 基本符号与定义 216
7.2.2 整体模态与部分模态 218
7.2.3 模态命题的自然语言表达 218
习题7.2 220
7.3 模态命题逻辑发展概况 220
7.4 系统T 222
7.4.1 置换规则 222
7.4.2 必然模态词的整推规则 223
7.4.3 可能模态词的整推规则 230
习题7.4 235
7.5 系统S4 237
7.5.1 重迭模态词 237
7.5.2 S4-重述规则 238
7.5.3 模态词的化归 241
习题7.5 242
7.6 系统S5 243
7.6.1 S5-重述规则 243
7.6.2 模态词的化归 244
7.6.3 一些定理和推论的证明 245
7.6.4 构造反例 246
习题7.6 250
7.7 各个系统的可能世界模型 251
7.7.1 可能世界之间的可达性关系 252
7.7.2 系统T的可能世界模型 252
7.7.3 系统S4和S5的可能世界模型 254
第八章 命题逻辑的元理论 258
8.1 对象语言与元语言、常项变项与变项变项 258
8.1.1 对象语言与元语言 258
8.1.2 常项变项与变项变项 259
习题8.1 262
8.2 SL的语法 262
8.2.1 SL的基本语法 262
8.2.2 一些语法元定理及其证明 266
习题8.2 269
8.3 SL的语义 270
8.3.1 SL的基本语义 270
8.3.2 一些语义元定理及其证明 271
习题8.3 273
8.4 数学归纳法 273
8.4.1 什么是数学归纳法 273
8.4.2 数学归纳法的例示1 274
8.4.3 数学归纳法的例示2 275
习题8.4 277
8.5 联结词的真值函项完全性 277
8.5.1 什么是真值函项完全性 277
8.5.2 对SL的真值函项完全性的证明 279
习题8.5 282
8.6 SC的可靠性 283
8.6.1 什么是SC的可靠性 283
8.6.2 一些元定理及其证明 283
8.6.3 对SC的可靠性的证明 285
习题8.6 289
8.7 SC的完全性 290
8.7.1 不一致性引理和最大一致性集合 290
8.7.2 对SC的完全性的证明 294
习题8.7 297
主要参考文献 298
- 《自然拼读背单词 高考英语3500词》宋德伟 2019
- 《物联网导论》张翼英主编 2020
- 《程序逻辑及C语言编程》卢卫中,杨丽芳主编 2019
- 《材料导论》张会主编 2019
- 《化工传递过程导论 第2版》阎建民,刘辉 2020
- 《庆祝新中国成立70周年当代中国发展的逻辑系列丛书 当代中国生态发展的逻辑》熊捷责编;包存宽 2020
- 《自然拼读背单词 小学英语1000词》宋德伟 2019
- 《弗雷格逻辑主义研究》刘靖贤著 2019
- 《自然地理基础》张蕾蕾编著 2018
- 《博物之美 畅游在自然与艺术之间》(中国)薛晓源 2019
- 《单逨传奇》刘高奇,单百平著 2019
- 《云南少数民族传统舞蹈》葛树蓉,吴世平著 2018
- 《当代文化视域下的中国钢琴教育研究与实践》孙淑平著 2019
- 《梦之海》陈晓丹,温慧责编;(法)科琳娜·蓓尔特兰德总主编;韦斯林,(乌拉圭)马格努译者;(乌拉圭)兰道尔夫-桑图里奥改编;(阿根廷)乔克绘画;刘慈欣 2020
- 《圆圆的肥皂泡》陈晓丹,温慧责编;(法)科琳娜·蓓尔特兰德总主编;谢倩雪译者;(比)史蒂文·迪普雷绘画;刘慈欣 2020
- 《峨眉丛谈》魏福平著 1986
- 《西方国家的新贸易保护主义与中国的应对措施研究》李雪平著 2019
- 《成长的声音》邬易平著 2019
- 《健康由自己把握》赵国平著 2018
- 《高等院校土建类专业新编系列教材 普通高等教育“十一五”国家级规划教材 土力学与地基基础 新1版》(中国)陈晓平 2019