1. (∀X)(∀y){Pf(x,y) ⊃ [Pf(x,x) • Pf(y,y)]}

Multiple Choice

1. (∀x) (∀y) {Pf(x,y) ⊃ [Pf(x,x) • Pf(y,y) ]}
2. a=f(d,b)
3. Pa
-Which of the following propositions is derivable from the given premises in FF?

A) Pf(b,b)
B) Pf(b,d)
C) Pf(a,a)
D) Pf(a,d)
E) Pf(d,a)