《现代逻辑基础》求取 ⇩

第一章导论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