逻辑代数讲义 附：集合论讲义上册习题解答PDF电子书下载

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