第一章 数理逻辑 1
1 命题 1
2 真值表技术 14
3 等值公式与永真蕴涵式 18
4 合取范式与析取范式 28
5 推导过程 39
6 胃词与量词 49
习题 66
第二章 矩阵 71
1 矩阵的概念 71
2 矩阵的运算 76
3 逆矩阵 88
4 线性方程组 98
习题 108
第三章 集合 111
1 集合的概念 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