设 F ( x )表示 x 是火车, G ( y )表示 y 是汽车, H ( x , y )表示 x 比 y 快,命题 “ 某些汽车比所有火车慢 ” 的符号化公式是( ) . prefix="o" ns="urn:schemas-microsoft-com:office:office" ?xml:namespace>
A.
y ( G(y) ® x ( F(x) Ù H( x,y )) )
B.
y ( G(y) Ù x ( F(x) ® H( x,y )) ) prefix="o" ns="urn:schemas-microsoft-com:office:office" ?xml:namespace>
C.
x y ( G(y) ® ( F(x) Ù H( x,y )) )
D.
y ( G(y) ® x ( F(x) ® H( x,y )) )