数理逻辑导论pdf电子书版本下载

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

数理逻辑导论PDF格式电子书版下载

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

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

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

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

绪言 1

第一篇　命题演算 11

第一章　真值联结词 12

1．命题及联结词 12

2．指派与同真假性 16

3．真值函数的作出 22

4．联结词的归约 28

5．真假指派的决定 30

6．范式的化简 35

7．同永真性与同可满足性 41

第二章　命题演算的公理系统 44

8．建立公理系统的必要性 44

9．关于公理系统的一般注意 48

10．命题演算永真公式的公理系统 61

11．重要定理的推演 68

12．推理定理与日常推理过程 89

13．关于命题演算公理系统的讨论 98

14．直觉系统逻辑的判定过程 103

15．模态逻辑与多值逻辑 109

第二篇　谓词演算 117

第三章　量词与摹状词 118

16．个体、谓词及函数 118

17．变元 123

18．量词 130

19．摹状词 136

20．自由与约束 143

21．改名与代入 147

22．个体域与指派 157

23．同真假性 164

24．永真性与可满足性 172

25．同永真性与同可满足性 182

第四章　狭义谓词演算永真公式的公理系统 196

26．公理系统及若干注意 196

27．重要定理的推演 207

28．公理系统的另一表述 230

29．推理定理和日常推理的讨论 235

30．关于上述公理系统的讨论 243

31．模态谓词演算与多值谓词演算 248

第三篇　谓词演算（续） 251

第五章　约束谓词演算 252

32．有没有高级谓词及高级函数 252

33．个体域、谓词域及主要指派 264

34．同真假性 270

35．次要永真公式的公理系统 276

第六章　应用谓词演算 284

36．应用谓词演算总论 284

37．应用谓词演算与构造论逻辑 291

38．同异性演算 296

39．集合论演算 303

第七章　全总谓词演算 327

40．全总谓词演算的结构 327

41．向典型形式系统的化归 331

42．典型形式系统化归为约束词演算及λ换位演算 334

43．λ换位演算化归为组合逻辑 343

参考文献 357