First Supplemental Homework Assignment

The following is the first supplemental homework assignment for Black’s PHIL 230,

Fall 2008.  In order to take the second Exam 2, you must submit this completed

assignment in your class on 6 November 2008.  (For the 11:00AM class, I will accept no

submissions of this assignment after 12:15PM on 6 November 2008.  For the 12:30PM class, I

will accept no submissions of this assignment after 1:45PM on 6 November 2008.)

Assignment: Using any of the available rules, give a finished D_SL proof for

the following arguments.

1. (G & S) Ú (G & ~T), ~R ® ~G, (T ® S) ® Q / \ R & Q

2. ~X Ú (M & O), (X ® O) ® ~M / \ ~X

3. Y & (~N Ú A), ~Y Ú N, (A & Y) ® ~~K / \ K

4. T ® R, R ® S, ~R « S / \ ~T & S

5. (R & S) Ú (R & ~E), (Y & O) ® (E & ~S), (O ® ~Y) ® L / \L

6. (B & C) ® D, B, Q ® ~(~C Ú D), ~Q « T / \T

7. ~P Ú (Q & ~R) / \ (R Ú R) ® ~P

8. A ® (B ® C) / \ (A ® B) ® (A ® C)

9.            E Ú T, T ® (B & H), (B Ú E) ® K / \K

10.          ~P ® (R & S), ~Q ® (R & T), ~(S Ú T) / \ P & Q