- 作 者：张尚水著
- 出 版 社：北京：中国社会科学出版社
- 出版年份：1990
- ISBN：7500402031
- 标注页数：326 页
- PDF页数：332 页
请阅读订购服务说明与试读!
订购服务说明
1、本站所有的书默认都是PDF格式，该格式图书只能阅读和打印，不能再次编辑。
2、除分上下册或者多册的情况下，一般PDF页数一定要大于标注页数才建议下单购买。【本资源332 ≥326页】
图书下载及付费说明
1、所有的电子图书为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。
2、电子图书在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)
3、所有的电子图书都是原书直接扫描方式制作而成。
前言页 1
绪论 1
1 数理逻辑 1
2 预备知识 5
第一章 命题逻辑 20
1 复合命题 联结词 20
2 真值联结词 真值形式 23
3 命题形式 真值表方法 32
4 真值函数 重言式 40
5 重言后承 推理的形式结构 48
6 联结词的可定义性、完全性和独立性 58
7 等值 对偶性 范式 65
第二章 命题演算 92
1 形式系统 92
2 命题演算P的语言及其语法 100
3 P的公理和推理规则 112
4 演绎定理 123
5 P中定理的证明（续） 137
6 赋值 重言式 149
7 P的可靠性和协调性 153
8 P的弱完全性 157
9 P的强完全性 161
10 公理的独立性 166
11 命题逻辑的其它公理系统 171
12 命题逻辑的自然推理系统 174
第三章 一阶谓词逻辑 184
1 个体词 谓词 函数词 184
2 变元和量词 186
3 自由变元和约束变元 193
4 谓词逻辑的命题形式 195
5 一阶语言 203
6 一阶语言的语义 212
7 代入 221
8 表列方法 233
9 范式 249
第四章 一阶谓词逻辑（续） 259
1 一阶谓词演算 259
2 定理的推演 导出规则 262
3 演绎定理 268
4 定理的推演（续）对偶原则 273
5 可靠性和协调性 280
6 完全性 283
7 带等词的一阶谓词演算 292
8 模型论初步 311