数学逻辑引论

作者：马振华著
出版社：北京：清华大学出版社
出版年份：1982
ISBN：15235·60
注意：在使用云解压之前，请认真核对实际PDF页数与内容!

在线云解压
价格(点数)
购买连接
说明

转为PDF格式
10
立即购买
（在线云解压服务）

云解压服务说明

1、本站所有的云解压默认都是转为PDF格式，该格式图书只能阅读和打印，不能再次编辑。

云解压下载及付费说明

1、所有的电子图书云解压均转换为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。

2、云解压在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)

Ⅰ 命题演算 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

17 命题演算的演绎理论 154

18 定理证明的自动化 181

Ⅱ 谓词演算 196

19 引言--命题演算的局限性 196

20 命题与谓词 197

21 命题函数(谓词公式)与量词 203

22 自由变元与约束变元(或自由变量与约束变量) 224

23 有效公式与等价性 237

24 谓词演算的演绎理论 254

25 含有多个量词的谓词公式 265