问题 单项选择题

设F(x):x是人,G(x):x去过火星。下列公式中哪个(些)是命题"没有人去过火星"的符号化形式? Ⅰ. x(F(x)→ G(x) Ⅱ. x((x)→ G(x)) Ⅲ. x(x))∧G(x))

A. Ⅰ和Ⅱ

B. Ⅱ和Ⅲ

C. 只有Ⅲ

D. 全部

答案

参考答案:B

单项选择题
判断题