数理逻辑基础PDF电子书下载

第一章　命题演算 1

1·1　命题与命题联结词 1

1·2　命题公式 8

1·3　命题公式的等价关系 12

1·4　置换律和对偶律 16

1·5　永真公式的蕴含 21

1·6　命题联结词的扩充及其功能充备集 26

1·7　范式 32

1·8　命题演算演绎推理 40

第二章　谓词逻辑 50

2·1　个体与谓词 51

2·2　量词 53

2·3　自由变换和约束变元 56

2·4　谓词公式的等价关系和永蕴关系 59

2·5　谓词演算的演绎推理举例 68

习题 69

习题一 69

习题二 81