proof for the following arguments P  ∨  Q ( R  •  S ) • ...

proof for the following arguments

1. P ∨ Q
2. (R • S) • L / [(L • R) • P] ∨ [(L • R) • Q]

1. G ⊃ ∼∼H
2. G • ∼(K • H) / ∼K

1. ∼(P • Q)
2. .R
3. [S ⊃ (P • Q)] • (R ⊃ L)
4. S ∨ R / ∼P ∨ (∼Q • L)