(∀X)[Px ⊃ (∃Y)Qxy] ⊃ [(∃X)Px ⊃ (∃X)(∃y)Qxy]
-Which of the Following

Multiple Choice

(∀x) [Px ⊃ (∃y) Qxy] ⊃ [(∃x) Px ⊃ (∃x) (∃y) Qxy]
-Which of the following propositions is also derivable in F?

A) (∀x) [~(∃y) Qxy ⊃ ~Px] ⊃ [(∀x) Px $\lor$ ~(∃x) (∃y) Qxy]
B) (∀x) [Px ⊃ (∃y) Qxy] ⊃ [(∀x) ∼Px $\lor$ (∃x) (∃y) Qxy]
C) (∀x) [~(∃y) Qxy ⊃ ~Px] ⊃ [~(∀x) Px $\lor$ ~(∃x) (∃y) Qxy]
D) (∀x) [~(∃y) Qxy ⊃ ~Px] ⊃ ~[(∀x) Px $\lor$ ~(∃x) (∃y) Qxy]
E) (∀x) [Px ⊃ (∃y) Qxy] ⊃ [(∀x) ∼Px $\lor$ (∃x) (∃y) ~Qxy]