How would you construct a proof to show that the following arguments are valid?

Question

1. TvH
2. T→G
3. ~H ֶG

1. ~~A
2. ~A v C ֶC

1. S • T
2. (S • T) → G
3. G →(H v B) ֶ H v B

1. A →B
2. C →D
3. A v C
4. ~D ֶ B