1 集合基本运算

类型：并，交，补，绝对补，相对补，对称差

2 集合恒等式

目的：对集合表达式进行变换，达到集合化简

常用恒等式：幂等律，结合律，分配律，同一律，零律，排中律，矛盾律，吸收律，德.摩根律，双重否定律

例题：略

小结：常用证明方法，命题演算法，代入推导法