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

question 143

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]