Quantcast

Got Homework?

Connect with other students for help. It's a free community.

  • across
    MIT Grad Student
    Online now
  • laura*
    Helped 1,000 students
    Online now
  • Hero
    College Math Guru
    Online now

Here's the question you clicked on:

55 members online
  • 0 replying
  • 0 viewing

PhoenixFire Group Title

Using the Law of Contrapositive give proof of the theorem: For any integers a,b if ab is odd then either a is odd or b is odd. I tried and got: *give me a second to put it into the first post*

  • 2 years ago
  • 2 years ago

  • This Question is Closed
  1. PhoenixFire Group Title
    Best Response
    You've already chosen the best response.
    Medals 1

    p -> q contrapositive is ~q -> ~p So I get the statement: if either a is even or b is even then ab is even Definition of even: x is divisible by 2 Using that definition: \[\forall a,b \in \mathbb{Z}: {a \over 2} and {b \over 2} \rightarrow {ab \over 2}\] Re-arranging for a and b for some integer k and s: \[a=2k\]\[b=2s\] Re-arrange the conclusion and substitute a and b in \[ab=2t\] \[(2k)(2s)=2t\]\[4ks=2t\]\[2(2ks)=2t\] Proving the theorem.

    • 2 years ago
  2. experimentX Group Title
    Best Response
    You've already chosen the best response.
    Medals 0

    both must be odd.

    • 2 years ago
  3. PhoenixFire Group Title
    Best Response
    You've already chosen the best response.
    Medals 1

    @experimentX I'm proving the Contrapositive. When you negate the statements it reads "ab is not odd" which is the same as saying "ab is even"

    • 2 years ago
  4. experimentX Group Title
    Best Response
    You've already chosen the best response.
    Medals 0

    "if ab is odd then either a is odd or b is odd." => "if ab is odd then both a and b are odd."

    • 2 years ago
  5. experimentX Group Title
    Best Response
    You've already chosen the best response.
    Medals 0

    using contrapositive : ~p->~q if ab is even, ab must have AT LEAST one even factor.

    • 2 years ago
  6. PhoenixFire Group Title
    Best Response
    You've already chosen the best response.
    Medals 1

    When you negate "a is odd or b is odd" you get "a is even and b is even" p->q contrapositive is ~q->~p p = ab is odd ~p = ab is even q = a is odd or b is odd ~q = a is even and b is even Right?

    • 2 years ago
  7. experimentX Group Title
    Best Response
    You've already chosen the best response.
    Medals 0

    i think the assumption on the Q is wrong.. 2x3 (even x odd) =6 (even) 3x3 (odd x odd) = 9 (odd)

    • 2 years ago
  8. PhoenixFire Group Title
    Best Response
    You've already chosen the best response.
    Medals 1

    I see what you mean. The original theorem states ab is odd then a or b is odd, however if you plug in a as odd and b as even ab is then even. Which would logically mean that it is an invalid theorem.

    • 2 years ago
  9. PhoenixFire Group Title
    Best Response
    You've already chosen the best response.
    Medals 1

    But isn't that why they use different laws such as the Contrapositive? To prove things that don't logically make sense?

    • 2 years ago
  10. experimentX Group Title
    Best Response
    You've already chosen the best response.
    Medals 0

    yep i've already forgotten these types of things ... i think this logic is right though q = a is odd or b is odd => ~q = both a and b are not odd => both a and b are even

    • 2 years ago
  11. PhoenixFire Group Title
    Best Response
    You've already chosen the best response.
    Medals 1

    yeah, it's kind of confusing. I'm only learning these proofs now and even the basic Direct Proof is doing my head in.

    • 2 years ago
  12. experimentX Group Title
    Best Response
    You've already chosen the best response.
    Medals 0

    i hate to read these whole stuff http://en.wikipedia.org/wiki/Proof_by_contrapositive

    • 2 years ago
  13. experimentX Group Title
    Best Response
    You've already chosen the best response.
    Medals 0

    i guess you read the Q wrong ... it says proof by contrapositive is 100% valid (never got logical stuff in my brain though)

    • 2 years ago
  14. PhoenixFire Group Title
    Best Response
    You've already chosen the best response.
    Medals 1

    Well, thanks anyways @experimentX I'll just stick with how I think it should be and ask my lecturer about it later.

    • 2 years ago
  15. experimentX Group Title
    Best Response
    You've already chosen the best response.
    Medals 0

    if you work this way ... from invalid theorem, ... you will reach a valid statement which in not complete.

    • 2 years ago
  16. experimentX Group Title
    Best Response
    You've already chosen the best response.
    Medals 0

    yw

    • 2 years ago
    • Attachments:

See more questions >>>

Your question is ready. Sign up for free to start getting answers.

spraguer (Moderator)
5 → View Detailed Profile

is replying to Can someone tell me what button the professor is hitting...

23

  • Teamwork 19 Teammate
  • Problem Solving 19 Hero
  • You have blocked this person.
  • ✔ You're a fan Checking fan status...

Thanks for being so helpful in mathematics. If you are getting quality help, make sure you spread the word about OpenStudy.

This is the testimonial you wrote.
You haven't written a testimonial for Owlfred.