单项选择题
设F(x):x是人,G(x):x去过火星。下列公式中哪个(些)是命题“没有人去过火星”的符号化形式?()
A.Ⅰ和Ⅱ B.Ⅱ和Ⅲ C.只有Ⅲ D.全部
A.Ⅰ和Ⅱ B.Ⅱ和Ⅲ C.Ⅱ和Ⅳ D.Ⅰ、Ⅱ、Ⅲ和Ⅳ
A.-0.0101 B.0.0101 C.1.1011 D.1.101