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
Sample solutions
5. All aardvarks are Bohemians. Nothing chipper is a bohemian. Alice is an aardvark. So, Alice is not chipper.
9. Some aardvarks are not bohemians. All chipper things are bohemains. So, some aardvark is not chipper.
35. If something is an aardvark, then everything is chipper. Everything that's not a bohemian is a downer. All bohemians are aardvarks. Something is neither a downer nor not chipper. So, everything is chipper.