Scribd Logo
Upload

Welcome to Scribd!

  • 31 views

    Digital Assignment MAT1014: Discrete Mathematics and Graph Theory Max. Marks: 10 Slot: A1 & A2 (31/01/2020)

    Uploaded by

    Atmuri Duhitha Harsha 19MIS0271
    The document is a digital assignment for a discrete mathematics and graph theory course. It contains 11 problems related to propositional logic, predicate logic, and validity of arguments. The problems involve obtaining propositional normal forms, checking validity using truth tables, predicate logic statements, and logical inferences using rules of inference like contraposition.

    Copyright:

    © All Rights Reserved
    Download as PDF, TXT or read online from Scribd

    Digital Assignment MAT1014: Discrete Mathematics and Graph Theory Max. Marks: 10 Slot: A1 & A2 (31/01/2020)

    Uploaded by

    Atmuri Duhitha Harsha 19MIS0271
    31 views4 pages
    The document is a digital assignment for a discrete mathematics and graph theory course. It contains 11 problems related to propositional logic, predicate logic, and validity of arguments. The problems involve obtaining propositional normal forms, checking validity using truth tables, predicate logic statements, and logical inferences using rules of inference like contraposition.

    Original Title

    VL2019205000405_DA

    Copyright

    © © All Rights Reserved

    Available Formats

    PDF, TXT or read online from Scribd

    Did you find this document useful?

    Is this content inappropriate?

    The document is a digital assignment for a discrete mathematics and graph theory course. It contains 11 problems related to propositional logic, predicate logic, and validity of arguments. The problems involve obtaining propositional normal forms, checking validity using truth tables, predicate logic statements, and logical inferences using rules of inference like contraposition.

    Copyright:

    © All Rights Reserved
    Download as PDF, TXT or read online from Scribd
    Download as pdf or txt
    31 views4 pages

    Digital Assignment MAT1014: Discrete Mathematics and Graph Theory Max. Marks: 10 Slot: A1 & A2 (31/01/2020)

    Uploaded by

    Atmuri Duhitha Harsha 19MIS0271
    The document is a digital assignment for a discrete mathematics and graph theory course. It contains 11 problems related to propositional logic, predicate logic, and validity of arguments. The problems involve obtaining propositional normal forms, checking validity using truth tables, predicate logic statements, and logical inferences using rules of inference like contraposition.

    Copyright:

    © All Rights Reserved
    Download as PDF, TXT or read online from Scribd
    Download as pdf or txt
    of 4

    Digital Assignment

    MAT1014: Discrete Mathematics and Graph Theory


    Max. Marks: 10 Slot: A1 & A2 (31/01/2020)
    Reg. No: Name:

    ________________________________________________________________________________________________________________

    1. Obtain the PDNF (Canonical sum-of-products form) of 𝑷 ∨ (~𝑷 ∧ ~𝑸 ∧ 𝑹).

    2. Obtain the PCNF (Canonical Product-of-sums form) of ~𝑷 ∨ ~𝑸 → (~𝑷 ∧ 𝑹) using truth

    table.

    3. Test the validity of the following argument by method of contradiction.

    ((~𝑷 ↔ 𝑸) ∧ (𝑸  𝑹) ∧ ~𝑹) → 𝑷.

    4. Establish the validity of the following arguments.

    If Dominic goes to the racetrack, then Helen will be mad.

    If Ralph plays cards all night, then Carmela will be mad.

    If either Helen or Carmela gets mad, then Veronica (their attorney) will be notified.

    Veronica has not heard from either of these two clients.

    Consequently, Dominic didn't make it to the racetrack and Ralph didn't play cards all
    night.

    5. Establish the validity of the following arguments. (Predicate Calculus)

    No junior or senior is enrolled in a physical education class.


    Mary is enrolled in a physical education class.
    Thus Mary is not a senior.

    6. Check the validity of the following argument.

    All lions are fierce.


    Some lions do not drink coffee.
    So some fierce creatures do not drink coffee.

    1
    7. Show that 𝒙 (~𝑹 𝒙 → 𝑷 𝒙 ) logically follows from 𝒙 (𝑷 𝒙 ∨ 𝑸 𝒙 ) and

    𝒙 ( ~𝑷 𝒙 ∧ 𝑸 𝒙 → 𝑹 𝒙 ).

    8. Let 𝑷 𝒙 : 𝒙 > 3 and 𝑸 𝒙 : 𝒙 > 3.

    Is the statement 𝒙 (𝑷 𝒙  𝑸 𝒙 ) true?. Also find the converse, inverse and contrapositive of
    𝒙 (𝑷 𝒙  𝑸 𝒙 ) and verify the trueness of those statements.

    9. Let 𝑷 𝒙, 𝒚 , 𝑸(𝒙, 𝒚) and 𝑹(𝒙, 𝒚) represents three statments. What is the negation of the

    following statement? 𝒙 ∋ 𝒚 [ 𝑷 𝒙, 𝒚 ∧ 𝑸 𝒙, 𝒚 → 𝑹 𝒙, 𝒚 ].

    10. Using Rule CP, derive 𝑷 → ~𝑺 from P  (Q ∨ R), 𝑸 → ~𝑷, 𝑺 → ~𝑹 .

    11. Check the validity of the following argument.


    If the band could not play rock music or the refreshments were not delivered on time,
    then the New Year’s party would have been cancelled and Alicia would have been angry.
    If the party were cancelled, the refunds would have had to be made. No refunds were
    made. Therefore, the band could play rock music.

    2
    3
    4

    You might also like