现代逻辑基础pdf电子书版本下载

点此进入-本书在线PDF格式电子书下载【推荐-云解压-方便快捷】直接下载PDF格式图书。移动端-PC端通用
下载压缩包 [复制下载地址] 温馨提示：（请使用BT下载软件FDM进行下载）软件下载地址页

现代逻辑基础PDF格式电子书版下载

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

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

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

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

第一章 导论 1

第一节 什么是现代形式逻辑 1

第二节 为什么要学习现代形式逻辑 6

第二章 自然演绎 11

第一节 概述 11

第二节 假言(蕴涵式)论证的有效形式 14

第三节 选言(析取式)论证的有效形式 18

第四节 联言(合取式)论证的有效形式 22

第五节 否定式论证的有效形式 23

第六节 全称量化论证的有效形式 26

第七节 特称量化论证的有效形式 33

第一节 概述 40

第三章 命题演算(上) 40

第二节 命题演算的基本概念 42

第三节 复合命题的形式与真假 47

第四节 真值函应 50

第五节 真值表 55

第六节 重言式与矛盾式 63

第四章 命题演算(下) 70

第一节 公理系统和形式系统 70

第二节 命题演算的初始符号与规则 72

第三节 命题演算的定义、公理与定理 78

第五章 词项演算(上)——类演算 85

第一节 概述 85

第二节 类演算的基本概念 87

第三节 类演算之文氏(Venn)图解 96

第四节 类演算的基本公设、定义与推演规则 100

第五节 类演算定理的推演 102

第六节 类演算与古典逻辑的形式化 108

第六章 词项演算(下)——谓词演算 115

第一节 概述 115

第二节 谓词演算的基本概念 117

第三节 谓词演算的命题形式和推理形式 128

第四节 谓词演算的公理系统 134

第五节 公理系统的相容性、完备性性和独立性 142

第七章 形式化证明(上)——演绎证明中的定义与逻辑等值 145

第一节 定义及其运用 145

第二节 逻辑等值 151

第三节 逻辑等值在有效证明中的运用 155

第一节 有效性之真值表验证 161

第八章 形式化证明(中)——真值表验证 161

第二节 真值表之归谬法验证 163

第三节 相容性之真值表验证 169

第四节 量化论证之真值表验证 173

第九章 形式化证明(下)——条件有效证明与间接证明 176

第一节 条件有效证明 176

第二节 间接有效证明 179

第三节 量化论证之条件与间接验证 183

第十章 现代形式逻辑的历史发展 187

第一节 初创阶段 187

第二节 全面确立时期 193

第三节 理论的扩展、深化阶段 195

后记 199