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

A.1. ( R ~ S ) T

2. R -> Q

3. T W

4. Q -> ~ S / W

5. R ~ S

6. T

7. W

B.

1. ~ ( A B )

2. ~ C D

3. C B / D

~ ( ~ A v B ) _________

5. A & ~ B _________

6. ~ D C _________

7. ~ D B _________

8. ~ B _________

9. D _________

Prove valid, using rules and equivalences.

1. ( A v B ) ~ ( C D )

2. ~ C / ~ B