逻辑学教程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　逻辑的作用 10

§3　逻辑发展简史 15

第二章　非形式的命题逻辑 20

§1　命题和联结词 20

§2　真值表方法　真值函数 26

§3　真值函数可定义性 联结词的完全性与独立性 31

§4　重言式的逻辑分析 36

§5　推理的有效性重言后承 40

§6　范式 46

练习题 57

第三章　命题演算 60

§1　形式系统概述 60

§2　命题演算系统P的结构 65

§3　P的内定理的证明 68

§4　演绎定理及其应用 75

§5　P的定义式定理 84

§6　P的元理论 93

§7　命题演算自然推理系统PN 101

练习题 107

第四章　传统谓词逻辑 111

§1　概念 112

§2　性质命题 119

§3　性质命题直接推理 127

§4　三段论 132

练习题 141

第五章　非形式的一阶谓词逻辑 144

§1　从传统谓词逻辑到现代谓词逻辑 144

§2　命题的一阶谓词逻辑分析 148

§3　一阶谓词语言L1的语法和语义 157

§4　代入和字母变易 165

§5　前束范式 172

练习题 178

第六章　一阶谓词演算 181

§1　一阶谓词演算系统F的构成 181

§2　F的导出规则 184

§3　演绎定理及其应用 196

§4　F的元理论 200

§5 带等词的一阶谓词演算系统F′ 204

练习题 210

§1　模态逻辑概述 212

第七章　模态逻辑 212

§2　非形式的模态命题逻辑 216

§3　模态命题演算公理系统 221

§4 能世界语义学 231

§5　模态命题逻辑元理论 236

§6　模态谓词逻辑 240

练习题 245

§1　归纳逻辑概述 248

第八章　归纳逻辑 248

§2　枚举归纳推理 253

§3　科学归纳推理与典型归纳推理 256

§4　求因果联系归纳推理 260

§5　类比推理 268

§6　概率推理 270

§7　统计推理 276

练习题 281

第九章　语用逻辑 286

§1　语境 286

§2　言语行为 295

§3　隐涵 305

§4　预设 312

练习题 325

主要参考书目 328

后记 330