离散--第一节--逻辑符号 + 集合及其运算 + 证明方法概述

包含(子集)AB x(xAxB)
不包含A⊈B x(xAxB)
相等A=BABBA
不相等ABA⊈BB⊈A

真包含(真子集)ABAB A B

并AB= { x|xAxB}
交 AB= { x|xAxB}
相对补 AB= { x|xAxB}    属于A 不属于B 
对称差 AB= (AB)(BA) = (AB)(AB)      属于A 不属于B 的并上属于B 不属于A 的。
绝对补 A =EA= { x|xA}    求A在E里面的补集。

3.结合律 (AB)C=A(BC)
(AB)C=A(BC)
4. 分配律 A(BC)=(AB)(AC)
A(BC)=(AB)(AC)
5. 德摩根律
绝对形式 (BC)=BC,(BC)=BC
相对形式 A(BC)=(AB)(AC)
A(BC)=(AB)(AC)
6.吸收律A(AB)=A, A(AB)=A
7. 零律AE=E, A=
8. 同一律A=A, AE=A
9. 排中律AA=E
10. 矛盾律AA=
11. 余补律=E,E=
12. 双重否定律 A=A
13. 补交转换律A-B=AB
14.关于对称差的恒等式

(1)交换律AB=BA
(2)结合律(AB)C=A(BC)
(3) 对的分配律A(BC)=(AB)(AC)
(4) A=A