This morning I will be posting the complete solutions to Thursday's homework, including for the proofs we haven't gone over yet.  Please make serious attempts to do all of them on your own, then study the solutions and come Thursday with questions if you have any. Obviously this means that I am posting the solutions for the homework that is due today. On Thursday, please turn in what was your best attempt before looking at the solutions.

For Thursday please do and turn in all of the problems from this worksheet. You will need to review both sets of  slides and/or text from week 12.

We will remain on track for having the test on the 20th. I will put up a practice test and solutions tomorrow so you can see what it will cover (modal logic, free logic and introductory set theory).