《逻辑代数入门 大学下放课程辅导》求取 ⇩

目录1

引言1

逻辑代数简史1

第一章 集合代数1

§1 集合1

怎样学习逻辑代数3

怎样使用这本书4

§2 封氏图6

§3 集的和8

§4 集的交10

§5 分配律12

§6 余集14

§7 运算律　对偶性19

§8 多项式　因式分解24

习题一26

第二章 开关代数29

§1 开关的状态29

§2 开关的并联30

§3 开关的串联31

§4 同态开关　等效开关组32

§5 反相器35

§6 运算律　对偶性39

§7 逻辑代数式和逻辑线路图41

§8 化简43

§9 求给定状态表的代数式47

§10 逻辑线路的设计50

习题二55

第三章　逻辑代数59

§1 命题60

§2 命题的逻辑和（析取）62

§3 命题的逻辑积（合取）63

§4 命题的否定65

§5 等于66

§6 蕴含69

§7 逻辑联结词的够用性72

§8 作为辑逻联结词的“蕴含”75

§9 作为辑逻联结词的“等价”78

§10 逻辑代数式的范式80

§11 永真式和永假式的判定82

§12 四种命题83

§13 推理85

§14 间接证法89

习题三95

第四章　布尔代数99

§1 布尔代数的定义99

§2 公理系统的相容性101

§3 由公理推出的重要公式102

§4 公理系统的独立性106

§5 代数式的一种固定表达式109

§6 公理系统的完备性116

习题四119

习题解答121