问题详情
设F(x):x是火车;G(y):y是汽车;H(x,y):x比y快.
命题“某些汽车比所有的火车慢”的符号化公式是______.
A.(∃y)(G(y)→(∀x)(F(x)∧H(x,y))) B.(∀y)(G(y)∧(∃x)(F(x)→H(x,y)))
C.(∀x)(∃y)(G(y)→(F(x)∧H(x,y))) D.(∃y)(G(y)→(∀x)(F(x)→H(x,y)))