Question #76361

Prove that
A − (B ∪ C) = (A − B) ∩ (A − C),

Expert's answer

Answer on Question #76361 – Math – Discrete Mathematics

Question

Prove that A(BC)=(AB)(AC)A - (B \cup C) = (A - B) \cap (A - C).

Proof

To prove the given equality of sets, we take an arbitrary element from the left set and show that it lies in the right set and vice versa.

Let aA(BC)a \in A - (B \cup C). Then aAa \in A and a(BC)a \notin (B \cup C). The relation a(BC)a \notin (B \cup C) means that aBa \notin B and aCa \notin C at the same time. Therefore, we have that aAa \in A and aBa \notin B and C\notin C, i.e. aABa \in A - B and aACa \in A - C. The last statement means that a(AB)(AC)a \in (A - B) \cap (A - C). Consequently, A(BC)(AB)(AC)A - (B \cup C) \subset (A - B) \cap (A - C).

Let now a(AB)(AC)a \in (A - B) \cap (A - C). Then aABa \in A - B and aACa \in A - C, i.e. aAa \in A and aBa \notin B and aCa \notin C. The statements aBa \notin B and aCa \notin C means that a(BC)a \notin (B \cup C). In this way, we have that aAa \in A and a(BC)a \notin (B \cup C). Therefore, aA(BC)a \in A - (B \cup C).

This, in turn, gives (AB)(AC)A(BC)(A - B) \cap (A - C) \subset A - (B \cup C).

Finally, from inclusions A(BC)(AB)(AC)A - (B \cup C) \subset (A - B) \cap (A - C) and


(AB)(AC)A(BC) it follows that A(BC)=(AB)(AC).(A - B) \cap (A - C) \subset A - (B \cup C) \text{ it follows that } A - (B \cup C) = (A - B) \cap (A - C).


Answer provided by https://www.AssignmentExpert.com

Need a fast expert's response?

Submit order

and get a quick answer at the best price

for any assignment or question with DETAILED EXPLANATIONS!

LATEST TUTORIALS
APPROVED BY CLIENTS