Results 1 to 5 of 5

Math Help - logic question/ contrapositive

  1. #1
    Member
    Joined
    Jan 2008
    Posts
    175

    logic question/ contrapositive

    1. If pq is odd, then p is odd and q is odd.

    for this one, I had already proved that if p is odd and q is odd then pq is odd.
    So in relation to this question i proved that q => p, so with a truth table I used that since p&q are the same(odd) then the reverse(p=>q) is also true.

    does that sound alright?


    2. if p^2 is even, then p is even.

    This one im not quite sure how to prove ive tried the contrapositive:

    so if p^2 is not even, the p is not even.

    I substituted for p 2k+1, and tried setting it equal to 2k + 1 but my answer doesnt really make sense to me.

    any help?
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor

    Joined
    Aug 2006
    Posts
    18,605
    Thanks
    1574
    Awards
    1
    Please explain what you are to do with these.
    It is not clear what is going on.
    What does contrapositive have to do with these.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Senior Member Sampras's Avatar
    Joined
    May 2009
    Posts
    301
    Quote Originally Posted by p00ndawg View Post
    1. If pq is odd, then p is odd and q is odd.

    for this one, I had already proved that if p is odd and q is odd then pq is odd.
    So in relation to this question i proved that q => p, so with a truth table I used that since p&q are the same(odd) then the reverse(p=>q) is also true.

    does that sound alright?


    2. if p^2 is even, then p is even.

    This one im not quite sure how to prove ive tried the contrapositive:

    so if p^2 is not even, the p is not even.

    I substituted for p 2k+1, and tried setting it equal to 2k + 1 but my answer doesnt really make sense to me.

    any help?
    2. Suppose p is odd. Then  p^2 = (2k+1)^2 = 4k^2+4k+1 = 2(2k^2+2k)+1 is odd. This is the contrapositive.
    Follow Math Help Forum on Facebook and Google+

  4. #4
    Member
    Joined
    Jan 2008
    Posts
    175
    Quote Originally Posted by Plato View Post
    Please explain what you are to do with these.
    It is not clear what is going on.
    What does contrapositive have to do with these.
    oops im sorry. the contrapositive had to do with a hint the book gave me to try and prove the statement.

    Suppose p and q are integers. prove the following:



    Quote Originally Posted by Sampras View Post
    2. Suppose p is odd. Then  p^2 = (2k+1)^2 = 4k^2+4k+1 = 2(2k^2+2k)+1 is odd. This is the contrapositive.

    i think this is right.

    so in the end since it is odd, that makes the opposite true?
    Follow Math Help Forum on Facebook and Google+

  5. #5
    MHF Contributor

    Joined
    Apr 2005
    Posts
    15,386
    Thanks
    1323
    Quote Originally Posted by p00ndawg View Post
    1. If pq is odd, then p is odd and q is odd.

    for this one, I had already proved that if p is odd and q is odd then pq is odd.
    So in relation to this question i proved that q => p, so with a truth table I used that since p&q are the same(odd) then the reverse(p=>q) is also true.
    Please don't use the same letters to mean the same thing! You start by talking about p and q being odd, implying that they are integers. You then talk about p&q and p=>q implying that they are statements. Which is it?

    And you give a statement, "If pq is odd, then p is odd and q is odd", but don't say what you want to do with it! Prove it? Find the contrapositive of it?

    does that sound alright?


    2. if p^2 is even, then p is even.

    This one im not quite sure how to prove ive tried the contrapositive:

    so if p^2 is not even, the p is not even.

    I substituted for p 2k+1, and tried setting it equal to 2k + 1 but my answer doesnt really make sense to me.

    any help?
    Proof by contradiction. Suppose p is odd. Then p= 2k+1 as you say. What is its square?
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Replies: 5
    Last Post: September 12th 2011, 01:27 AM
  2. Basic Question on Negation, Inverse and Contrapositive
    Posted in the Discrete Math Forum
    Replies: 2
    Last Post: January 9th 2010, 01:57 PM
  3. Proof by Contrapositive
    Posted in the Discrete Math Forum
    Replies: 1
    Last Post: May 13th 2009, 10:31 PM
  4. Contrapositive
    Posted in the Discrete Math Forum
    Replies: 16
    Last Post: July 1st 2008, 04:51 PM
  5. Contrapositive Method
    Posted in the Discrete Math Forum
    Replies: 7
    Last Post: May 29th 2008, 07:40 PM

Search Tags


/mathhelpforum @mathhelpforum