在一阶逻辑中,将下列命题符号化,并且要求只能使用存在量词。
(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))。