Scribd Logo
Upload

Welcome to Scribd!

  • Activity 4 MMW (Cruz, Francis Paulo M.)

    Uploaded by

    Francis Paulo Cruz
    14 views1 page
    This document contains 3 logic statements: 1. (P→Q)v(Q→P) is a tautology, meaning it is always true regardless of the truth values of P and Q. 2. ~[P→(PvQ)] is a self-contradiction, meaning it can never be true no matter the truth values. 3. [(PvQ ) v (~Q v R) )] is a tautology, which is always true for any truth value assignment of P, Q, and R.

    Original Description:

    activity

    Copyright

    © © All Rights Reserved

    Available Formats

    DOCX, PDF, TXT or read online from Scribd

    Did you find this document useful?

    Is this content inappropriate?

    Report this Document
    This document contains 3 logic statements: 1. (P→Q)v(Q→P) is a tautology, meaning it is always true regardless of the truth values of P and Q. 2. ~[P→(PvQ)] is a self-contradiction, meaning it can never be true no matter the truth values. 3. [(PvQ ) v (~Q v R) )] is a tautology, which is always true for any truth value assignment of P, Q, and R.

    Copyright:

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

    Activity 4 MMW (Cruz, Francis Paulo M.)

    Uploaded by

    Francis Paulo Cruz
    This document contains 3 logic statements: 1. (P→Q)v(Q→P) is a tautology, meaning it is always true regardless of the truth values of P and Q. 2. ~[P→(PvQ)] is a self-contradiction, meaning it can never be true no matter the truth values. 3. [(PvQ ) v (~Q v R) )] is a tautology, which is always true for any truth value assignment of P, Q, and R.

    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 1

    Cruz, Francis Paulo M.

    I.

    1. (P→Q)v(Q→P)

    P Q P→Q Q→P (P→Q)v(Q→P)


    T T T T T
    T F F T T
    F T T F T
    F F T T T
    -Tautology

    2. ~[P→(PvQ)]

    P Q PvQ [P→(PvQ)] ~[P→(PvQ)]


    T T T T F
    T F T T F
    F T T T F
    F F F T F
    -Self Contradiction

    3. [(PvQ ) v (~Q v R) )]

    P Q R PvQ ~Q ~QvR [(PvQ ) v (~Q v R) )]


    T T T T F T T
    T T F T F F T
    T F T T T T T
    T F F T T T T
    F T T T F T T
    F T F T F F T
    F F T F T T T
    F F F F T T T
    -Tautology

    You might also like