Scribd Logo
Hochladen

Willkommen bei Scribd!

  • Examination

    Hochgeladen von

    epeguam
    16 Ansichten1 Seite
    This document outlines the rules of sentential logic, including introduction and elimination rules for connectives such as conjunction (&), disjunction (∨), conditional (→), negation (∼), and others. It provides the premises and conclusions for each rule of inference.

    Originalbeschreibung:

    Examination

    Copyright

    © © All Rights Reserved

    Verfügbare Formate

    PDF, TXT oder online auf Scribd lesen

    Stufen Sie dieses Dokument als nützlich ein?

    Sind diese Inhalte unangemessen?

    Dieses Dokument melden
    This document outlines the rules of sentential logic, including introduction and elimination rules for connectives such as conjunction (&), disjunction (∨), conditional (→), negation (∼), and others. It provides the premises and conclusions for each rule of inference.

    Copyright:

    © All Rights Reserved
    Als PDF, TXT herunterladen oder online auf Scribd lesen
    Markieren Sie unangemessene Inhalte
    16 Ansichten1 Seite

    Examination

    Hochgeladen von

    epeguam
    This document outlines the rules of sentential logic, including introduction and elimination rules for connectives such as conjunction (&), disjunction (∨), conditional (→), negation (∼), and others. It provides the premises and conclusions for each rule of inference.

    Copyright:

    © All Rights Reserved
    Als PDF, TXT herunterladen oder online auf Scribd lesen
    Markieren Sie unangemessene Inhalte
    von 1

    RULES FOR SENTENTIAL LOGIC

    &I
    A
    B

    A&B

    A
    B

    B&A

    A&B

    A&B

    BA

    no such thing (see CD)

    &D

    AB
    A

    AB
    B

    D(ID)

    AC
    C

    CD
    (A C)

    A & C

    : A
    |A
    |: 
    ||

    DD
    A
    A

    : AC
    |A
    |: C
    ||
    D

    DN

    I

    : AB
    |(AB)
    |
    ||

    (A B)

    A
    B
    O

    AC
    A

    : A&B
    |A
    ||
    |B
    ||

    (A & B)

    A B

    O
    A

    AB

    &O

    &O

    ID
    : A
    |
    |
    |A

    : A
    |A
    |: 
    ||

    Das könnte Ihnen auch gefallen