Complete the following proofs by filling in the blanks as appropriate.

Use the 7 rules only.

A.1. R -> Q

2. Q -> ~ S

3. ( R ~ S ) T

4. T W / T & W

5. R ~ S ______1, 2, CA_________

6. T _______________

7. W _______________

8. T & W _______________

B.1. C B

2. ~ ( A B )

3. ~ C D / D

4. _______A v B________ 2, IMPL

5. _______A & B________ 4, DEM

6. _______________ 5, SIM

7. _______~B -> ~C________ 1, CONTR

8. _______~B -> D________ 3,7, CA

9. D _______________