Use any of the 8 Inference Rules and any of the following Replacement Rules (Double Negation, DeMorgans, Contraposition, Material Implication, Material Equivalence) to provide a derivation for each of the following items:
1. P ⊃ ∼Q
2. R ⊃ Q
3. (P ⊃ ∼R) ⊃ S / S
2. P ∨ Q
∼Q ∨ R / P ∨ R
∼(P≡∼Q)
P / Q
A ∨ (B ∨ A)
∼(B∨C)
A ⊃ D /D
(P ∙ Q ) ⊃ R
∼(R ∨ S) / P ⊃ ∼Q