当前位置： 数理逻辑引论 > 购买云解压PDF图书
- 作 者：马振华编著
- 出 版 社：北京：清华大学出版社
- 出版年份：1982
- ISBN：
- 注意：在使用云解压之前，请认真核对实际PDF页数与内容!
在线云解压
价格(点数)
购买连接
说明
转为PDF格式
10
（在线云解压服务）
云解压服务说明
1、本站所有的云解压默认都是转为PDF格式，该格式图书只能阅读和打印，不能再次编辑。
云解压下载及付费说明
1、所有的电子图书云解压均转换为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。
2、云解压在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)
目录 1
Ⅰ 命题演算 1
§1 引言 1
§2 命题与符号 3
§3 逻辑联结词 7
§4 命题变量与真值函数（命题公式） 18
§5 真值函数类 27
§6 真值函数的等价变换（命题公式的等价变换）—逻辑联结词的互相转化 32
§7 对偶律 52
§8 永真蕴含 58
§9 真值函数类的势 70
§10 其他逻辑联结词 77
§11 逻辑联结词的功能完备集 85
§12 古典命题逻辑中逻辑联结词的总体 91
§13 命题演算系统的一个纯算术模型及其应用 94
§14 真值函数的范式与正则范式 108
§15 范式的编码 135
§16 真值函数的各种表示法（波兰式与 142
逆波兰式） 142
§17 命题演算的演绎理论 154
§18 定理证明的自动化 181
Ⅱ 谓词演算 196
§19 引言—命题演算的局限性 196
§20 命题与谓词 197
§21 命题函数（谓词公式）与量词 203
§22 自由变元与约束变元（或自由变量与 224
约束变量） 224
§23 有效公式与等价性 237
§24 谓词演算的演绎理论 254
§25 含有多个量词的谓词公式 265