当前位置：数理逻辑引论pdf电子书下载 > 数理化
- 作 者：马振华编著
- 出 版 社：北京：清华大学出版社
- 出版年份：1982
- ISBN：
- 标注页数：273 页
- PDF页数：281 页
请阅读订购服务说明与试读!
订购服务说明
1、本站所有的书默认都是PDF格式，该格式图书只能阅读和打印，不能再次编辑。
2、除分上下册或者多册的情况下，一般PDF页数一定要大于标注页数才建议下单购买。【本资源281 ≥273页】
图书下载及付费说明
1、所有的电子图书为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。
2、电子图书在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)
3、所有的电子图书都是原书直接扫描方式制作而成。
目录 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