Our first midterm will be on Wednesday, February 2. It will cover everything we have done in Chapter 1. For the book, that means Chapter 1 except for Sections 1.4 and 1.6. (I recommend also reading the Commentary on the sections covered.) For the homework, it means Problem Sets I, II, and III.
The ground rules: closed book; no calculators; paper is provided.
I will hold a "last chance" office hour on Tuesday, February 1, 5:30-7:00pm. (This is in addition to the usual office hours, and in addition to the " virtual office hours" website.)
Sample Question Forms
1. State the definition of ___. State the ___ theorem.
2. Is ___ a tautology? Does ___ tautologically imply ___? Is ___ tautologically equivalent to ___?
3. Prove (by induction on phi) that every wff phi has the property ___.
4. Show that a truth assignment v satisfies ___ if and only if ___.
5. Is the set ___ of connectives complete? Support your answer.
6. Prove ___.
7. Prove or refute ___.
8. Explain why ___ is decidable. Explain why ___ is semi-decidable.
Disclaimer: This list is not complete. Surely there are other possible question forms.