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

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

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

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

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

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

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

前言页 1

绪论 1

1 数理逻辑 1

2 预备知识 5

第一章 命题逻辑 20

1 复合命题 联结词 20

2 真值联结词 真值形式 23

3 命题形式 真值表方法 32

4 真值函数 重言式 40

5 重言后承 推理的形式结构 48

6 联结词的可定义性、完全性和独立性 58

7 等值 对偶性 范式 65

第二章 命题演算 92

1 形式系统 92

2 命题演算P的语言及其语法 100

3 P的公理和推理规则 112

4 演绎定理 123

5 P中定理的证明（续） 137

6 赋值 重言式 149

7 P的可靠性和协调性 153

8 P的弱完全性 157

9 P的强完全性 161

10 公理的独立性 166

11 命题逻辑的其它公理系统 171

12 命题逻辑的自然推理系统 174

第三章 一阶谓词逻辑 184

1 个体词 谓词 函数词 184

2 变元和量词 186

3 自由变元和约束变元 193

4 谓词逻辑的命题形式 195

5 一阶语言 203

6 一阶语言的语义 212

7 代入 221

8 表列方法 233

9 范式 249

第四章 一阶谓词逻辑（续） 259

1 一阶谓词演算 259

2 定理的推演 导出规则 262

3 演绎定理 268

4 定理的推演（续）对偶原则 273

5 可靠性和协调性 280

6 完全性 283

7 带等词的一阶谓词演算 292

8 模型论初步 311