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 derivable from the given premises in FF?

A) Pf(a)
B) (∃x) Pf(x)
C) (∃x) (∀y) f(x) =y
D) (∃x) [(∃y) f(x) =y • ∼(∃y) f(y) =x]
E) f(a) =a