填空题

设F(x):x具有性质F,G(y):y具有性质G。命题“若所有的x都有性质F,则所有的y都有性质G”的符号化形式为()。

【参考答案】