在全总个体域下，用一阶逻辑将命题“凡是汽车就比火车慢，这是不对的”符号化，下面正确的有

• 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 慢.