Scribd Logo
Upload

Welcome to Scribd!

  • Conditional Proposition Exercise

    Uploaded by

    izangel
    45 views1 page
    The document shows that: (a) p→q is equivalent to ~(p ∧ ~q), meaning p implies q is true if and only if it is not the case that p is true and q is false. (b) p↔q is equivalent to (p ∧ q) ∨ (~p ∧ ~q), meaning p if and only if q is true if and only if either both p and q are true or both are false. It then asks to determine if three pairs of propositions P and Q are equivalent, proving or disproving the determination.

    Original Description:

    Copyright

    © Attribution Non-Commercial (BY-NC)

    Available Formats

    DOC, PDF, TXT or read online from Scribd

    Did you find this document useful?

    Is this content inappropriate?

    Report this Document
    The document shows that: (a) p→q is equivalent to ~(p ∧ ~q), meaning p implies q is true if and only if it is not the case that p is true and q is false. (b) p↔q is equivalent to (p ∧ q) ∨ (~p ∧ ~q), meaning p if and only if q is true if and only if either both p and q are true or both are false. It then asks to determine if three pairs of propositions P and Q are equivalent, proving or disproving the determination.

    Copyright:

    Attribution Non-Commercial (BY-NC)
    Download as DOC, PDF, TXT or read online from Scribd
    Flag for inappropriate content
    45 views1 page

    Conditional Proposition Exercise

    Uploaded by

    izangel
    The document shows that: (a) p→q is equivalent to ~(p ∧ ~q), meaning p implies q is true if and only if it is not the case that p is true and q is false. (b) p↔q is equivalent to (p ∧ q) ∨ (~p ∧ ~q), meaning p if and only if q is true if and only if either both p and q are true or both are false. It then asks to determine if three pairs of propositions P and Q are equivalent, proving or disproving the determination.

    Copyright:

    Attribution Non-Commercial (BY-NC)
    Download as DOC, PDF, TXT or read online from Scribd
    Flag for inappropriate content
    of 1

    1.

    Show the following:

    a) pq  ~(p  ~q) b) pq  (p  q)  (~p  ~q)

    2. For each pair of propositions P and Q, state whether or not P  Q. Prove or disprove
    your answer.

    a) P = p , Q = pq
    b) P = ~p  (qr), Q = p  (~qr)
    c) P = p  (qr), Q = (pq)  (pr)

    You might also like