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