第一章 中学教学中的集合论知识 1
前言 1
1 数集合的区分与总括 2
2 不等式及其解集合 5
3 轨迹问题及其曲经方程 6
4 函数 6
5 排列、组合与数学归纳法 6
第二章 布尔代数 7
1 格 7
2 布尔代数的定义 11
3 二元布尔代数 13
4 B的一些运算性质与逻辑线路的化简 16
5 蕴涵式 19
6 无穷布尔代数 22
1 命题 24
第三章 命题演算 24
2 命题连接词 25
3 形式规则 27
4 推理规则 30
5 一些形式定理 32
6 可证命题 44
7 赋值、真值表与永真公式 49
第四章 谓词演算 52
1 问题的提出 52
2 形成规则 52
3 推理规则 54
4 一些形式定理 55
5 前束范式 66
附录 集合论讲义上册习题解答 73
1 期中测验题及解答 75