图书介绍

数理逻辑2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载

毕富生著著
出版社：北京：高等教育出版社
ISBN：7040137984
出版时间：2004
标注页数：248页
文件大小：7MB
文件页数：259页
主题词：数理逻辑－高等学校－教材

PDF下载

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

点击复制MD5值：e8f6b2452499abd28ff9fd1498f7163b

下载说明

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

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

点击复制85GB完整离线版磁力链接到迅雷FDM等BT下载工具进行下载详情点击-查看共享计划

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

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

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

图书目录

第一章绪论1

第一节数理逻辑的研究对象和主要内容2

第二节数理逻辑的发展概况8

第三节数理逻辑的科学意义15

第二章命题逻辑21

第一节命题与命题形式21

第二节命题联结词28

第三节真值函项和有关真值函项的两个定理35

第四节命题的符号化39

第五节重言式及其验证41

第六节范式49

第一节演算的两个主要准则和命题解释62

第三章命题演算62

第二节命题演算的推导规则68

第三节命题演算的自然推理系统76

第四节前提的协调性及其判定方法95

第四章命题演算的公理系统101

第一节公理和公理方法101

第二节形式公理系统的主要性质106

第三节命题演算的公理系统——PM系统110

第四节命题演算的元逻辑问题116

第五章谓词逻辑128

第一节个体词、谓词和量词128

第二节谓词公式133

第三节摹状词138

第四节谓词公式的真假及其解释141

第六章谓词演算153

第一节关于全称量词的规则153

第二节关于存在量词的规则158

第三节量词的交换163

第四节关于量词规则的限制166

第五节关于等词的规则169

第六节逻辑定理174

第七节谓词演算的导出规则179

第八节谓词演算的自然推理系统186

第一节谓词演算的公理系统193

第七章谓词演算的公理系统193

第二节谓词演算公理系统的定理和推197

演规则197

第三节谓词演算公理系统元逻辑讨论204

第八章集合217

第一节集合与集合的元素217

第二节集合之间的基本关系221

第三节子集226

第四节集合的运算227

第五节自然语言的符号化230

第六节文恩图解235

参考文献248