企源知识库

设S(x):x是人,G(x):x会思考,则命题“人都会思考”可符号化为___________。
【正确答案】：∀x(S(x)→G(x)）