Points for each assignment
HW1: 9.9: 2 points per part, total 8 pts. 9.11: 3 points 9.12: 3 points 9.14: 2 points per part, total 16 pts. 9.18: 2 points Difference between meaning of complete in section 9.2 and section 9.7: 2 points Use of theorem 9.7 in support of the argument "The propositional calculus does not tolerate inconsistency, and therefore it is a bad candidate for representation of human reasoning": 2 points; total: 36 points.
HW2: 2 points per exercise. Total: 30 points.
HW3: 5 points per exercise. Total: 15 points