Is (A Intersect B)' Equal to A' Intersect B'?

  • Thread starter Thread starter kathrynag
  • Start date Start date
  • Tags Tags
    Proof
Join the discussion
Registration is free. Ask a follow-up in this thread, or start your own.
11 replies · 9K views
kathrynag
Messages
595
Reaction score
0

Homework Statement


I need to prove or disprove:
(AintersectB)'=A'intersectB'



Homework Equations





The Attempt at a Solution


Let x[tex]\in[/tex](A[tex]\cap[/tex]B)'
Then x[tex]\notin[/tex]A[tex]\cap[/tex]B
x[tex]\notin[/tex]A or x[tex]\notin[/tex]B
Then x[tex]\in[/tex]A' or x[tex]\in[/tex]B'
x[tex]\in[/tex]A'[tex]\cup[/tex]B'
 
Physics news on Phys.org
x is not an element of A intersection B means that x is not a common element of A and B. So you want to look at how you went from line 2 to line 3. You might want to try some examples to see what is happening, like A = (0,1), B = [0,1] (as a subset of the reals).
 
VeeEight said:
x is not an element of A intersection B means that x is not a common element of A and B. So you want to look at how you went from line 2 to line 3. You might want to try some examples to see what is happening, like A = (0,1), B = [0,1] (as a subset of the reals).

Ok I typed line 2 and 3 wrong
Then x[tex]\notin[/tex]A[tex]\cup[/tex]B
x[tex]\notin[/tex]A or x[tex]\notin[/tex]B
 
Let A={1,2,3}
B={3,4} universe={1,2,3,4,5,6}
(A intersect B)={3}
(A intersect B)'={1,2,4,5,6}

A'={4,5,6}
B'={1,2,5,6}
A'intersectB'={5,6}
 
You might want to check your 'ors' and 'ands'. If you have the union of (1,2,3) U (4,5,6), then given any x, that would mean that x is in (1,2,3) or (4,5,6), right? What about for intersections? Your proof is almost right..
 
kathrynag said:

Homework Statement


I need to prove or disprove:
(AintersectB)'=A'intersectB'



Homework Equations





The Attempt at a Solution


Let x[tex]\in[/tex](A[tex]\cap[/tex]B)'
Then x[tex]\notin[/tex]A[tex]\cap[/tex]B
x[tex]\notin[/tex]A or x[tex]\notin[/tex]B
Then x[tex]\in[/tex]A' or x[tex]\in[/tex]B'
x[tex]\in[/tex]A'[tex]\cup[/tex]B'

kathrynag said:
Let A={1,2,3}
B={3,4} universe={1,2,3,4,5,6}
(A intersect B)={3}
(A intersect B)'={1,2,4,5,6}

A'={4,5,6}
B'={1,2,5,6}
A'intersectB'={5,6}
So, x[tex]\notin[/tex]A[tex]\cap[/tex]B.
This implies x[tex]\notin[/tex]{3}
So,x[tex]\in[/tex]{1,2,4,5,6}
Would this mean x[tex]\in[/tex]A' or x[tex]\in[/tex]B'?
 
kathrynag said:

Homework Statement


I need to prove or disprove:
(AintersectB)'=A'intersectB'



Homework Equations





The Attempt at a Solution


Let x[tex]\in[/tex](A[tex]\cap[/tex]B)'
Then x[tex]\notin[/tex]A[tex]\cap[/tex]B
x[tex]\notin[/tex]A or x[tex]\notin[/tex]B
Then x[tex]\in[/tex]A' or x[tex]\in[/tex]B'
x[tex]\in[/tex]A'[tex]\cup[/tex]B'

Ok so x[tex]\notin[/tex]A and x[tex]\notin[/tex]B.
Then x[tex]\in[/tex]A' and x[tex]\in[/tex]B'.
x[tex]\in[/tex]A'[tex]\cup[/tex]B'
 
well, no, you had it right using the 'or's. I just wasn't sure if moving from line 2 to line 3 you understood what you were doing or if you were formulating it to make your answer right.
 
Ok, then did I go wrong somewhere in my proof? Should I have said x[tex]\notin[/tex]A and x[tex]\notin[/tex]B. Then if I went on from there, I could get a right conclusion?
 
If you don't care what method..You can use VENN DIAGRAMS!
 
kathrynag said:
Let A = {1,2,3} , B = {3,4} , universe = {1,2,3,4,5,6}

[tex]A \cap B[/tex] = {3}
[tex](A \cap B)'[/tex] = {1,2,4,5,6}

A' = {4,5,6}
B' = {1,2,5,6}
[tex]A' \cap B'[/tex] = {5,6}

This counterexample should tell you that the statement [tex](A \cap B)' = A' \cap B'[/tex] is not true!
 
Last edited:
natives said:
If you don't care what method..You can use VENN DIAGRAMS!

A Venn diagram is not a rigorous mathematical proof.