翻译为为汉语.E(x)为“x是偶数”D(x,y)为“x除尽y”∀x(E(x)→(∀y)(D(x,y)→E(x)))

Question

翻译为为汉语.
E(x)为“x是偶数”
D(x,y)为“x除尽y”
∀x(E(x)→(∀y)(D(x,y)→E(x)))

Answer 1

　　应该是
　　　　∀x(E(x)→(∀y)(D(x,y)→E(y))),
翻译为汉语就是：对所有的偶数 x,如果对所有整数 y,x 都能除尽 y,则 y 必是偶数.