(∃X)[Px • (∃Y)(Qy • Y=x)] ⊃ (∃X)(Px • Qx)

Multiple Choice

(∃x) [Px • (∃y) (Qy • y=x) ] ⊃ (∃x) (Px • Qx)
-Consider assuming '(∃x) [Px • (∃y) (Qy • y=x) ]' for a conditional proof of the above logical truth. Which
Of the following propositions is a legitimate second step in that proof?

A) (∃y) (Qy • y=x)
B) Px • (Qx • x=x)
C) Pg • (∃y) (Qy • y=g) ]
D) Px • (∃y) (Qy • y=x)
E) Assume '(∃x) (Px • Qx) ' for a nested indirect proof.