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.