令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