令F(x):x是火车,G(y):y是汽车,H(x,y):x比y快,则命题“说火车都比汽车快是不对的”的符号化形式为

令F(x):x是火车,G(y):y是汽车,H(x,y):x比y快,则命题“说火车都比汽车快是不对的”的符号化形式为
A、∀x∀y((F(x)⋀G(y)) →H(x,y))
B、¬∀x∀y((F(x)⋀G(y)) →H(x,y))
C、¬∀x∀y (F(x)⋀G(x)⋀H(x,y))
D、∃x∃y((F(x)⋀G(x))→H(x,y))
【正确答案】：B