目录


第1章命题逻辑1
1.1命题与表示1
1.2联结词3
1.3命题公式与真值表示6
1.4对偶与范式10
1.5推理15
1.6联结词功能集19
1.7习题21

第2章谓词逻辑25
2.1谓词与命题函数25
2.2谓词公式与翻译27
2.3前束范式31
2.4谓词推理33
2.5习题34

第3章集合论37
3.1集合与表示37
3.2集合运算39
3.3集合的计数与划分44
3.4集合的基数47
3.5习题49

第4章二元关系53
4.1关系及其表示53
4.2关系的性质57
4.3关系的等价63
4.4序关系65
4.5函数67
4.6习题71

第5章图论75
5.1图的概念75
5.2路与回路80
5.3图的矩阵形式83
5.4欧拉图与哈密顿图87
5.5平面图与着色89
5.6无向树与生成树93
5.7有向树与应用95
5.8习题100

附录习题解答105
第1章命题逻辑105
第2章谓词逻辑110
第3章集合论112
第4章二元关系115
第5章图论118