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 an immediate (one-step) consequence in FF of the given premises?

A) a=f(b,d)
B) a=f(b,b)
C) Pf(d,b)
D) (∀y) {Pf(x) ⊃ [Pf(x) • Pf(y) ]}
E) (∀y) {Pf(x,x) ⊃ [Pf(x,x) • Pf(x,x) ]}