Philosophy 240: Symbolic Logic

Russell Marcus, Instructor. Email me.

Hamilton College, Spring 2008

Preparation for Test 5

Test 5 will cover only translations into and out of predicate logic.

Here is a practice exam, maybe 50% longer than the actual test.

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

Just translate the following four arguments
§8.2: II.2, 8
§8.3: II.2, 8

Translate the following statements of predicate logic into English using the following 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