In addition, working with a three-value logic is required for an required for honors credit in the course.

You should have worked through the PLNQD drills provided with the different pages (slips) and practiced as much as possible with examples of your own.

Before the final you should work through the review exercises in either PLN or conventional notation (or both). Generally you will want to use consistency trees for testing, and you should ordinarily use conventional notation for problems involving two-place predicates and multiple quantitifiers. Be sure to practice with the symbolizations and derivations using these more complicated patterns.