《数学逻辑引论》求取 ⇩

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

1982《数学逻辑引论》由于是年代较久的资料都绝版了,几乎不可能购买到实物。如果大家为了学习确实需要,可向博主求助其电子版PDF文件(由马振华著 1982 北京:清华大学出版社 出版的版本) 。对合法合规的求助,我会当即受理并将下载地址发送给你。

高度相关资料

数理逻辑导引(1990 PDF版)
数理逻辑导引
1990 北京:中国社会科学出版社
逻辑与数学逻辑论(民国16.12 PDF版)
逻辑与数学逻辑论
民国16.12 商务印书馆
数理逻辑引论(1994 PDF版)
数理逻辑引论
1994
逻辑引论(1994 PDF版)
逻辑引论
1994 北京:中央民族大学出版社
数理逻辑引论(1991 PDF版)
数理逻辑引论
1991 哈尔滨:哈尔滨工业大学出版社
数理逻辑概论(1992 PDF版)
数理逻辑概论
1992 北京:中共中央党校出版社
数理逻辑引论(1982 PDF版)
数理逻辑引论
1982 北京:清华大学出版社
普通逻辑引论(1999 PDF版)
普通逻辑引论
1999 济南:山东人民出版社
中学数学教材教法总论(1980 PDF版)
中学数学教材教法总论
1980 北京:人民教育出版社
哲学逻辑引论(1990 PDF版)
哲学逻辑引论
1990 北京:中国社会科学出版社
逻辑哲学引论(1990 PDF版)
逻辑哲学引论
1990 北京:人民出版社
现代逻辑引论(1989 PDF版)
现代逻辑引论
1989 上海:上海人民出版社
数理逻辑引论(1982 PDF版)
数理逻辑引论
1982 北京:北京大学出版社
模态逻辑引论(1986 PDF版)
模态逻辑引论
1986 上海:上海人民出版社
逻辑学引论(1988 PDF版)
逻辑学引论
1988 上海:华东师范大学出版社