《离散数学习题集 数理逻辑与集合论分册》

第一章命题逻辑1

1.1 命题符号化及联结词1

1.2 命题公式及分类5

1.3 等值演算11

1.4 联结词全功能集14

1.5 对偶与范式17

1.6 推理理论23

2.1 一阶逻辑基本概念30

第二章一阶逻辑30

2.2 一阶逻辑合式公式及解释35

2.3 一阶逻辑等值式42

2.4 一阶逻辑推理理论47

第三章集合及其运算58

3.1 集合的基本概念58

3.2 集合的运算64

第四章二元关系79

4.1 二元关系的概念及其性质79

4.2 关系的幂和闭包运算90

4.3 等价关系与相容关系96

4.4 序关系103

第五章函数111

5.1 函数的概念及性质111

5.2 函数的合成及反函数117

*5.3 鸽巢原理124

第六章自然数与基数127

6.1 自然数127

6.2 基数130

解答与提示136

第一章136

第二章186

第三章231

第四章269

第五章337

第六章364

参考书目382