Scribd Logo
Upload

Welcome to Scribd!

  • 198 views

    Module 3 Handson - Solutions

    Uploaded by

    Technic Reality
    This document contains 6 problems involving proving the validity of arguments using discrete mathematical structures like propositional logic. The problems cover topics like valid/invalid arguments, direct proofs, and translating English language arguments into symbolic logic. Step-by-step workings are shown for each problem to demonstrate the logical steps taken to prove the arguments.

    Copyright:

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

    Module 3 Handson - Solutions

    Uploaded by

    Technic Reality
    198 views5 pages
    This document contains 6 problems involving proving the validity of arguments using discrete mathematical structures like propositional logic. The problems cover topics like valid/invalid arguments, direct proofs, and translating English language arguments into symbolic logic. Step-by-step workings are shown for each problem to demonstrate the logical steps taken to prove the arguments.

    Original Title

    Module 3 Handson_Solutions

    Copyright

    © © All Rights Reserved

    Available Formats

    DOCX, PDF, TXT or read online from Scribd

    Did you find this document useful?

    Is this content inappropriate?

    This document contains 6 problems involving proving the validity of arguments using discrete mathematical structures like propositional logic. The problems cover topics like valid/invalid arguments, direct proofs, and translating English language arguments into symbolic logic. Step-by-step workings are shown for each problem to demonstrate the logical steps taken to prove the arguments.

    Copyright:

    © All Rights Reserved
    Download as DOCX, PDF, TXT or read online from Scribd
    Download as docx, pdf, or txt
    198 views5 pages

    Module 3 Handson - Solutions

    Uploaded by

    Technic Reality
    This document contains 6 problems involving proving the validity of arguments using discrete mathematical structures like propositional logic. The problems cover topics like valid/invalid arguments, direct proofs, and translating English language arguments into symbolic logic. Step-by-step workings are shown for each problem to demonstrate the logical steps taken to prove the arguments.

    Copyright:

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

    Computer Science- CpSc 311

    Discrete Computational Structures

    CPSC 311 Hands-on: Mathematic Reasoning

    Problem 1:
    Prove the following argument is valid. Show your work step by step.

    If the car is not full, then it is not sunny.


    It is sunny or lunchtime.
    It is not lunchtime.

    Therefore, the car is full.

    P: car is full
    S: sunny.
    L: lunchtime.

    1) P  S
    2) S V L
    3) L
    -----------------------
    P

    4) S from 2 and 3

    5) S  P C.P of step 1

    6) P from 4 and 4
    Problem 2:
    Prove the following argument is valid. Show your work step by step.

    1)  A  (C  D)
    2) A  B
    3)  B
    ----------------
     C

    4) B  A C.P of 2
    5) A from 3 and 4
    6) (C  D) from 1 and 5
    7) C from 6

    Problem 3:
    Prove the following argument is valid. Show your work step by step.

    1) P  Q
    2) P   (Q  R)
    3) S  R
    ----------------
     S

    4) P from 1
    5)  (Q  R) from 4 and 2
    6) Q V R from 5
    7) Q from 1
    8) R from 6 and 7
    9) R  S C.P. of 3
    10) S from 8 and 9

    Problem 4:
    Determine whether the following argument is valid: show your work step by step.

    1) p
    2) p  q
    3) s  r
    4) r  q
    ----------------
     st

    5) q from 1 and 2
    6) q  r C.P. of 4
    7) r from 5 and 6
    8) s from 7 and 3
    9) s  t from 8

    Problem 5:
    If I get my salary raise AND my friends are free, I will take a canoe trip with my friends.
    If my friends don't find a job before spring break, then they will be free.
    I got my salary raise and my friends did NOT find a job before spring break.
    Therefore, I will take a canoe trip with my friends!

    S: my salary raise
    D: my friends are free,
    P: I will take a canoe trip with my friends.
    Q: my friends find a job before spring break,

    1) S  D  P
    2)  Q D
    3) S   Q
    -------------------
     P

    4)  Q from 3
    5) D from 2 and 4
    6) S from 3
    7) S  D from 5 and 6
    8) P from 1 and 7
    Problem 6:
    Give a direct proof of the following:

    a) If x is an odd integer and y is an even integer, then x + y is odd.

    x is odd and y is even, then


    x= 2*a +1
    y= 2*b

    x+y is odd?
    2*a +1 + 2*b =2*a + 2*b +1
    = 2(a+b) + 1
    = 2 * w + 1, where w = a+b
    Thus, x+y is odd

    b) The sum of two even integers is always even.

    X= 2 * a

    Y=2*b

    X+Y

    2*a+2*b

    2 * (a+b)

    2 * W, where W = a+b

    Thus, X+Y is even

    You might also like