- 作 者：张尚水著
- 出 版 社：北京：中国社会科学出版社
- 出版年份：1990
- ISBN：7500402031
- 注意：在使用云解压之前，请认真核对实际PDF页数与内容!
在线云解压
价格(点数)
购买连接
说明
转为PDF格式
11
（在线云解压服务）
云解压服务说明
1、本站所有的云解压默认都是转为PDF格式，该格式图书只能阅读和打印，不能再次编辑。
云解压下载及付费说明
1、所有的电子图书云解压均转换为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。
2、云解压在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)
前言页 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