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.

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.

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.

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.

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.

I've posted the solutions to the two assigned problems on the schedule page. Normally I post the problems to all of the assigned problems, but trees are kind of tedious. So, instead I've posted more practice trees with solutions under the headings More 1 and More 2.

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.

Here is the homework for Thursday. I will post the solution to today's homework tomorrow morning. Thursday we will review some of the homework problems and then talk about conditional and indirect proof.