Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Homework Help: Prove the Distributive Laws

  1. Aug 28, 2010 #1
    1. The problem statement, all variables and given/known data

    This is not a HW, I am reviewing the basic material for my own use.

    Please prove the distributive laws.

    2. Relevant equations

    3. The attempt at a solution

    Attached Files:

    • pic.jpg
      File size:
      6.7 KB
  2. jcsd
  3. Aug 28, 2010 #2
    Read my post about proving equivalence relations on your other thread "Proof (Real Analysis I)." The same concept of needing to prove it forwards and backwards applies here. Simply substitute in the appropriate premises and conclusions.
  4. Aug 28, 2010 #3
    Thank you for the posts. I read you previous post on equivalence. I am a person with zero experience in Real Analysis. What you wrote made little sense to me. If you can do either of these problems, it will jump start my process of learning. Can I ask you to solve either problem step-by-step?
    Again, these are not my HW questions.
  5. Aug 28, 2010 #4
    If you have zero experience, then I would recommend teaching yourself or taking a quick course on boolean logic and point-element set theory first. I'll go into (almost excess) detail below to help you out here, but you should be able to get this.

    Part (a):

    [tex]( \Rightarrow )[/tex]
    Let [tex] x \in ( A \cap (B \cup C) ). [/tex]
    Then [tex] (x \in A) \wedge (x \in B \vee x \in C). [/tex]
    Thus, by the distributive law, [tex] (x \in A \wedge x \in B) \vee (x \in A \wedge x \in C). [/tex]
    Hence, [tex] x \in (A \cap B) \vee x \in (A \cap C). [/tex]
    Therefore, [tex] x \in ((A \cap B) \cup (A \cap C)). [/tex]

    Note: we are just halfway through the proof. We have proved the statement in the forward direction. Now we need to prove it backwards, i.e., [tex] x \in ((A \cap B) \cup (A \cap C)) \rightarrow x \in ( A \cap (B \cup C) ). [/tex]
  6. Aug 28, 2010 #5
    This was so extremely helpful. I am very thankful to you, Raskolnikov.
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook