《逻辑代数讲义 附：集合论讲义上册习题解答》

第一章 中学教学中的集合论知识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