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