Since we ran out of time to take the quiz in class on Wednesday, the first quiz will be a take-home quiz. You can download the pdf with the quiz exercises on OpenLab Files.

Please write out your solutions, scan to a pdf file, and submit on Blackboard by next Wednesday (Feb 23). Submit via the Quiz #1 assignment under “Content” on our Blackboard site (this link should take you there).

Also, as I discussed in class, the college is closed Monday (Feb 21) for President’s Day, and I will be out of town on Wednesday (Feb 23), so I need to cancel that class. Thus, our next class meeting will be Monday, Feb 28.

Please use next week to

  • finish the quiz, and review the material on propositional logic and truth tables if needed
  • review the material we have been covering on predicate logic (predicates and quantifiers, in Sec 1.4 of Rosen and in the “Chapter 1 – Part 2” slides)
  • start the HW#2 exercises on predicate logic (click on “Homework Assignments” in the menu above to see the list of homework exercises)