CSC 156 Spring 2026 - Homework 4 (100 pts. total)
Assigned Mon Feb 16, due Mon Feb 23Wed Feb 25
PART ONE: Complete the following Additional Exercises from the ZyBook and submit through
the HW4 link on Moodle. [Remember from the Syllabus that "you must include justification for each answer", so for each and every
question, do NOT just state the
answer. Also, please note that copying the question does NOT count as justification for your answer, and you are NOT required to copy the question.]
I. Additional Question 1: Let P(x) be the predicate (x is odd) ∨ (x < 8),
and let the domain be the set of numbers {6, 7, 8, 9, 10}.
[ 5 pts. ] a) Is ∀x P(x) true or false? Why?
[ 5 pts. ] b) Is ∃x P(x) true or false? Why?
[ 5 pts. ] c) Is ¬(∃x P(x)) true or false? Why?
[ 5 pts. ] d) Is ∃x ¬P(x) true or false? Why?
II. Section 1.6 Additional Exercises
[12 pts.] #1bcdg
[ 8 pts. ] #2be
[ 4 pts. ] #3b
[ 6 pts. ] #4cd
III. Section 2.1 Additional Exercises
[12 pts.] #1ce
[ 6 pts. ] #2a
PART TWO: [32 pts. total] Complete all ZyBook Participation Activities for Sections 2.1 and 2.2.
(I will receive the grade directly from ZyBook, so nothing to submit for this part.)
Last Modified: 2/22/26