设G（x）：x是金子，F（x）：x是闪光的，则命题“金子是闪光的，但闪光的不一定是金子”可符号化为（）。