Results 1 to 4 of 4

Math Help - Logic Check with Set proof

  1. #1
    Member
    Joined
    Jan 2008
    Posts
    175

    Logic Check with Set proof

    Prove or Give counter example:

    (AXB) \cap (CXD) = (A \cap C) X (B \cap D)

    kind of a long proof. But I was wondering if anyone could help check this for me.

    I proved that x \in A,C and y \in B,D . So (AXB) \cap (CXD) was a subset of (A \cap C) X (B \cap D).

    When trying to prove that (A \cap C) X (B \cap D) was a subset of (AXB) \cap (CXD) I reached a contradiction, well what i believe was a contradiction. I found that
    x \in A and x \in B. Im just not sure if this is a contradiction or not. If its a contradiction, well im done, if it is not a contradiction I guess I would just continue on to prove it. Im just not sure if the last part of the proof is a contradiction.

    Any help with this proof is greatly appreciated, and im sorry if this is somewhat unclear.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Banned
    Joined
    Mar 2009
    Posts
    256
    Thanks
    1
    Quote Originally Posted by p00ndawg View Post
    Prove or Give counter example:

    (AXB) \cap (CXD) = (A \cap C) X (B \cap D)

    kind of a long proof. But I was wondering if anyone could help check this for me.

    I proved that x \in A,C and y \in B,D . So (AXB) \cap (CXD) was a subset of (A \cap C) X (B \cap D).

    When trying to prove that (A \cap C) X (B \cap D) was a subset of (AXB) \cap (CXD) I reached a contradiction, well what i believe was a contradiction. I found that
    x \in A and x \in B. Im just not sure if this is a contradiction or not. If its a contradiction, well im done, if it is not a contradiction I guess I would just continue on to prove it. Im just not sure if the last part of the proof is a contradiction.

    Any help with this proof is greatly appreciated, and im sorry if this is somewhat unclear.

    proof:

     (x,y)\in [(A\times B)\cap(C\times D)]\Longleftrightarrow (x,y)\in(A\times B)\wedge (x, y)\in (C\times D)\Longleftrightarrow x\in A\wedge y\in B\wedge x\in C\wedge y\in D \Longleftrightarrow (x\in A\wedge x\in C)\wedge (y\in B\wedge y\in D)\Longleftrightarrow x\in (A\cap C)\wedge y\in (B\cap D)\Longleftrightarrow (x,y)\in[(A\cap C)\times (B\cap D)]
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Member
    Joined
    Jan 2008
    Posts
    175
    Quote Originally Posted by xalk View Post
    proof:

     (x,y)\in [(A\times B)\cap(C\times D)]\Longleftrightarrow (x,y)\in(A\times B)\wedge (x, y)\in (C\times D)\Longleftrightarrow x\in A\wedge y\in B\wedge x\in C\wedge y\in D \Longleftrightarrow (x\in A\wedge x\in C)\wedge (y\in B\wedge y\in D)\Longleftrightarrow x\in (A\cap C)\wedge y\in (B\cap D)\Longleftrightarrow (x,y)\in[(A\cap C)\times (B\cap D)]

    Thanks, hmm I dont think this will fly with my professor tho.
    He wants us to prove one is the subset of the other and then prove the other is subset of the other as well. I dont think just saying \Longleftrightarrow will work.

    Thank you however, this helps me since I guess there is no contradiction.
    Follow Math Help Forum on Facebook and Google+

  4. #4
    Banned
    Joined
    Mar 2009
    Posts
    256
    Thanks
    1
    Quote Originally Posted by p00ndawg View Post
    Thanks, hmm I dont think this will fly with my professor tho.
    He wants us to prove one is the subset of the other and then prove the other is subset of the other as well. I dont think just saying \Longleftrightarrow will work.

    Thank you however, this helps me since I guess there is no contradiction.
    That is what is done at the same time . Notice the double implication.

    The forward implication proves that:

    (A\times B)\cap (C\times D) is a subset of (A\cap C)\times (B\cap D) and

    the backwards implication proves that: (A\cap C)\times (B\cap D) is a subset of (A\times B)\cap (C\times D) .

    You can check that.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Logic and Proof help!
    Posted in the Discrete Math Forum
    Replies: 1
    Last Post: January 26th 2011, 09:57 AM
  2. p and q logic proof
    Posted in the Discrete Math Forum
    Replies: 3
    Last Post: December 24th 2010, 04:59 AM
  3. Can someone check my logic (sentential logic)
    Posted in the Discrete Math Forum
    Replies: 4
    Last Post: July 13th 2010, 04:30 AM
  4. [SOLVED] Logic check, and mini question.
    Posted in the Advanced Algebra Forum
    Replies: 2
    Last Post: October 11th 2009, 02:25 PM
  5. Logic, please check my answer
    Posted in the Discrete Math Forum
    Replies: 2
    Last Post: November 3rd 2008, 11:47 AM

Search Tags


/mathhelpforum @mathhelpforum