Friday, September 21, 2018

On Tuesday we will review formation rules for predicate logic and consider any of the formula evaluation problems from yesterday that remain perplexing to you (or that you suspect have been answered wrongly on the solution sheet).

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've posted the solutions today's homework here and on the schedule page. Each solution is accompanied by a proof, which you should work to understand and work to be able to produce.

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

Tuesday, September 18, 2018

I've posted the solutions to the entire homework from today here and on the schedule page. We'll go over some more of these on Thursday, but the homework for Thursday assigned below remains the same.

Friday, September 14, 2018

Solutions to the homework from last week have been posted on the schedule page.

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

For Thursday's homework, try to finish this sheet from today. I indicated two other problems to turn in for homework in blue.

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

Monday, September 10, 2018

I mentioned in class that I will normally be putting up homework for Thursday before class on Tuesday. This time, however, the homework will be more propositional logic problems of the sort that I have assigned for you on Tuesday, but which ones depends on how much work we get done in class.

Thursday, September 6, 2018

Here is the homework for Monday. Turn in the blue ones. We will be covering proofs using the hypothetical rules of Conditional Introduction and Negation Introduction. If this material is new for you, please spend time with the relevant videos.

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