Posted by
**Ann** on
.

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

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