问题
单项选择题
设F(x):x是人,G(x):x去过火星。下列公式中哪个(些)是命题"没有人去过火星"的符号化形式? Ⅰ. x(F(x)→ G(x) Ⅱ. x((x)→ G(x)) Ⅲ. x(x))∧G(x))
A. Ⅰ和Ⅱ
B. Ⅱ和Ⅲ
C. 只有Ⅲ
D. 全部
答案
参考答案:B
设F(x):x是人,G(x):x去过火星。下列公式中哪个(些)是命题"没有人去过火星"的符号化形式? Ⅰ. x(F(x)→ G(x) Ⅱ. x((x)→ G(x)) Ⅲ. x(x))∧G(x))
A. Ⅰ和Ⅱ
B. Ⅱ和Ⅲ
C. 只有Ⅲ
D. 全部
参考答案:B