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, especially Part II.
Part I:
§8.1:12, 20, 22, 29, 34, 41, 47, 48, 56, 57, 59
Just translate the following two arguments:
§8.3: II.8
§8.4: II.3Part 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
m: Marvin
n: Nancy§8.2: I.9, 11, 15
§8.3: I.6