Test #5
Test #5 will have three parts. In the first part (30%), you will be asked to demonstrate the invalidity of some arguments in M, using our method of expansion into finite domains. In the second part (30%), you will be asked to translate some sentences of English into relational predicate logic, F. In the third part of the test (40%) you will be asked to derive the conclusions of some arguments in F.
Here is a practice test, a little longer than the real thing.
§3.7: 6, 9, 31
§3.8c: 1-4, 10-14
§3.10a: 4, 15, 18