填空题

设S(x):x是人,G(x):x会思考,则命题“人都会思考”可符号化为______。

【参考答案】