[(∀X)Pax • ∼(∃X)Pxa] ⊃ (∀X)(Pax • ∼Pxa)
-Which of the Following

[(∀x) Pax • ∼(∃x) Pxa] ⊃ (∀x) (Pax • ∼Pxa)
-Which of the following propositions is also derivable in F?

A) [(∃x) ∼Pax $\lor$ ~(∃x) Pxa] $\lor$ (∀x) (Pax • ∼Pxa)
B) [(∃x) ∼Pax $\lor$ (∃x) Pxa] $\lor$ (∀x) (Pax • ∼Pxa)
C) [(∃x) Pax $\lor$ (∃x) Pxa] $\lor$ (∀x) (Pax • Pxa)
D) [(∃x) Pax $\lor$ ~(∃x) Pxa] $\lor$ (∀x) (Pax • ∼Pxa)
E) [(∃x) ∼Pax • (∃x) Pxa] • (∀x) (Pax • ∼Pxa)