图书介绍

高等院校文科试用教材 数理逻辑讲义【2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载】

高等院校文科试用教材 数理逻辑讲义
  • 刘治旺，邵春林，毕富生，赵哈黎编 著
  • 出版社：
  • ISBN：
  • 出版时间：1982
  • 标注页数：290页
  • 文件大小：7MB
  • 文件页数：298页
  • 主题词：

PDF下载


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

下载说明

高等院校文科试用教材 数理逻辑讲义PDF格式电子书版下载

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

点击复制85GB完整离线版磁力链接到迅雷FDM等BT下载工具进行下载  详情点击-查看共享计划
建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！

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

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

图书目录

目录1

绪论1

第一章 命题逻辑的初步讨论23

§1.1 命题和命题变元23

§1.2 命题联结词27

§1.3 命题公式37

§1.4 判定重言式的几种逻辑方法49

※§1.5 范式57

第二章 命题推理70

§2.1 概述70

§2.2 命题自然推理——NP系统77

§2.3 命题的协调性及其证明88

※§2.4 命题的公理推理——PM系统93

※§2.5 关于命题逻辑的元逻辑讨论102

第三章 谓词逻辑的初步讨论113

§3.1 个体词和谓词113

§3.2 量词和谓词公式118

※§3.3 摹状词125

§3.4 谓词公式的真假及其解释129

第四章 谓词的自然推理139

§4.1 关于全称量词的推理规则139

§4.2 关于存在量词的推理规则144

§4.3 一阶谓词的自然推理——LNP系统149

§4.4 LNP系统的导出规则159

§4.5 带等词的一阶谓词自然推理166

※第五章 谓词逻辑的公理系统174

§5.1 狭谓词演算的公理系统174

§5.2 Q—PM公理系统的定理和推演规则178

§5.3 谓词演算公理系统元逻辑讨论186

§5.4 非形式证明的方法199

第六章 集合210

§6.1 集合与集合的元素210

§6.2 集合之间的基本关系214

§6.3 子集220

§6.4 集合的运算222

§6.5 自然语言的符号化226

§6.6 文恩图解232

§6.7 集合代数（论定理的证明）244

※第七章 关系的理论261

§7.1 序偶261

§7.2 关系264

§7.3 二项关系的性质267

§7.4 等价关系272

§7.5 次序关系274

§7.6 关系的运算281

附录：286

名称的使用和提及286

参考文献290

热门推荐