§1 命题 1
第一章 数理逻辑 1
§2 真值表技术 14
§3 等值公式与永真蕴涵式 18
§4 合取范式与析取范式 28
§5 推导过程 39
§6 谓词与量词 49
习题 66
第二章 矩阵 71
§1 矩阵的概念 71
§2 矩阵的运算 76
§3 逆矩阵 88
§4 线性方程组 98
习题 108
§1 集合的概念 111
第三章 集合 111
§2 集合的运算 118
§3 集合运算的基本定律 123
§4 集合的直积 131
§5 集合论的悖论 134
§6 多重集合 136
习题 137
第四章 关系函数与基数 140
§1 关系 140
§2 等价关系与相容关系 152
§3 偏序关系与全序关系 162
§4 复合关系与逆关系 169
§5 函数 172
§6 集合的基数 186
习题 199