Scribd Logo
Upload

Welcome to Scribd!

  • Rules of Inference For Propositional Calculus

    Uploaded by

    Harshali Patil
    8 views3 pages
    The document outlines 9 rules of inference for propositional calculus. The rules are: addition, conjunction, simplification, modus pones, modus tollens, disjunctive syllogism, hypothetical syllogism, constructive dilemma, and destructive dilemma. Each rule shows the premises and conclusion of the logical argument form.

    Original Description:

    RULES

    Original Title

    Rules of Inference for Propositional Calculus

    Copyright

    © © All Rights Reserved

    Available Formats

    PPTX, PDF, TXT or read online from Scribd

    Did you find this document useful?

    Is this content inappropriate?

    Report this Document
    The document outlines 9 rules of inference for propositional calculus. The rules are: addition, conjunction, simplification, modus pones, modus tollens, disjunctive syllogism, hypothetical syllogism, constructive dilemma, and destructive dilemma. Each rule shows the premises and conclusion of the logical argument form.

    Copyright:

    © All Rights Reserved
    Download as PPTX, PDF, TXT or read online from Scribd
    Flag for inappropriate content
    8 views3 pages

    Rules of Inference For Propositional Calculus

    Uploaded by

    Harshali Patil
    The document outlines 9 rules of inference for propositional calculus. The rules are: addition, conjunction, simplification, modus pones, modus tollens, disjunctive syllogism, hypothetical syllogism, constructive dilemma, and destructive dilemma. Each rule shows the premises and conclusion of the logical argument form.

    Copyright:

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

    Rules of Inference for Propositional

    Calculus
    Rules of inference
    1) Addition P
    -------------
     PVQ
    2) Conjunction P
    Q
    ------------
     PQ
    3) Simplification PQ
    -------------
     P
    4) Modus Pones P
    PQ
    ----------------
     Q
    5) Modus Tollens Q
    PQ
    ----------------
     P
    Rules of inference
    6) Disjunctive Syllogism P
    PVQ
    -----------------
     Q
    7) Hypothetical Syllogism PQ
    Q R
    -----------------
     PR
    8) Constructive Dilemma (P  Q)  (RS)
    PVR
    ------------------------
    Q V S
    9) Destructive Dilemma (P  Q)  (RS)
    Q V S
    -------------------------
    P V R

    You might also like