设F（x）：x具有性质F，G（x）：x具有性质G。命题“对所有的x而言，若x有性质F，则x就有性质G”的符号化形式为（）。