Question

For each of the following, construct a derivation of the conclusion from the premises:

1. (P & Q) & ∼R; S → R / Q & ∼S

2. (A ∨ B) → (C & D) / A → C

3. S → (A ∨ C); ∼A & S / C

4. (F ∨ G) → ∼A; A ∨ W; F & T / W

5. P → (Q → R) / (∼Q → ∼P) → (P → R)

6. P & ∼P / Q

7. (A & R) → (B ∨ ∼A); B ↔ C; D & R / A → C

8. (K ∨ L) → (P & Q); X → K; ∼Q ∨ R / X → R

9. (N & M) & G; (N ∨ S) → W / W


Please answer all nine question????