Wednesday, October 18, 2017

Solutions to yesterday's homework are here and on the schedule page as HW12.  Note a couple of important points:

1. The last problem we worked in class was problem 13, and I said something that was incorrect about the limitations imposed by the rule for existential elimination.  Please study the solution I've given (which is actually the first way we did in class) and the corresponding note, and make sure you understand why it is in fact permissible. (I did not include the ~I proof we did instead. It is fine, but unnecessary.)

2. The solutions, and now the original homework, include a few extra problems. You will not be turning them in, but you should be sure you can do them, as they are fair game for future tests.

Thursday's homework on modal logic is below.

Tuesday, October 17, 2017

Here is the homework for Thursday. Turn in answers to all of the problems. You'll need to engage the text and/or slides on Leibnizian modal logic in order to do these.

I'll have the solutions to all of the homework problems from today posted by tomorrow morning.

Saturday, October 14, 2017

Test 1 is graded and grades are posted to SacCT. The grade on SacCT reflects a 2.5 point curve.  Your raw score, which you will see on the front of the test when it is returned, will be 2.5 points less. Check to be sure that your scores reflect this.

Friday, October 13, 2017

Solutions to the first 9 problems from yesterday's homework are posted here and on the schedule page as HW 11.

For Tuesday we'll work more on identity and functions. (See my presentation on the latter on the schedule page.)

This is Tuesday's homework. Turn in 2, 4, 6, 8, 13 and 15.

Thursday we will probably move on to Leibnizian modal logic. So you should read my slides in the schedule page and/or the corresponding chapter in the text.  I need to wait until Tuesday to make Thursday's turn-in assignment.

Tuesday, October 10, 2017

Here and on the top of the schedule page is a link to the solutions for today's test. Thursday's homework is below.

Friday, October 6, 2017

For Thursday we will do a few of the proofs requiring universal introduction from the last worksheet, and then move on to this one which covers quantifier exchange equivalences and identity. Tun in numbers 1, 4 and 6.

Quantifier exchange and identity are covered here and in the text.
As noted below, the model used in the test is the same as for the practice exam, but I have removed functions, so this is what you will actually see. Click to enlarge.