Scribd Logo
Upload

Welcome to Scribd!

  • Sentential Truth-Tree Rules

    Uploaded by

    Tim Milburn
    22 views1 page

    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

    Copyright:

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

    Sentential Truth-Tree Rules

    Uploaded by

    Tim Milburn

    Copyright:

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

    Sentential Truth-Tree ¬¬P

    Rules P

    P&Q ¬(P & Q)


    P
    Q ¬P ¬Q

    PvQ ¬(P v Q)
    ¬P
    P Q ¬Q

    P→Q ¬(P → Q)
    P
    ¬P Q ¬Q

    P↔Q ¬(P ↔ Q)

    P ¬P P ¬P
    Q ¬Q ¬Q Q

    You might also like