I hadn't noticed that the exam information was posted under the Day Section page. Note that "I", "My", etc. refer to Professor Rosenthal, but the exam information applies to both sections.
I will have office hours this last week of classes MW1-4 as usual. Next week they will be M1-4, R1-4 and R6-9.
RE and FSA lecture notes.
Predicate Logic lecture notes.
More about A3 Question 2: consensus among the lecturers is that you may not be able to get all the tautologies/contradictions to the canonical form mentioned below. So just get it to as obvious a tautology/contradiction as possible.
Part 1 of a summary of propositional logic.
As I've mentioned in the last three lectures: I'm now having my office hours from 1-4 on Mondays and Wednesdays.
Assignment 3, Question 2 (For those who didn't stay after the midterm last week): To show a propositional formula is a tautology or contradiction, reduce it to P \/ ~P or P /\ ~P, where P is some propositional formula.
The course is like the old course CSC238
The midterm is this Thursday, at 6:10PM in the lecture room. It covers chapters 1-3 of the text, and the first two assignments.
You are allowed to bring an aid sheet: one 8.5x11" piece of paper with anything on it that you like.
You can look at last year's midterm and final for practice.