Question

急急急！今天用！离散数学的综合题目

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

Answer 1

1) 设M(x)：x是人；

          F(x)：x长着绿色头发。

则a可表示为：

2) 设M(x)：x为上海市民；

      F(x)：x去过东方明珠塔。

则b可表示为：

Answer 2

-*