[phil 114] Philosophy Logic

derivation:

1. (x)(D(x) E(x)) Premise

2. (y)(D(y) y = d) Premise

. . .

n. (D(d) (x)E(x)) Goal

Would you explain step by step? Thanks!