Scribd Logo
Upload

Welcome to Scribd!

  • elimination φ ψ φ ∧ ψ φ ∧ ψ φ φ ∧ ψ ψ φ χ ψ χ χ φ ψ φ → ψ φ φ → ψ ψ φ ⊥ ¬φ φ ¬φ ⊥ ⊥ ⊥) ⊥ φ ¬¬ ¬¬φ φ

    Uploaded by

    vlcik
    12 views1 page
    This document outlines the basic rules of natural deduction in propositional logic. It lists the introduction and elimination rules for the logical connectives conjunction, disjunction, implication, negation, contradiction, and double negation. It also presents some useful derived rules like modus tollens and proof by contradiction.

    Original Description:

    Original Title

    null

    Copyright

    © Attribution Non-Commercial (BY-NC)

    Available Formats

    PDF, TXT or read online from Scribd

    Did you find this document useful?

    Is this content inappropriate?

    Report this Document
    This document outlines the basic rules of natural deduction in propositional logic. It lists the introduction and elimination rules for the logical connectives conjunction, disjunction, implication, negation, contradiction, and double negation. It also presents some useful derived rules like modus tollens and proof by contradiction.

    Copyright:

    Attribution Non-Commercial (BY-NC)
    Download as PDF, TXT or read online from Scribd
    Flag for inappropriate content
    Download as pdf or txt
    12 views1 page

    elimination φ ψ φ ∧ ψ φ ∧ ψ φ φ ∧ ψ ψ φ χ ψ χ χ φ ψ φ → ψ φ φ → ψ ψ φ ⊥ ¬φ φ ¬φ ⊥ ⊥ ⊥) ⊥ φ ¬¬ ¬¬φ φ

    Uploaded by

    vlcik
    This document outlines the basic rules of natural deduction in propositional logic. It lists the introduction and elimination rules for the logical connectives conjunction, disjunction, implication, negation, contradiction, and double negation. It also presents some useful derived rules like modus tollens and proof by contradiction.

    Copyright:

    Attribution Non-Commercial (BY-NC)
    Download as PDF, TXT or read online from Scribd
    Flag for inappropriate content
    Download as pdf or txt
    of 1

    1.

    2 Natural deduction 27

    The basic rules of natural deduction:


    introduction elimination

    φ ψ φ∧ψ φ∧ψ
    ∧ ∧i ∧e1 ∧e2
    φ∧ψ φ ψ

    φ ψ
    .. ..
    . .
    φ ψ φ∨ψ χ χ
    ∨ ∨i1 ∨i2 ∨e
    φ∨ψ φ∨ψ χ

    φ
    ..
    .
    ψ φ φ→ψ
    → →i →e
    φ→ψ ψ

    φ
    ..
    .
    ⊥ φ ¬φ
    ¬ ¬i ¬e
    ¬φ ⊥

    ⊥
    ⊥ (no introduction rule for ⊥) ⊥e
    φ

    ¬¬φ
    ¬¬ ¬¬e
    φ

    Some useful derived rules:


    φ → ψ ¬ψ φ
    MT ¬¬i
    ¬φ ¬¬φ

    ¬φ
    ..
    .
    ⊥
    PBC LEM
    φ φ ∨ ¬φ
    Figure 1.2. Natural deduction rules for propositional logic.

    You might also like