Discrete Mathematics - (A∪B)-(A∩B)=(A-B)∪(B-A) - prove by cases?

Click For Summary

Discussion Overview

The discussion revolves around proving the set equality (A∪B)-(A∩B)=(A-B)∪(B-A) using a proof by cases approach. Participants explore different methods of proof, including set builder definitions and case analysis, while addressing the challenges faced by a newcomer to the topic.

Discussion Character

  • Debate/contested
  • Mathematical reasoning
  • Homework-related

Main Points Raised

  • One participant expresses difficulty in understanding how to apply proof by cases to the problem and requests guidance.
  • Another participant suggests expanding the set operations into set builder definitions as an alternative method, proposing a logical equivalence to demonstrate the equality.
  • Several participants outline a case analysis approach, identifying four possible cases for any member of the universal set and suggesting that proving the membership in both sets for each case would establish the equality.
  • A participant requests clarification on how to handle the case where an element is in both sets A and B, seeking to understand its implications for the set equality.

Areas of Agreement / Disagreement

Participants do not reach a consensus on the preferred method of proof, with some advocating for proof by cases while others prefer set builder definitions. The discussion remains unresolved regarding the best approach to take.

Contextual Notes

Some participants express uncertainty about the effectiveness of proof by cases for this problem, and there is a lack of clarity on how to handle specific cases within the analysis.

Who May Find This Useful

Students studying discrete mathematics, particularly those struggling with set theory proofs and seeking different methods of proof.

nigara
Messages
1
Reaction score
0
Discrete Mathematics - (A∪B)-(A∩B)=(A-B)∪(B-A) - prove by cases??

Hi, I'm new to these forums so please redirect me if I've posted this in the wrong place.
I'm trying to graduate and this is my last class, but as I'm not a math major, I'm really struggling with this particular problem. I've been able to manage most other simple proofs pretty well, but this one has me stumped:

(A∪B)-(A∩B)=(A-B)∪(B-A)

The instructor hinted that this problem could/should be done with Proof by Cases. Any chance someone could walk me through this?? Like I said, I've managed to handle other similar problems but the elements of this one have me thrown... any help would be appreciated. I tend to learn well by example, but there's nothing in my notes/textbook that show a similarly structured problem...

Thanks!
 
Physics news on Phys.org


I don't see how to do it with with proof by cases. I would do it by expanding the set operations into set builder definitions. [itex]\left(A \cup B \right) - \left( A \cup B \right) = \left\{ a : \left( a \in A \vee a \in B \right) \wedge \neg \left( a \in A \wedge a \in B \right) \right\}[/itex] and [itex]\left( A-B \right) \cup \left( B-A \right) = \left\{ a : \left( a \in A \wedge a \notin B \right) \vee \left( a \in B \wedge a \notin A \right) \right\}[/itex]. You could prove that [itex]\left( a \in A \wedge a \notin B \right) \vee \left( a \in B \wedge a \notin A \right) \Leftrightarrow \left( a \in A \vee a \in B \right) \wedge \neg \left( a \in A \wedge a \in B \right)[/itex], which would imply what you wish to show.

That would be the hard way to do it. Hopefully, someone will come along and explain the method your instructor was referring to.
 


If x is any member of the universal set, then one of four "cases' applies:
1) x is in A but not in B.
2) x is in B but not in A.
3) x is in both A and B.
4) x in in neither A nor B.

For each of those cases, determine if x is in [itex]A\cup B- A\cap B[/itex] and if it is in [itex](A- B)\cup(B- A)[/itex]. If, in every case, x is in one if and only if it is in the other, then the two sets are equal.
 


HallsofIvy said:
If x is any member of the universal set, then one of four "cases' applies:
1) x is in A but not in B.
2) x is in B but not in A.
3) x is in both A and B.
4) x in in neither A nor B.

For each of those cases, determine if x is in [itex]A\cup B- A\cap B[/itex] and if it is in [itex](A- B)\cup(B- A)[/itex]. If, in every case, x is in one if and only if it is in the other, then the two sets are equal.

OH! That's a lot simpler.
 


HallsofIvy said:
If x is any member of the universal set, then one of four "cases' applies:
1) x is in A but not in B.
2) x is in B but not in A.
3) x is in both A and B.
4) x in in neither A nor B.

For each of those cases, determine if x is in [itex]A\cup B- A\cap B[/itex] and if it is in [itex](A- B)\cup(B- A)[/itex]. If, in every case, x is in one if and only if it is in the other, then the two sets are equal.

Could you please show me how the case: xεΑ and xεΒ,

Would make the sets: [itex]A\cup B- A\cap B[/itex] and [itex](A- B)\cup(B- A)[/itex]. equal??
 

Similar threads

  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 23 ·
Replies
23
Views
7K
  • · Replies 6 ·
Replies
6
Views
2K
Replies
32
Views
3K
  • · Replies 10 ·
Replies
10
Views
3K
  • · Replies 23 ·
Replies
23
Views
5K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 29 ·
Replies
29
Views
5K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K