包邮离散数学：上

**章 命题逻辑基本概念
1 命题符号化
2 合式公式与真值函数
习题一
第二章 命题逻辑等值演算
1 等值关系
2 联结词的全功能集
3 析取范式与合取范式
习题二
第三章 命题逻辑自然推理
1 推理的形式结构
2 自然推理系统P
3 证明方法
习题三
第四章 命题逻辑公理系统
1 公理系统与形式系统
2 公理系统L
L的演绎定理
L的性质
习题四
第五章 一阶逻辑基本概念
1 一阶逻辑命题符号化
2 一阶语言
3 解释与赋值
4 真与逻辑有效
习题五
第六章 一阶逻辑等值演算
1 一阶逻辑等值式
2 置换规则
3 前束范式
习题六
第七章 一阶逻辑的形式推理
1 推理定律
2 自然推理系统F
3 公理系统K
4 K的性质
习题七
第八章 集合代数
1 集合的基本概念
2 集合的运算
3 集合恒等式
习题八
第九章 二元关系
第十章 函数
第十一章 集合的基数
第十二章 公理集合论简介
参考书目
部分习题的提示或解答