在一阶逻辑中,将下列命题符号化,并且要求只能使用全称量词。(1)没有人长着绿色头发;(2)有的上海市民没有去过东方明珠塔。

在一阶逻辑中,将下列命题符号化,并且要求只能使用全称量词。
(1)没有人长着绿色头发;
(2)有的上海市民没有去过东方明珠塔。
【正确答案】：(1)谓词P(x)表示“x是人”,H(x,y)表示“x有y”,G(x)表示“x是绿头发”,(1)表示为:∀x¬(P(x)⋀H(x,y)⋀G(y))。
(2)谓词S(x)表示“x是上海人”,G(x,y)表示“x去过y”,a表示东方明珠塔,(2)表示为:¬∀x(¬S(x)ⅤG(x,a))。