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