基本证明方式(4) ■循环证明一系列逻辑等值式 口AUB=B台AcB台A∩B=A←台A-B=0 (1) (2) (3) (4) 口对于上述等价命题序列，我们只需要证明： (1)→(2)→(3)→(4)→(1) 口在以上例子的基础上，只要再证明： ■A-B=0→AUB=B。 注意：AUB=(AUB)∩E=(AUB)∩(BUB) =(A∩~B)UB=B基本证明方式（4） ◼ 循环证明一系列逻辑等值式 ❑ 𝐴 ∪ 𝐵 = 𝐵 ⇔ 𝐴𝐵 ⇔ 𝐴 ∩ 𝐵 = 𝐴 ⇔ 𝐴 − 𝐵 = ∅ ❑ 对于上述等价命题序列，我们只需要证明： (1)  (2)  (3)  (4)  (1) ❑ 在以上例子的基础上，只要再证明： ◼ 𝐴 − 𝐵 = ∅ ⇒ 𝐴 ∪ 𝐵 = 𝐵。 ◼ 注意：𝐴 ∪ 𝐵 = 𝐴 ∪ 𝐵 ∩ 𝐸 = 𝐴 ∪ 𝐵 ∩ (~𝐵 ∪ 𝐵) = 𝐴 ∩ ~𝐵 ∪ 𝐵 = 𝐵 (1) (2) (3) (4)