- 作 者：黄华新 胡龙彪编著
- 出 版 社：浙江大学出版社
- 出版年份：2000
- ISBN：
- 标注页数：330 页
- PDF页数：343 页
请阅读订购服务说明与试读!
订购服务说明
1、本站所有的书默认都是PDF格式，该格式图书只能阅读和打印，不能再次编辑。
2、除分上下册或者多册的情况下，一般PDF页数一定要大于标注页数才建议下单购买。【本资源343 ≥330页】
图书下载及付费说明
1、所有的电子图书为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。
2、电子图书在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)
3、所有的电子图书都是原书直接扫描方式制作而成。
目录 1
第一章 绪论 1
§1 逻辑的研究对象 1
§2 逻辑的作用 10
§3 逻辑发展简史 15
第二章 非形式的命题逻辑 20
§1 命题和联结词 20
§2 真值表方法 真值函数 26
§3 真值函数可定义性 联结词的完全性与独立性 31
§4 重言式的逻辑分析 36
§5 推理的有效性重言后承 40
§6 范式 46
练习题 57
第三章 命题演算 60
§1 形式系统概述 60
§2 命题演算系统P的结构 65
§3 P的内定理的证明 68
§4 演绎定理及其应用 75
§5 P的定义式定理 84
§6 P的元理论 93
§7 命题演算自然推理系统PN 101
练习题 107
第四章 传统谓词逻辑 111
§1 概念 112
§2 性质命题 119
§3 性质命题直接推理 127
§4 三段论 132
练习题 141
第五章 非形式的一阶谓词逻辑 144
§1 从传统谓词逻辑到现代谓词逻辑 144
§2 命题的一阶谓词逻辑分析 148
§3 一阶谓词语言L1的语法和语义 157
§4 代入和字母变易 165
§5 前束范式 172
练习题 178
第六章 一阶谓词演算 181
§1 一阶谓词演算系统F的构成 181
§2 F的导出规则 184
§3 演绎定理及其应用 196
§4 F的元理论 200
§5 带等词的一阶谓词演算系统F′ 204
练习题 210
§1 模态逻辑概述 212
第七章 模态逻辑 212
§2 非形式的模态命题逻辑 216
§3 模态命题演算公理系统 221
§4 能世界语义学 231
§5 模态命题逻辑元理论 236
§6 模态谓词逻辑 240
练习题 245
§1 归纳逻辑概述 248
第八章 归纳逻辑 248
§2 枚举归纳推理 253
§3 科学归纳推理与典型归纳推理 256
§4 求因果联系归纳推理 260
§5 类比推理 268
§6 概率推理 270
§7 统计推理 276
练习题 281
第九章 语用逻辑 286
§1 语境 286
§2 言语行为 295
§3 隐涵 305
§4 预设 312
练习题 325
主要参考书目 328
后记 330