5
$\begingroup$

Prove: $(A\cup B) \cap C \subseteq A\cup (B\cap C)$

How could I go about proving this?

$\endgroup$
6
$\begingroup$

Suppose $x \in (A\cup B) \cap C$. Then $x\in C$ and $x\in A\cup B$.

Either $x\in A$ or $x\in B$. If it is in $A$ then it is in $A\cup (B\cap C)$. If it is in $B$ then it is in $B\cap C$, and we are done.

$\endgroup$
5
$\begingroup$

One possible way is to rewrite it as $$ [(x\in A \lor x\in B)\land x\in C] \Rightarrow [x \in A \lor (x\in B \land x\in C)]$$ and to verify that $[(p\lor q)\land r] \Rightarrow [p\lor (q\land r)]$ is a tautology.

Another way is using Venn diagrams. (See a little don's answer or wikipedia.)

Another possibility is use some facts you've already learned, like: $A\cap C\subseteq A$ implies $(A\cap C) \cup (B\cap C)\subseteq A\cup (B\cap C)$ and $(A\cap C) \cup (B\cap C)=(A\cup B)\cap C$.

$\endgroup$
4
$\begingroup$

Label each of the seven possible sections.

enter image description here

Determine which of those are in (A ∪ B) ∩ C, then which are in A ∪ (B ∩ C).

Every section on the list for (A ∪ B) ∩ C should be on the list for A ∪ (B ∩ C).

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.