数学逻辑引论pdf电子书版本下载

点此进入-本书在线PDF格式电子书下载【推荐-云解压-方便快捷】直接下载PDF格式图书。移动端-PC端通用
种子下载[BT下载速度快] 温馨提示：（请使用BT下载软件FDM进行下载）软件下载地址页 直链下载[便捷但速度慢]   [在线试读本书]   [在线获取解压码]

数学逻辑引论PDF格式电子书版下载

下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。

建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如 BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！

（文件页数 要大于 标注页数，上中下等多册电子书除外）

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

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