计算题 设个体域为D={x|x为人}，将命题符号化：有的美国人不住在美国。