成人高等教育 / 计算机应用基础
正确率:100%
在全总个体域下,用一阶逻辑将命题“火车都比轮船快”符号化不正确的有:
- A、
"x"y(F(x) ÙG(y) ®H(x,y)), 其中, F(x): x 是火车, G(y): y 是轮船, H(x,y):x 比 y 快.
- B、
"x"y(F(x) ÙG(y) ÙH(x,y)), 其中, F(x): x 是火车, G(y): y 是轮船, H(x,y):x 比 y 快.
- C、
"x"y(F(x) ®G(y) ®H(x,y)), 其中, F(x): x 是火车, G(y): y 是轮船, H(x,y):x 比 y 快.
- D、
"x"y(F(x) ÙG(y) ÚH(x,y)), 其中, F(x): x 是火车, G(y): y 是轮船, H(x,y):x 比 y 快.
参考答案:
佳题速递: