设F(x):x是火车;G(y):y是汽车;H(x,y):x比y快;则下列语句可以表示成公式∃x(F(x)→∀y(G(y)⋀H(x

设F(x):x是火车;G(y):y是汽车;H(x,y):x比y快;则下列语句可以表示成公式∃x(F(x)→∀y(G(y)⋀H(x,y)))的是
A、每列火车都比所有汽车快
B、每列火车都比某些汽车快
C、某些火车比某些汽车快
D、某些火车比所有汽车快
【正确答案】:D