令 F(x): x 是汽车, G( y): y 是火车, H(x, y): x 比 y 跑得快，则命题“有的火车比所有的汽车跑得快”可符号化为：

• A、

  xy(F(x) G( y) H(x, y))

• B、

   xy(F(x)  G( y)  H(x, y))  

• C、

  xy(F(x)  (G( y)  H(x, y)))

• D、

  xy(F(x)  G( y)  H(x, y)).