Prove that (A U B)' = A ∩ B'
My proof
Let x ∈ (A U B)'
So x ∈/ A or B
x∈/A→x∈ A' and x∈/B→x∈B'
Therefore
x∈ A' ∩ B'
Still Need Help?
Join the QuestionCove community and study together with friends!
Sign Up
OpenStudy (anonymous):
A'(INTERSECTION)B'
OpenStudy (anonymous):
right
OpenStudy (anonymous):
ITS A IDENTITY A UNION B COMPLEMENT IS EQUAL TO A COMPLEMENT INTERSECTION B COMLEMENT
OpenStudy (anonymous):
what does that mean?
OpenStudy (anonymous):
\[A \cup B =A'intersection B'\]
Still Need Help?
Join the QuestionCove community and study together with friends!
Sign Up
OpenStudy (anonymous):
\[(A \cup B)'=A' (INTERSECTION) B'\]
OpenStudy (anonymous):
GOT OR NOT???
OpenStudy (anonymous):
Not
OpenStudy (anonymous):
WHAT DO YOU WANT ME TO SOLVE?
OpenStudy (anonymous):
nothing, I was asked to prove the question I asked.
Still Need Help?
Join the QuestionCove community and study together with friends!
Sign Up
OpenStudy (anonymous):
Have I shown it or not?
OpenStudy (anonymous):
OpenStudy (anonymous):
your proof is wrong
in second step
OpenStudy (anonymous):
\[x \in(A \cup B)'\]
OpenStudy (anonymous):
\[x \notin (A \cup B)\]
Still Need Help?
Join the QuestionCove community and study together with friends!
Sign Up
OpenStudy (anonymous):
\[(x \notin A ) and ( x \notin B )\]
OpenStudy (anonymous):
x\[(x \in A') and (x \in B')\]
OpenStudy (anonymous):
\[x \in A' (INTERSECTION) B'\]
OpenStudy (anonymous):
\[(A \cup B)'\subseteq A'(intersection) B'\]
OpenStudy (phi):
You say
Let x ∈ (A U B)'
x ∈/ (A U B) <--- add this line. we got rid of the not operator.
So x ∈/ A or B <--- I would say x ∈/ A and x ∈/ B (if x is not in the union of A and B, x is not in A and it is not in B
x∈/A→x∈ A' and x∈/B→x∈B'
Therefore, because x is a member of both A' and B', x must be a member of their intersection
x∈ A' ∩ B'