Philosophy 240: Symbolic Logic

Russell Marcus, Instructor. Email me.

Hamilton College, Spring 2008

Preparation for 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. The test will contain a few translations at the highest level of difficulty.

Part I:

§8.1:12, 20, 22, 29, 34, 41, 47, 48, 56, 57

Just translate the following two arguments:
§8.3: II.8
§8.4: II.3

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
m: Marvin
n: Nancy

§8.2: I.9, 11, 15
§8.3: I.6