在一阶逻辑中,将下面命题符号化,并且要求只能使用全称量词:(1)没有人长着蓝色牙齿。(2)有的上海市民没有见过大海。

分类: 离散数学(02324) 发布时间: 2024-08-04 00:13 浏览量: 0
在一阶逻辑中,将下面命题符号化,并且要求只能使用全称量词:
(1)没有人长着蓝色牙齿。
(2)有的上海市民没有见过大海。
【正确答案】: