1 G ⊃ (H ⊃ I)
2 $\lor$ I)

Multiple Choice

1. G ⊃ (H ⊃ I)
2. ∼(J ⊃ I)
3. ∼G ⊃ ∼J
-Consider assuming 'G' for conditional proof. Which of the following propositions is an immediate (one-step) consequence in PL of the given premises with that further assumption for conditional proof?

A) H ⊃ I
B) ∼J ⊃ ∼I
C) J
D) ∼J
E) ∼(J $\lor$ I)