Scribd Logo
Upload

Welcome to Scribd!

  • 35 views

    Logic

    Uploaded by

    Derren Nierras Gaylo
    The document discusses different methods of proof and disproof including direct proof, contrapositive proof, and proof by contradiction. It provides examples of using each method to prove statements about integers being even or odd and establishes premises and reasons for a proof by contradiction.

    Copyright:

    © All Rights Reserved
    Download as DOCX, PDF, TXT or read online from Scribd

    Logic

    Uploaded by

    Derren Nierras Gaylo
    35 views2 pages
    The document discusses different methods of proof and disproof including direct proof, contrapositive proof, and proof by contradiction. It provides examples of using each method to prove statements about integers being even or odd and establishes premises and reasons for a proof by contradiction.

    Original Description:

    lesson

    Copyright

    © © All Rights Reserved

    Available Formats

    DOCX, PDF, TXT or read online from Scribd

    Did you find this document useful?

    Is this content inappropriate?

    The document discusses different methods of proof and disproof including direct proof, contrapositive proof, and proof by contradiction. It provides examples of using each method to prove statements about integers being even or odd and establishes premises and reasons for a proof by contradiction.

    Copyright:

    © All Rights Reserved
    Download as DOCX, PDF, TXT or read online from Scribd
    Download as docx, pdf, or txt
    35 views2 pages

    Logic

    Uploaded by

    Derren Nierras Gaylo
    The document discusses different methods of proof and disproof including direct proof, contrapositive proof, and proof by contradiction. It provides examples of using each method to prove statements about integers being even or odd and establishes premises and reasons for a proof by contradiction.

    Copyright:

    © All Rights Reserved
    Download as DOCX, PDF, TXT or read online from Scribd
    Download as docx, pdf, or txt
    of 2

    I.

    Objective

    At the end of the lessons the students will be able to:

    a. Illustrates the different methods of proof and disproof.


    b. Justify mathematical and real-life statements using different methods of
    proof and disproof.
    c. Solve mathematical equations involving proof and disproof.
    d. Relate the concepts of proof and disproof to real life situations.

    II. Subject Matter: Different methods of proof and disproof.


    Reference: General Mathematics; Orlando A. Oronce,1st Edition.

    III. Instructional Procedure

    A. Review
    1. Different forms of Conditional Propositions.
    2. Different types of tautologies.

    B. Presentations

    1. Direct proof: Prove that for all integers a and b, if a and b are odd integers,
    then a and b is an even integer.
    2. Contrapositive proof: Prove the contrapositive of the statement. I f a and b are
    both odd integers then ab is odd.
    3. Proof by Contradiction: Given: P ~Q
    ~Q ~P
    Prove: ~ P

    Possible Solutions:

    1. Assume that a and b are odd integers then a and b can be written as
    a = 2c+1 and b = 2d+1 where c and d are also integers.
    a+b = 2c+1 + 2d+1
    = 2c+2d+2
    = 2(c+d+1); why? (multiple of 2)
    Because a+b is twice another integer, a+b is an even integer.

    2. Suppose a and b are odd integers, then a=2c+1 and b=2d+1 where c and d
    are integers and ab= (2c+1)(2d+1)
    = 4cd+2c+2d+1
    = 2(2cd+c+d)+1; why? (even+1=odd).
    Because ab is twice an integer (2cd+c+d)+1, ab is odd.

    3. Proof:

    Statements Reasons
    1. P ~Q 1.Given (Premise 1)
    2. P 2.Assumed (Negation of conclusion)
    3. ~ Q 3.Modus Ponens (from 1 and 2)
    4. ~Q ~P 4.Given (Premise 2)
    5. ~ P 5.Modus Ponens (from 4 and 3)
    6. P ~ P 6.Conjunction (from 2 and 5)
    7. ~ P 7.Simplification

    Another way
    P Q ~Q P ~Q ~P ~Q ~P ~P
    T T
    T F
    F T
    F T

    In statement 2, we assume the negation of the conclusion. This assumption leads


    to a contradiction in statement 6. Since any assumption that leads to a
    contradiction is false, the conclusion to be proven is true.

    You might also like

    pFad - Phonifier reborn

    Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

    Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


    Alternative Proxies:

    Alternative Proxy

    pFad Proxy

    pFad v3 Proxy

    pFad v4 Proxy