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.
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.