主观题:集合等式证明
集合等式证明。
$(A-B)-C = A - (B\cup C)$
答案:证明:
方法1:$(A-B)-C = A\cap\sim B\cap\sim C = A\cap\sim(B\cup C)= A - (B\cup C)$
方法2:$\forall x\in(A−B)−C⇔\forall x\in A∧\forall x\notin B∧\forall x\notin C⇔\forall x\in A∧\forall x\notin(B∪C)⇔A−(B∪C)$
$(A-B)-C = A - (B\cup C)$
答案:证明:
方法1:$(A-B)-C = A\cap\sim B\cap\sim C = A\cap\sim(B\cup C)= A - (B\cup C)$
方法2:$\forall x\in(A−B)−C⇔\forall x\in A∧\forall x\notin B∧\forall x\notin C⇔\forall x\in A∧\forall x\notin(B∪C)⇔A−(B∪C)$