数理逻辑、集合PDF电子书下载

§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