Test #4
Test 4 will cover only translations into and out of predicate logic. Here is a practice exam, a bit longer than the actual test.
Part I:
§3.1c: 11-16, 31-35, 50, 53
Part II:
Translate the following statements of predicate logic into English using the given key:
Ax: x is an aardvark
Bx: x is a bohemian
Cx: x is chipper
Dx: x is a downer
a: Alice
§3.3: 5, 9, 35
Click here for sample solutions to the Part II translations.