Results 1 to 5 of 5

Math Help - Proof or disproof the following

  1. #1
    Junior Member
    Joined
    Mar 2010
    Posts
    25

    Proof or disproof the following

    I have been asigned this problem in class.

    C\subseteq A \Rightarrow (A \cup B) \cap C \subseteq A

    Can you aid me in how should i start. I thought of puting it in terms of propositional logic, then proving it. The propositional logic equivalent I came up with

    (C \Rightarrow A) \Rightarrow (A \vee  B) \wedge (C \Rightarrow A )

    Is this correct?
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor

    Joined
    Aug 2006
    Posts
    18,959
    Thanks
    1783
    Awards
    1
    Quote Originally Posted by gordo151091 View Post
    I have been asigned this problem in class.
    C\subseteq A \Rightarrow (A \cup B) \cap C \subseteq A
    For any two sets C~\&~B it is true that B\cap C\subseteq C.
    What is there to prove then?
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Senior Member
    Joined
    Nov 2010
    From
    Staten Island, NY
    Posts
    451
    Thanks
    2
    Quote Originally Posted by gordo151091 View Post
    I have been asigned this problem in class.

    C\subseteq A \Rightarrow (A \cup B) \cap C \subseteq A

    Can you aid me in how should i start. I thought of puting it in terms of propositional logic, then proving it. The propositional logic equivalent I came up with

    (C \Rightarrow A) \Rightarrow (A \vee  B) \wedge (C \Rightarrow A )

    Is this correct?
    Let x\in (A \cup B) \cap C. Then x\in C. Since C\subseteq A, x\in A. Since x was arbitrary, (A \cup B) \cap C \subseteq A .
    Follow Math Help Forum on Facebook and Google+

  4. #4
    Junior Member
    Joined
    Mar 2010
    Posts
    25
    Which reason o inference rule do i use here, i know that if  x \in A and  x \in C and x \in (A \cup B) \cap C then (A \cup B) \cap C \subseteq A , but i dont know the reason that allows me to do this.
    Follow Math Help Forum on Facebook and Google+

  5. #5
    MHF Contributor

    Joined
    Aug 2006
    Posts
    18,959
    Thanks
    1783
    Awards
    1
    Quote Originally Posted by gordo151091 View Post
    Which reason o inference rule do i use here, i know that if  x \in A and  x \in C and x \in (A \cup B) \cap C then (A \cup B) \cap C \subseteq A , but i dont know the reason that allows me to do this.
    Now you should that we have no way in the world to know what inference rules you are using much less what they might be called.
    Prove that A\cap C\subseteq C.
    Then there is nothing more to prove to have then (A \cup B) \cap C \subseteq A .
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Replies: 5
    Last Post: October 19th 2010, 11:50 AM
  2. Replies: 1
    Last Post: March 1st 2010, 09:24 PM
  3. [SOLVED] direct proof and proof by contradiction
    Posted in the Number Theory Forum
    Replies: 2
    Last Post: February 27th 2010, 11:07 PM
  4. a number proof or disproof question
    Posted in the Discrete Math Forum
    Replies: 1
    Last Post: November 24th 2008, 11:37 AM
  5. proof that the proof that .999_ = 1 is not a proof (version)
    Posted in the Advanced Applied Math Forum
    Replies: 4
    Last Post: April 14th 2008, 05:07 PM

Search Tags


/mathhelpforum @mathhelpforum