《数理逻辑（离散数学一分册）》求取 ⇩

第一章　预备知识1

§1.1　集合论的基本概念1

§1.2　关系和函数5

§1.3　集合的势8

§1.4　形式系统18

练习一23

第二章　命题逻辑25

§2.1　命题和联结词25

§2.2　命题形式和真值表31

§2.3　联结词的完全集36

§2.4　推理形式41

§2.5　命题演算的自然推理形式系统N45

§2.6　命题演算形式系统P64

§2.7　N与P的等价性76

§2.8　赋值79

§2.9　可靠性、和谐性与完备性95

练习二98

第三章　一阶谓词演算105

§3.1　一阶谓词演算的符号化106

§3.2　一阶语言112

§3.3　一阶谓词演算的自然推演形式系统N？120

§3.4　一阶谓词演算的形式系统K？136

§3.5　N？与K？的等价性143

§3.6　K？的解释与赋值146

§3.7　K？的可靠性与和谐性165

§3.8　K？的完全性171

练习三183

第四章　消解原理188

§4.1　命题公式的消解188

§4.2　Herbrand定理196

§4.3　代换与合一代换206

§4.4　一阶谓词公式的消解212

练习四221

第五章　直觉主义逻辑223

§5.1　直觉主义逻辑的直观介绍224

§5.2　直觉主义的一阶谓词演算的自然推演形式系统227

§5.3　直觉主义一阶谓词演算形式系统IK？241

§5.4　直觉主义逻辑的克里普克（Kripke）语义244

§5.5　直觉主义逻辑的完备性253

练习五261

参考书目263

符号表264

术语索引　Index268