Try It Now

Work these exercises to see how well you understand this material.

Exercises

  1. Let d = "I like discrete structures", c = "I will pass this course" and s = "I will do my assignments". Express each of the following propositions in symbolic form:
    1. I like discrete structures and I will pass this course.
    2. I will do my assignments or I will not pass this course.
    3. It is not true that I both like discrete structures, and will do my assignments.
    4. I will not do my assignment and I will not pass this course.

  2. Let p ="2 5", q = "8 is an even integer", and r = "11 is a prime number". Express the following as a statement in English and determine whether the statement is true or false:
    1. ¬pq
    2. pq
    3. (pq) r
    4. p (q ∨ (¬r))
    5. p((¬q) ∨ (¬r))
    6. q) → (¬p)

 


Source: Al Doerr and Ken Levasseur, http://faculty.uml.edu/klevasseur/ads-latex/ads.pdf
Creative Commons License This work is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 3.0 License.