单项选择题

设F(x):x是人,G(x):x去过火星。下列公式中哪个(些)是命题“没有人去过火星”的符号化形式?()

A.Ⅰ和Ⅱ
B.Ⅱ和Ⅲ
C.只有Ⅲ
D.全部