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

  • Thread starter Thread starter kathrynag
  • Start date Start date
  • Tags Tags
    Proof
Click For Summary
The discussion centers on proving or disproving the equality (A ∩ B)' = A' ∩ B'. Participants explore the implications of set operations, particularly focusing on the complement of the intersection of sets A and B. Counterexamples using specific sets demonstrate that the statement is false, as shown with A = {1,2,3} and B = {3,4}, leading to different results for both sides of the equation. The conversation emphasizes the importance of correctly applying logical operations and suggests using Venn diagrams for visualization, though it notes that they do not constitute a formal proof. Ultimately, the conclusion is that the original statement is not valid.
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\in(A\capB)'
Then x\notinA\capB
x\notinA or x\notinB
Then x\inA' or x\inB'
x\inA'\cupB'
 
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\notinA\cupB
x\notinA or x\notinB
 
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\in(A\capB)'
Then x\notinA\capB
x\notinA or x\notinB
Then x\inA' or x\inB'
x\inA'\cupB'

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\notinA\capB.
This implies x\notin{3}
So,x\in{1,2,4,5,6}
Would this mean x\inA' or x\inB'?
 
kathrynag said:

Homework Statement


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



Homework Equations





The Attempt at a Solution


Let x\in(A\capB)'
Then x\notinA\capB
x\notinA or x\notinB
Then x\inA' or x\inB'
x\inA'\cupB'

Ok so x\notinA and x\notinB.
Then x\inA' and x\inB'.
x\inA'\cupB'
 
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\notinA and x\notinB. Then if I went on from there, I could get a right conclusion?
 
  • #10
If you don't care what method..You can use VENN DIAGRAMS!
 
  • #11
kathrynag said:
Let A = {1,2,3} , B = {3,4} , universe = {1,2,3,4,5,6}

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

A' = {4,5,6}
B' = {1,2,5,6}
A' \cap B' = {5,6}

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

A Venn diagram is not a rigorous mathematical proof.
 

Similar threads

Replies
4
Views
1K
Replies
9
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 11 ·
Replies
11
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
3
Views
2K
  • · Replies 10 ·
Replies
10
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K