Scribd Logo
Upload

Welcome to Scribd!

  • 2020-12-02 CS137-8 OL151 Assignment 2.2

    Uploaded by

    Aika Natto
    11 views1 page
    (p→q)∧(q→r)]→(p→r) is a tautology, or always true statement, because based on the truth table, the proposition is true in all possible combinations of p, q, and r being true or false. The truth table shows that if p implies q and q implies r are both true, then p implying r must also be true.

    Original Description:

    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
    (p→q)∧(q→r)]→(p→r) is a tautology, or always true statement, because based on the truth table, the proposition is true in all possible combinations of p, q, and r being true or false. The truth table shows that if p implies q and q implies r are both true, then p implying r must also be true.

    Copyright:

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

    2020-12-02 CS137-8 OL151 Assignment 2.2

    Uploaded by

    Aika Natto
    (p→q)∧(q→r)]→(p→r) is a tautology, or always true statement, because based on the truth table, the proposition is true in all possible combinations of p, q, and r being true or false. The truth table shows that if p implies q and q implies r are both true, then p implying r must also be true.

    Copyright:

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

    [(p→q)∧(q→r)]→(p→r)

    q→ p→
    p q r p→q (p→q)∧(q→r) [(p→q)∧(q→r)]→(p→r)
    r r
    T T T T T T T T
    T T F T F F F T
    T F T F T T F T
    T F F F T F F T
    F T T T T T T T
    F T F T F T F T
    F F T T T T T T
    F F F T T T T T
    Conclusion: The conditional statement is a tautology because the proposition is always true

    You might also like