Scribd Logo
Upload

Welcome to Scribd!

  • Ponendo Ponens

    Uploaded by

    Natalia Ramirez
    6 views2 pages
    This document outlines logical proofs using propositional logic. It demonstrates the rules of modus ponens, modus tollens, and indirect proof. Specifically, it provides examples of: 1) Modus ponens to derive Q from premises P and P=>Q. 2) Modus tollens to derive -P from premises P=>Q and -Q. 3) Indirect proof to derive -R from premises R=>-(P v S) and P v S.

    Original Description:

    jh

    Original Title

    2n

    Copyright

    © © All Rights Reserved

    Available Formats

    RTF, PDF, TXT or read online from Scribd

    Did you find this document useful?

    Is this content inappropriate?

    Report this Document
    This document outlines logical proofs using propositional logic. It demonstrates the rules of modus ponens, modus tollens, and indirect proof. Specifically, it provides examples of: 1) Modus ponens to derive Q from premises P and P=>Q. 2) Modus tollens to derive -P from premises P=>Q and -Q. 3) Indirect proof to derive -R from premises R=>-(P v S) and P v S.

    Copyright:

    © All Rights Reserved
    Download as RTF, PDF, TXT or read online from Scribd
    Flag for inappropriate content
    Download as rtf, pdf, or txt
    6 views2 pages

    Ponendo Ponens

    Uploaded by

    Natalia Ramirez
    This document outlines logical proofs using propositional logic. It demonstrates the rules of modus ponens, modus tollens, and indirect proof. Specifically, it provides examples of: 1) Modus ponens to derive Q from premises P and P=>Q. 2) Modus tollens to derive -P from premises P=>Q and -Q. 3) Indirect proof to derive -R from premises R=>-(P v S) and P v S.

    Copyright:

    © All Rights Reserved
    Download as RTF, PDF, TXT or read online from Scribd
    Flag for inappropriate content
    Download as rtf, pdf, or txt
    of 2

    PONENDO PONENS

    P => Q
    P
    -------------
    Q

    -Q => R
    -Q
    -------------
    R

    P^Q
    (P^Q) => -S
    -------------
    -S

    TOLLENDO TOLLENS

    P=>Q
    -Q
    -------------
    -P

    Q=> -R
    R
    -------------
    -Q

    R => -(PvS)
    PvS
    -------------
    R

    DEM: PvQ

    1)R => -S P
    2)S P
    3)-R=> (PvQ) P
    ------------------------------------
    4) -R TT 1,2
    5) P v Q PP 3,4
    DEM: -P^-Q
    1) -R v -S P
    2) -S =>-P P
    3)-R =>Q P
    4)-Q P
    ------------------------------------
    5) R TT 3,4
    6)-S TP 1,5
    7) -P PP 2,6
    8) -P ^-Q A 7,4

    You might also like