Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

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

  1. Aug 20, 2011 #1
    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:


    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...

  2. jcsd
  3. Aug 21, 2011 #2
    Re: Discrete Mathematics - (A∪B)-(A∩B)=(A-B)∪(B-A) - prove by cases??

    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.
  4. Aug 21, 2011 #3


    User Avatar
    Science Advisor

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

    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.
  5. Aug 21, 2011 #4
    Re: Discrete Mathematics - (A∪B)-(A∩B)=(A-B)∪(B-A) - prove by cases??

    OH!!! That's a lot simpler.
  6. Aug 31, 2011 #5
    Re: Discrete Mathematics - (A∪B)-(A∩B)=(A-B)∪(B-A) - prove by cases??

    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??
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook