Scribd Logo
Upload

Welcome to Scribd!

  • Zs 220402845

    Uploaded by

    Abdullah Ansari
    11 views2 pages
    This document contains two questions from a logic assignment. Question 1 asks the student to determine if the statement (q → p) → q is a tautology. The student uses logic laws to show it is a tautology. Question 2 asks the student to use a truth table to determine if the argument form p→q, p ∨ r ⊨ r is valid or invalid. The student finds it is invalid because there are two rows in the truth table where the premises are true but the conclusion is false.

    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
    This document contains two questions from a logic assignment. Question 1 asks the student to determine if the statement (q → p) → q is a tautology. The student uses logic laws to show it is a tautology. Question 2 asks the student to use a truth table to determine if the argument form p→q, p ∨ r ⊨ r is valid or invalid. The student finds it is invalid because there are two rows in the truth table where the premises are true but the conclusion is false.

    Copyright:

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

    Zs 220402845

    Uploaded by

    Abdullah Ansari
    This document contains two questions from a logic assignment. Question 1 asks the student to determine if the statement (q → p) → q is a tautology. The student uses logic laws to show it is a tautology. Question 2 asks the student to use a truth table to determine if the argument form p→q, p ∨ r ⊨ r is valid or invalid. The student finds it is invalid because there are two rows in the truth table where the premises are true but the conclusion is false.

    Copyright:

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

    ZS220402845

    Abdullah Bin Khalil


    MTH001 Assignment No.1
    Semester Fall 2022

    Question: 1

    Verify by using the laws of logic whether the following statement is a Tautology or not:
    ( q → p) → q

    Solution:

    ~(~q → p) → ~ q

    = ( q ˅ p )→ q Implication Law

    = ~ [ ~ (q ˅ p )] ˅ q Implication Law

    = (q˅ p ¿ ˅ q Double Negation Law

    = (p˅ q ¿ ˅ p Commutative Law

    =P˅¿ ) ( p˅ q ¿ ˅r =p ˅(q ˅r )

    = p˅t Negation Law: q˅~q=t

    = t TRUE Universal Bond Law: q˅t = t

    This is a Tautology statement.


    Question: 2

    Using the truth table, determine whether the following argument form is valid or invalid:

    p→q
    p ˅r
    ∴r

    Solution:

    P Q R p→q P˅R r
    T T T T T T Critical Row
    T T F T T F Critical Row
    T F T F T T
    T F F F T F
    F T T T T T Critical Row
    F T F T F F
    F F T T T T Critical Row
    F F F T F F

    Given Argument is invalid because there are 2 same premises.

    You might also like