Scribd Logo
Upload

Welcome to Scribd!

  • Rules of Inference

    Uploaded by

    Raffy Lopez
    36 views2 pages
    The document outlines 8 elementary valid argument forms and 10 replacement rules for logical inferences. The argument forms include modus ponens, modus tollens, hypothetical syllogism, disjunctive syllogism, and constructive dilemma. The replacement rules cover logical transformations like De Morgan's theorem, commutation, association, distribution, and double negation.

    Original Description:

    X

    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 outlines 8 elementary valid argument forms and 10 replacement rules for logical inferences. The argument forms include modus ponens, modus tollens, hypothetical syllogism, disjunctive syllogism, and constructive dilemma. The replacement rules cover logical transformations like De Morgan's theorem, commutation, association, distribution, and double negation.

    Copyright:

    © All Rights Reserved
    Download as DOCX, PDF, TXT or read online from Scribd
    Flag for inappropriate content
    Download as docx, pdf, or txt
    36 views2 pages

    Rules of Inference

    Uploaded by

    Raffy Lopez
    The document outlines 8 elementary valid argument forms and 10 replacement rules for logical inferences. The argument forms include modus ponens, modus tollens, hypothetical syllogism, disjunctive syllogism, and constructive dilemma. The replacement rules cover logical transformations like De Morgan's theorem, commutation, association, distribution, and double negation.

    Copyright:

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

    Rules of Inference

    Elementary Valid Argument  p.q


    Forms 8. Material Equivalence
    1. Modus Ponens
    p⊃q 9. Addition

    p p

     q  p˅q

    2. Modus Tollens 9. Exportation


    Replacement Rules
    p⊃q
    1. De Morgan’s Theorem
    ~q
     ~p
    10. Tautology

    3. Hypothetical Syllogism
    p⊃q
    2. Commutation
    q⊃r
     p⊃r

    4. Disjunctive Syllogism
    p˅q
    3. Association
    ~p
     q

    5. Constructive Dilemma
    (p ⊃ q) . (r ⊃ s) 4. Distribution
    p˅r
     q˅s

    6. Absorption
    p⊃q 5. Double Negation
     p ⊃ (p . q)

    7. Simplification
    6. Transposition
    p.q
     P

    8. Conjunction
    7. Material Implication
    p
    q
    Rules of Inference

    You might also like