1. (∀X)(Ecx ⊃ X=d)

1. (∀x) (Ecx ⊃ x=d)
2. (∀x) {(Fx • Gx) ⊃ (∀y) [(Fy • Gy) ⊃ y=x]}
3. (∃x) (Fx • Gx • Ecx)
4. Fa • Ga
-Which of the following propositions is an immediate (one-step) consequence in F of the given premises?

A) Fb • Gb • Ecb
B) (Fc • Gc) ⊃ (∀y) [(Fy • Gy) ⊃ y=x]
C) Fc • Gc • Ecc
D) Ecd ⊃ c=d
E) (Fx • Gx) ⊃ (∀y) [(Fy • Gy) ⊃ y=c]