整理思想碎片的程序 理性思维的逻辑方法pdf电子书版本下载

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

整理思想碎片的程序 理性思维的逻辑方法PDF格式电子书版下载

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

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

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

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

前言 1

第一章 语言分析与形式表述 1

第一节 语言分析概述 2

第二节 形式表述概述 14

第二章 直言命题与推理 23

第一节 语句与命题 23

第二节 直言命题的定义与类型 24

第三节 某些重要词项的逻辑含义 26

第四节 直言命题中词项的周延性 28

第五节 直言命题的推理 29

第六节 直言命题的图示 32

第七节 直言命题的换位、换质与换质位 35

第三章 直言三段论推理 40

第一节 直言三段论的构成 40

第二节 直言三段论的格和式 41

第三节 直言三段论推理有效性的文恩图检验 43

第四节 直言三段论的规则及谬误 46

第五节 直言三段论推理的问题 51

第四章 命题逻辑符号化与逻辑句法 57

第一节 真值函项联结词 57

第二节 五种基本复合命题及真值表 59

第三节 应用与代换规则 67

第四节 范式 71

第五节 联结词的完备集 74

第六节 推理形式与有效性 77

第五章 命题逻辑自然推演法及公理系统 81

第一节 自然推演规则 83

第二节 推演规则的应用及系统内定理 85

第三节 自然推演式中的目标分析法 88

第四节 公理推演系统L 95

第五节 其他命题演算公理系统简介 101

第六节 命题演算系统S的一个概率模型 102

第六章 谓词逻辑形式与方法 111

第一节 个体词与谓词 112

第二节 变项与量词 114

第三节 约束变项与自由变项 118

第四节 谓词公式 121

第五节 谓词逻辑的等价式 126

第七章 谓词逻辑自然推演式及公理系统 129

第一节 全称量词的推理规则 130

第二节 存在量词的推理规则 135

第三节 谓词逻辑的公理系统 141

第四节 摹状词简介 147

第八章 概率逻辑形式及应用 152

第一节 概率的两种定义 153

第二节 概率论与逻辑 155

第三节 语句的逻辑概率演算 158

第四节 作为置信度解释的贝叶斯公式 166

术语汇编 176