成人高等教育 / 离散数学(上)
正确率:100%
在全总个体域下,用一阶逻辑将命题“有的人天天锻炼身体”符号化为
- A、
x(G(x)), 其中, G(x): x 人天天锻炼身体. - B、
x(F(x)
G(x)), 其中, F(x): x 是人, G(x): x 天天锻炼身体. - C、
x(F(x)
G(x)), 其中, F(x): x 是人, G(x): x 天天锻炼身体. - D、
x(F(x)
G(x)), 其中, F(x): x 是人, G(x): x 天天锻炼身体.
参考答案:
佳题速递: