令F(x)x是金属，G(y)y是液体，H(x，y)x可以溶解在y中，则命题“任何金属可以溶解在某种液体中”可符号化为()ABCD