成人高等教育 / 离散数学(上)
正确率: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 (F(x) ®"y (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 慢.
参考答案:
佳题速递: