(∃X)[Px • (∃Y)(Qy • Y=x)] ⊃ (∃X)(Px • Qx)
-Which $\lor$

(∃x) [Px • (∃y) (Qy • y=x) ] ⊃ (∃x) (Px • Qx)
-Which of the following propositions is also derivable in F?

A) (∀x) (Px ⊃ (∀y) (Qy ⊃ y≠x) ] $\lor$ (∀x) (Qx ⊃ ~Px)
B) (∀x) (Px ⊃ ∼Qx) ⊃ (∀x) [Px ⊃ (∀y) (Qy ⊃ y≠x) ]
C) (∀x) [Px ⊃ (∀y) (Qy ⊃ y=x) ] ⊃ (∀x) (Qx ⊃ ~Px)
D) (∀x) [Px ⊃ (∀y) (Qy ⊃ y≠x) ] ⊃ (∀x) (Px ⊃ ~Qx)
E) (∀x) (Px ⊃ ~Qx) $\lor$ (∃x) (Px • Qx)