逻辑推理判定技法【2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载】

逻辑推理判定技法PDF格式电子书版下载

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

第一章　逻辑学的中心课题、历史进程与基本原则1

一、逻辑学的中心课题1

（一）逻辑是研究推理有效性的学科1

（二）逻辑是研究命题形式关系的学科6

二、逻辑学的历史进程9

（一）逻辑学的产生9

（二）逻辑学的发展11

（三）西方逻辑在我国的传播与弘扬15

三、逻辑学的基本原则18

（一）矛盾原则18

（二）充足理由原则20

（三）关于悖论24

第二章　命题逻辑的推理判定技法28

一、命题联结词28

（一）命题联结词的日常表达28

（二）命题联结词的真值特征33

（三）括号与主联结词43

二、重言式与有效性49

三、真值表方法及其简化54

（一）真值表方法54

（二）简化真值表方法60

（一）形式推导或证明的基本规则69

四、形式推导或证明69

（二）几个形式推导或证明的例子92

（三）条件推导或证明96

（四）间接推导或证明99

第三章　词项逻辑的推理判定技法123

一、直言命题的构成及其真值特征124

（一）直言命题的形式及其构成124

（二）直言命题的主谓项关系及其真值特征129

二、对当关系推理和换位推理132

（一）直言命题的对当关系推理132

（二）直言命题的换位推理138

（一）直言三段论推理的类型143

三、直言三段论推理的判定规则143

（二）直言三段论推理的基本判定规则146

（三）直言三段论推理的派生判定规则150

（四）直言三段论推理的有效形式153

四、直言三段论推理的还原判定方法154

五、直言三段论推理的文恩图解判定方法161

六、三段论推理判定过程中的几种相关情况分析167

第四章　谓词逻辑的推理判定技法181

一、谓词逻辑的命题表达形式182

（一）个体词、谓词和量词182

（二）量化命题在谓词逻辑中的表达186

（三）量词的辖域、约束变项和自由变项194

二、谓词逻辑推理的形式推导或证明195

三、谓词逻辑推理的转换赋值和解释方法209

（一）转换赋值方法209

（二）解释方法213

第五章　形式公理化方法219

一、公理系统和形式系统219

（一）公理系统219

（二）形式系统221

二、形式公理化方法的应用范例：命题演算223

（一）命题演算PM的出发点224

（二）定理的证明226

（三）简化证明的推演规则229

（四）定理的简化证明231

（五）命题演算的一致性、完全性和公理独立性235

三、形式公理化方法的应用范例：谓词演算237

（一）谓词演算Q-PM的出发点237

（二）定理的推演证明240

四、逻辑形式公理系统的不同形态241

（一）不同形态的命题逻辑形式公理系统242

（二）不同形态的谓词逻辑形式公理系统244

五、定义方法246

（一）内涵定义246

（二）外延定义249

（三）语词定义251

第六章　归纳方法255

一、枚举归纳法255

（一）简单枚举法255

（二）科学归纳法258

（三）完全归纳法260

二、排除归纳法263

（一）因果关系的特点263

（二）求同法267

（三）求异法269

（四）求同求异并用法271

（五）共变法274

（六）剩余法276

三、抽样和概率278

（一）抽样278

（二）概率282

四、统计归纳法287

（一）估计方法287

（二）假说检验方法295

五、关于归纳的合理性问题302

主要参考书目305

后记307