1. (∀X){Px ⊃ (∃Y)[Py • F(x)=y]}

Multiple Choice

1. (∀x) {Px ⊃ (∃y) [Py • f(x) =y]}
2. Pa • (∀x) f(x) ≠a
-Which of the following propositions is an immediate (one-step) consequence in FF of the given premises?

A) Pf(a)
B) f(a) =a
C) Pa ⊃ (∃y) [Py • f(a) =y]
D) Pa ⊃ (∃y) [Pa • a=y]
E) Pa ⊃ [Pb • f(b) =a]