Scribd Logo
Upload

Welcome to Scribd!

  • 01 Proof Contraposition

    Uploaded by

    Madalina Duminica
    19 views1 page
    The document discusses proof by contraposition and provides 4 exercises to prove using this method. Proof by contraposition relies on the equivalence that (p → q) is logically equivalent to (not q → not p). This allows proving a statement by assuming not q and proving not p, rather than directly proving p implies q. The exercises provide 4 mathematical statements to prove using this contraposition method.

    Original Description:

    Original Title

    01-Proof-contraposition

    Copyright

    © © All Rights Reserved

    Available Formats

    PDF, TXT or read online from Scribd

    Did you find this document useful?

    Is this content inappropriate?

    Report this Document
    The document discusses proof by contraposition and provides 4 exercises to prove using this method. Proof by contraposition relies on the equivalence that (p → q) is logically equivalent to (not q → not p). This allows proving a statement by assuming not q and proving not p, rather than directly proving p implies q. The exercises provide 4 mathematical statements to prove using this contraposition method.

    Copyright:

    © All Rights Reserved
    Download as PDF, TXT or read online from Scribd
    Flag for inappropriate content
    19 views1 page

    01 Proof Contraposition

    Uploaded by

    Madalina Duminica
    The document discusses proof by contraposition and provides 4 exercises to prove using this method. Proof by contraposition relies on the equivalence that (p → q) is logically equivalent to (not q → not p). This allows proving a statement by assuming not q and proving not p, rather than directly proving p implies q. The exercises provide 4 mathematical statements to prove using this contraposition method.

    Copyright:

    © All Rights Reserved
    Download as PDF, TXT or read online from Scribd
    Flag for inappropriate content
    of 1

    Proof by contraposition

    Exercises

    The method of Proof by contraposition is relying on the tautology ( p → q )  ( q → p ) .

    This means that, instead of assuming that p is true and prove that q is true, we assume that q is true and
    prove that p is true.

    Exercises:

    25. Prove that, if x is an integer such that 7 x + 9 is even, then x is odd.


    26. Prove that, if x is an integer such that x 2 − 6 x + 5 is even, then x is odd.
    27. Suppose x, y  . Prove that, if y 3 + yx 2  x3 + xy 2 , then y  x .
    28. Prove that xy  5  x  5 and y  5 .

    You might also like