《数理逻辑基础知识 上》

第—章传统逻辑专数理逻辑4

逻辑学4

传统逻辑6

数理逻辑8

数学基础问题11

推理和演算14

逻辑演算18

元逻辑21

第二章集合及其关系25

集合及其元素25

集合的两种描述法27

全集和空集31

属于关系32

集合之间的基本关系35

相交关系38

包含关系41

子集43

文思图47

小结50

第三章集合的运算和集合代数61

集合的并61

集合的交64

集合的余和补68

集合之间的关系与集合的运算73

全集和空集的性质·其他重要定律79

德·摩根律和对偶原则83

集合代数的—个公理系统86

这个公理系统的定理92

第四章传统直言逻辑分类逻辑代数98

概念98

直言命题102

存在问题108

类逻辑代数112

类逻辑代数对其他一些问题的解决123

个体问题128

数理逻辑对个体问题的处理133

第五章复合命题和命题逻辑139

复合命题139

真值表和真值表方法143

重言式和归谬赋值法154

命题运算和真值运算162

命题函项和真值函项168

第六章从命题代数到开关代数177

命题代数和真值代数177

对逻辑代数的进一步的讨论186

布尔代数201

开关代数209