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. ¬p ∧ q
    2. p → q
    3. (p ∧ q) → 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.