Handouts and Assignments
Preparation for Test #2 (Practice Proofs from class)
Preparation for Test #3 (Practice Proofs from class)
More Practice with Predicate Logic Translations (in M) (Solutions)
A note on 'and's in antecedents of quantified formulas
A note on charity and translation (and goats and cows)
Translation from Predicate Logic (Solutions)
Preparation for Test #5 (More Practice Problems; Solutions)
Preparation for Test #6 (Practice Problems for Test #6; Solutions)