《符号逻辑基础》求取 ⇩

目录1

前言……………………………………………………………（iii）第一章绪论1

1.1 命题及其逻辑关系1

2.2真值表和真值函数 （43

2.5联结词集的完备性 （73

1.2联结词和量词5

1.3 逻辑真理和逻辑推论9

1.4词项和定义12

1.5公理系统和形式系统18

1.6传统形式逻辑24

1.7 现代形式逻辑30

第二章命题逻辑37

2.1命题联结词和复合命题37

2.3重言式53

2.4重言蕴涵和可有效推演64

2.6对偶和范式79

第三章命题演算92

3.1命题语言？092

3.2命题演算P102

3.3 P的可靠性和完备性116

3.4命题演算PN129

3.5P与PN的等价性141

第四章一阶谓词逻辑150

4.1量词和谓词150

4.2一阶语言？164

4.3？的语义171

4.4？的语义（续）184

4.5 一阶谓词演算F207

4.6 F的可靠性和完备性220

4.7F的完备性（续）231

4.8 一阶谓词演算FN248

参考文献267