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.