设令F(x):x是火车，G(x):x是汽车，L(x,y):x比y快。命题“有的火车比有的汽车快”的符号化形式为

设令F(x):x是火车，G(x):x是汽车，L(x,y):x比y快。命题“有的火车比有的汽车快”的符号化形式为
A、∀x(F(x)→∀y(G(y)→L(x,y)))
B、∃x(F(x)⋀∃y(G(y)⋀L(x,y)))
C、¬∃y(G(y)⋀∀x(F(x)→L(y,x)))
D、¬∀y(G(y)→∀x(F(x)→L(x,y)))
【正确答案】：B