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

分类: 离散数学(02324) 发布时间: 2024-08-03 23:46 浏览量: 3
设S(x):x是人,G(x):x会思考,则命题“人都会思考”可符号化为___________。
【正确答案】:∀x(S(x)→G(x))