Wednesday, November 14, 2018

Classes have been cancelled for Thursday 11/15.

Under the circumstances I have decided it is inappropriate to have the midterm on Tuesday 11/20, hence I will be changing it to Tuesday 11/27 instead.

This will obviously necessitate some other changes to the course schedule, which I need to think about, but will post here by Friday. 

This sucks. I hope you are all doing ok.

Tuesday, November 13, 2018

Please read post below to see what's happening on Thursday.

Here is a practice test for next Tuesday.

Here are the solutions (to all but the extra credit problem.)

I will use roughly the same models for the test on Tuesday. If I make any small changes, I will announce them by Monday night.  Proofs, as before, will be drawn from previous homework. Except for the extra credit problem.
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).

Monday, November 12, 2018

There will be no class on Tuesday November 13th. President Nelson has closed campus due to poor air quality.

Tomorrow I will assign homework for Thursday so that you may get credit for turning in homework on both days.

Thursday, November 8, 2018

Solutions to this week's homework are posted on the schedule page. In addition to the answers we provided in class, I have posted an explicit predicate logic proof of the first derivation. Even if you are happy with your understanding of what we did today, it is useful to see that it is possible to create explicit predicate logic proofs that appeal to the set-theoretic definitions in each step. It will also show you why we almost never do this.

For Tuesday, finish the proofs from this page, turning in numbers 6 and 7. Also finish reading 2.2 lecture slides and read 2.3 slides on functions as well.

Thursday's homework will come from this page, but we may do some of it on Tuesday, so I will wait until then to assign specific problems to turn in.

Wednesday, November 7, 2018

We will finish reviewing yesterday's homework on Thursday and then work on derivations.  For homework, turn in the last two problems on Tuesday's worksheet (which are both derivations) and attempt (but do not turn in) at least the first three of the 2nd worksheet in the previous post.

Friday, November 2, 2018

Complete solutions to this week's homeworks are posted on the schedule page.

Here is the homework for Tuesday.  Submit all except the last two problems.

The homework for Thursday will depend on what we get done on Tuesday, but it will probably involve some problems from here.

I will be updating your homework submissions this weekend and returning them to you on Tuesday.

Note that the 2nd midterm is scheduled for November 20th, which is the last class before Thanksgiving break.