Solutions to this week's homework have been posted on the schedule page (as HW7&8).

Please study all those that you had difficulty with, but pay particular attention to problem 7, which is an invalid proof that fails to terminate. I realized after class that my semantic proof of the invalidity of this argument was hasty, so I've provided the explicit proof underneath.

Here is Tuesday's homework. Turn in the blue ones. Probably Thursday's homework will come from the same sheet, but it will like be expanded to include a few more problems.

To do this sheet you must know all four inference rules for the quantifiers. We have not yet reviewed existential elimination in class, so be sure to engage the video and/or slides and/or text regarding this rule before attempting the homework. You will also find it helpful to know the derived rules we discussed in class.

Note: The videos on the inference rules for quantifiers make use of some of the derived rules but also the equivalence DN. I have explained how this works on the top of the homework page and you are free to use it even though we have not yet introduced equivalences in general.

## Friday, September 28, 2018

## Wednesday, September 26, 2018

After working some more trees, we'll introduce Predicate logic derivations.

## Friday, September 21, 2018

We'll move on to trees in predicate logic.

Here is the homework for Tuesday and Thursday. Turn in the blue ones for Tuesday and the orange ones for Thursday.

## Thursday, September 20, 2018

I'll be posting next week's homework tomorrow.

## Tuesday, September 18, 2018

## Friday, September 14, 2018

Homework for Tuesday and Thursday of next week are below.

Tuesday homework

Turn in solutions to the first column.

Thursday homework

Turn in solutions to

__all__of the problems.

The relevant material is explained in weeks 3-5 of the schedule.

## Tuesday, September 11, 2018

Additionally, study the material from the first two lectures on predicate logic relating to names, variables and quantifiers.

## Monday, September 10, 2018

## Thursday, September 6, 2018

I will be out of town until Sunday evening, but you can still email me. I just might be slower than usual in answering.

## Wednesday, September 5, 2018

Also, I am not sure, but it is possible that in doing the second assigned problem from yesterday's homework I made an undetected transcription error that affected the answer. So please be sure to look at the correct one.

## Tuesday, September 4, 2018

Subscribe to:
Posts (Atom)