基本证明方式(4) ·循环证明一系列逻辑等值式 口AUB=B→AcB→A∩B=A→A-B=b (1) (2) (3) (4) 口对于上述等价命题序列，我们只需要证明： (1)→(2)→(3)→(4)→(1) 口在以上例子的基础上，只要再证明： ■A-B=b→AUB=B。 ■注意：AUB=(AUB)∩E=(AUB)⌒(~BUB) =(A~B)UB=B基本证明方式（4）  循环证明一系列逻辑等值式  AB=B  AB  AB=A  A-B=  对于上述等价命题序列，我们只需要证明： (1)  (2)  (3)  (4)  (1)  在以上例子的基础上，只要再证明：  A-B=  AB=B。  注意：AB= (AB) E=(AB) (BB) =(AB)B = B (1) (2) (3) (4)