当前位置： 数理逻辑基础 > 购买云解压PDF图书
- 作 者：张振华编著
- 出 版 社：沈阳：辽宁大学出版社
- 出版年份：1990
- ISBN：7561009712
- 注意：在使用云解压之前，请认真核对实际PDF页数与内容!
在线云解压
价格(点数)
购买连接
说明
转为PDF格式
9
（在线云解压服务）
云解压服务说明
1、本站所有的云解压默认都是转为PDF格式，该格式图书只能阅读和打印，不能再次编辑。
云解压下载及付费说明
1、所有的电子图书云解压均转换为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。
2、云解压在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)
第一章 命题逻辑：命题逻辑基本概念 1
1.1 命题和命题变元 1
1.2 真值联结词 4
1.3 赋值和真值表 9
1.4 命题公式 12
1.5 真值函项 15
1.6 重言式、矛盾式、可满足式 21
1.7 判定重言式的逻辑方法 26
1.8 重言等值式 30
第二第 命题逻辑：范式 40
2.1 简单析取和简单合取 40
2.2 合取范式 42
2.3 析取范式 43
2.4 范式的求法 45
2.5 优范式及优范式求法 54
第三章 命题逻辑：命题演算 73
3.1 形式系统 73
3.2 命题自然推理形式系统 74
3.3 定理的推演 83
3.4 命题协调性及证明 101
3.5 命题公理推理形式系统 107
第四章 谓词逻辑：基本概念 124
4.1 个体词和谓词 124
4.2 量词 128
4.3 自由变元和约束变元 135
4.4 改名和代入 137
4.5 解释 141
4.6 谓词逻辑的永真式、矛盾式和可满足式 146
4.7 前束范式 149
第五章 谓词逻辑：谓词演算 160
5.1 谓词自然推理形式系统 160
5.2 全称量词推理规则 161
5.3 存在量词推理规则 166
5.4 关于全称量词和存在量词推理规则的限制 172
5.5 定理的推演 177
5.6 谓词公理形式系统 190