Results 1 to 2 of 2

Math Help - De Morgan's Laws proof

  1. #1
    Member
    Joined
    Nov 2010
    Posts
    86

    De Morgan's Laws proof

    Hey all, needed some help with the following proof about De Morgan's laws:

    Given two subsets A, B ⊆ X,
    not (A ∩ B) = (not A) ∪ (not B)
    and
    not (A ∪ B) = (not A) ∩ (not B)


    How would we go about proving this? Thanks for the help!
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor
    Joined
    Oct 2009
    Posts
    5,517
    Thanks
    771

    Re: De Morgan's Laws proof

    This question belongs in the Logic section.

    I'll assume that not(A) is the complement of A with respect to X. You need to show that not (A ∩ B) ⊆ (not A) ∪ (not B) and (not A) ∪ (not B) ⊆ (A ∩ B). To prove a set inclusion, assume that some x occur in the left-hand side and prove that it occurs in the right-hand side.

    I'd also like to ask if you understand on the intuitive level why "not (P and Q)" is the same as "(not P) or (not Q)". Ultimately, the problem boils down to this where P is x ∈ A and Q is x ∈ B.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. 2 Questions about probability+De Morgan laws
    Posted in the Statistics Forum
    Replies: 11
    Last Post: April 12th 2011, 07:20 PM
  2. proof of De Morgan laws
    Posted in the Math Challenge Problems Forum
    Replies: 5
    Last Post: June 20th 2010, 05:02 AM
  3. De Morgan's second law Proof
    Posted in the Discrete Math Forum
    Replies: 3
    Last Post: January 23rd 2010, 08:07 PM
  4. De Morgan's laws
    Posted in the Discrete Math Forum
    Replies: 3
    Last Post: December 18th 2008, 01:16 AM
  5. de morgan's laws
    Posted in the Discrete Math Forum
    Replies: 7
    Last Post: October 24th 2008, 05:17 PM

Search Tags


/mathhelpforum @mathhelpforum