1. Not finding help here? Sign up for a free 30min tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Logical Proofs Regarding Sets and Subsets

  1. Oct 23, 2011 #1
    1. The problem statement, all variables and given/known data

    The following is all the information needed:

    07rEA.png

    2. Relevant equations

    There are, of course, all the basic rules of logic and set identities to be considered.

    3. The attempt at a solution

    Not really sure how to attempt this one, to be honest. I know that (A ⊆ B) can be written with a quantifier and is equivalent to ∀x[xϵA ⇒ xϵB] but I'm really not sure how to apply this information properly.

    Thanks, guys. :)
     
  2. jcsd
  3. Oct 23, 2011 #2
    If A is a subset of B, then we know that any element of A is also an element of B.

    Now, what if we take an element of U, that is not an element of B. What does that mean? Could such an element be an element of A?
     
  4. Oct 24, 2011 #3

    HallsofIvy

    User Avatar
    Staff Emeritus
    Science Advisor

    In general you prove set X is a subset of set Y by starting "if x is a member of X" and then using the definitions of X and Y, and any other information you are given, to conclude "x is a member of Y".

    To prove [itex]\overline{B}\subset\overline{A}[/itex] start with "if x is a member of [itex]\overline{B}[/itex] then x is not in B. Since, by hypothesis, [itex]A\subset B[/itex] x is not in A. ...
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook