设F(x):x是人,G(x):x去过火星。下列公式中哪个(些)是命题"没有人去过火星"的符号化形式?
【正确答案】 B
【答案解析】