Symbolic Logic (PHIL 4160)
Study Guide for Test 3
· Date: Tuesday April 3
· This test will be worth 20% of your total course grade. Possible score: 100 out of 100 points.
· This is a timed test. You will have 75 minutes to complete it.
· You will need to supply your own paper; I prefer that you use a blue book, but notebook paper is also acceptable. Do not write anything on your notebook or your blue book before the test begins, including your name—I will check your paper / blue book before the test starts to ensure you are beginning with blank paper.
Section A: Predicate Logic Symbolization (28% of test grade)
· similar problems are in your textbook: exercises 7-1, 7-3, 7-4, 7-5, 7-6, 7-9, 7-10
· INSTRUCTIONS: “Symbolize the following sentences, using the indicated letters. Indicate as much logical structure as possible in your symbolization. Assume an unrestricted domain of discourse.”
Section B: Translating from Predicate Logic into English (12% of test grade)
· similar problems are in your textbook: exercise 7-7
· INSTRUCTIONS: “Translate the following into English, being as colloquial as possible. Assume an unrestricted domain of discourse and use the following property constants and individual constants...”
Section C: Predicate Logic Proofs (60% of test grade)
· similar problems are in your textbook: 9-1, 9-3, 9-5
· INSTRUCTIONS: “Use the proof method to demonstrate that the following arguments are valid. You may use any rules we have covered so far (the original 18 rules, CP, IP, and the 5 quantifier rules).”