1 F ⊃ [(G $\lor$ H) ⊃ I]
-Consider Assuming 'F' for Conditional Proof

Multiple Choice

1. F ⊃ [(G $\lor$ H) ⊃ I]
-Consider assuming 'F' 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) G $\lor$ H
B) (G $\lor$ H) ⊃ I
C) [F • (G $\lor$ H) ] ⊃ I
D) All of the above
E) Options B and C, but not option A