Symbolic Logic (PHIL 4160)
Spring 2012

Study Guide for Test 2

· Date: Tuesday February 28

· 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: Proofs

· 5 problems worth 10 points each; 50 points total.

· similar problems are in your textbook: exercises 4-2, 4-5, 4-6, 4-8, 4-9, 4-10, 4-11, 4-12

· INSTRUCTIONS: “Use the proof method to demonstrate that each of the following arguments is valid. DO NOT use rules CP and IP in this section of the test. Use only the eight implicational rules and the ten equivalence rules.”

Section B: Conditional and Indirect Proofs

· 2 problems worth 10 points each; 20 points total.

· similar problems are in your textbook: exercises 5-1, 5-2 [which refers back to 4-13], 5-3, 5-4, 5-5

· INSTRUCTIONS: “Use the proof method to demonstrate that each of the following arguments is valid. You may use rules CP and IP, in addition to the eight implicational rules and the ten equivalence rules.”

Section C: Theorem Proofs

· 2 problems worth 5 points each; 10 points total.

· similar problems are in your textbook: exercise 5-6

· INSTRUCTIONS: “Use the proof method to demonstrate that the following sentences are theorems. You may use the eight implicational rules, the ten equivalence rules, CP, and IP.”

Section D: Inconsistency Proofs

· 2 problems worth 5 points each; 10 points total.

· similar problems are in your textbook: exercise 5-7

· INSTRUCTIONS:  “Use the proof method to demonstrate that the following arguments have inconsistent premises. You may use the eight implicational rules, the ten equivalence rules, CP, and IP.”

Section E: Short Truth Tables: Invalidity

· 1 problem worth 5 points.

· similar problems are in your textbook: exercise 3-10

· INSTRUCTIONS: “Use the short truth table method to prove that the following argument is invalid.”

Section F: Short Truth Tables: Consistency

· 1 problem worth 5 points.

· similar problems are in your textbook: exercise 3-11

· INSTRUCTIONS: “Use the short truth table method to prove that the following argument has consistent premises.”