成人高等教育 / 离散数学(上)
正确率:100%
在全总个体域下,用一阶逻辑将命题“不存在比所有火车都快的汽车”符号化,下面不正确的为
- A、
x(F(x) y(G(y) H(x,y))),其中, F(x): x 是汽车, G(y): y 是火车, H(x,y):x 比 y 快.
- B、
x(F(x) y(G(y) H(x,y))), 其中, F(x): x 是汽车, G(y): y 是火车, H(x,y):x 比 y 快.
- C、
x(F(x) y(G(y) H(x,y))) 或x(F(x) y(G(y) H(x,y))), 其中, F(x): x 是汽车, G(y): y 是火车, H(x,y):x 比 y 快.
- D、
x(F(x) y(G(y) H(x,y)))其中, F(x): x 是汽车, G(y): y 是火车, H(x,y):x 比 y 快.
参考答案:
佳题速递: