设S（x）：x是人，G（x）：x 会思考，则命题“人都会思考”可符号化为_____。