基本证明方式（1) ·直接使用集合包含或相等定义 口例1：AUB=B→AcB 口例2：AcB→A∩B=A 例1，待证结论：AcB 因此：证明过程如下： 即：对任何XX∈A→X∈B 对任何x,假设x∈A 因此：证明过程如下： 由集合并定义：x∈AUB 对任何x,假设x∈A 由已知条件：AUB=B <填入适当内容> ∴.X∈B ∴.X∈B 因此：AcB 因此：AcB基本证明方式（1） ◼ 直接使用集合包含或相等定义 ❑ 例1：𝐴 ∪ 𝐵 = 𝐵 ⇒ 𝐴𝐵 ❑ 例2：𝐴𝐵 ⇒ 𝐴 ∩ 𝐵 = 𝐴 例1，待证结论：AB 即：对任何x, xA  xB 因此：证明过程如下： 对任何x, 假设xA <填入适当内容> x B 因此： AB 因此：证明过程如下： 对任何x, 假设xA 由集合并定义：𝑥𝐴 ∪ 𝐵 由已知条件：𝐴 ∪ 𝐵 = 𝐵 x B 因此： AB