Try It Now
Work these exercises to see how well you understand this material.
Exercises
- 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:
- I like discrete structures and I will pass this course.
- I will do my assignments or I will not pass this course.
- It is not true that I both like discrete structures, and will do my assignments.
- I will not do my assignment and I will not pass this course.
- 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:
- ¬p ∧ q
- p → q
- (p ∧ q) → r
- p → (q ∨ (¬r))
- p → ((¬q) ∨ (¬r))
- (¬q) → (¬p)
Source: Al Doerr and Ken Levasseur, http://faculty.uml.edu/klevasseur/ads-latex/ads.pdf This work is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 3.0 License.