Results 1 to 8 of 8

Math Help - proof involving unions, intersections and complements

  1. #1
    Member
    Joined
    Mar 2009
    Posts
    84

    proof involving unions, intersections and complements

    The complement of (A intersect B) = A complement union B complement

    Any help on this would be much appreciated
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor

    Joined
    Aug 2006
    Posts
    18,660
    Thanks
    1616
    Awards
    1
    Quote Originally Posted by leinadwerdna View Post
    The complement of (A intersect B) = A complement union B complement
    Any help on this would be much appreciated
    Do you know how to write the negation of the logical statement "A and B"?
    That is all there is to it.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Member
    Joined
    Mar 2009
    Posts
    84
    i am still unclear as to how to write a formal proof for this statement.
    Follow Math Help Forum on Facebook and Google+

  4. #4
    Senior Member Danneedshelp's Avatar
    Joined
    Apr 2009
    Posts
    303
    Quote Originally Posted by leinadwerdna View Post
    The complement of (A intersect B) = A complement union B complement

    Any help on this would be much appreciated
    x\in{(A\cap\\B)^{c}}
    \Leftrightarrow x\notin{A\cap\\B}
    \Leftrightarrow it is not the case that x\in{A} and x\in{B}
    \Leftrightarrow x\notin{A} or x\notin{B}
    \Leftrightarrow x\in{A^{c}} or x\in{B^{c}}
    \Leftrightarrow x\in{A^{c}\cup\\B^{c}}
    Follow Math Help Forum on Facebook and Google+

  5. #5
    MHF Contributor

    Joined
    Aug 2006
    Posts
    18,660
    Thanks
    1616
    Awards
    1
    Quote Originally Posted by leinadwerdna View Post
    i am still unclear as to how to write a formal proof for this statement.
    Danneedshelp handed you the solution.
    I hope you will learn something from the gift.
    Follow Math Help Forum on Facebook and Google+

  6. #6
    Member
    Joined
    Mar 2009
    Posts
    84
    thank you both for helping me out
    Follow Math Help Forum on Facebook and Google+

  7. #7
    Senior Member Danneedshelp's Avatar
    Joined
    Apr 2009
    Posts
    303
    Quote Originally Posted by leinadwerdna View Post
    i am still unclear as to how to write a formal proof for this statement.
    All I did was use the definition of union / intersection and complement, which is A^{c}=\{x\in{U}|x\notin{A}\}. I made a list of biconditional statements. Simply, this just means whatever is on the left side of the arrow implies whats on the right and whatever is on the right side of the arrow implies whatever is on the left side. This can be veiwed symbolically as, P\Leftrightarrow\\Q is equivalent to (P\Rightarrow\\Q) and (Q\Rightarrow\\P). So, to begin the proof, just choose an arbitrary element x (since we are trying to prove the general case). From there, begin looking for ways you can sart connecting definitions using logical conectives. I usally make a list of what I am given and then write down my ultimate goal. From there start breaking down your givens and goal using definitions and start looking for ways to make connections between your givens and goal.


    Easier said than done, but keep pluggin' away at it.
    Follow Math Help Forum on Facebook and Google+

  8. #8
    Member
    Joined
    Mar 2009
    Posts
    84
    wait when you go from x is not an element of a and b to x is not an element of a or x is not an element dont you need to prove a lemma
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Help with a proof involving images and intersections
    Posted in the Discrete Math Forum
    Replies: 2
    Last Post: November 29th 2010, 02:52 AM
  2. Intersections and Unions
    Posted in the Advanced Statistics Forum
    Replies: 5
    Last Post: October 31st 2010, 09:44 PM
  3. Proof involving least upper bound and unions
    Posted in the Calculus Forum
    Replies: 0
    Last Post: September 15th 2010, 12:21 PM
  4. Help with Infinite Unions and Intersections
    Posted in the Discrete Math Forum
    Replies: 0
    Last Post: September 19th 2009, 03:32 PM
  5. Unions, intersections, complements, venn
    Posted in the Discrete Math Forum
    Replies: 2
    Last Post: October 7th 2008, 10:13 PM

Search Tags


/mathhelpforum @mathhelpforum