有的火车比有的汽车快,命题符号话,这样写对吗?

问题描述:

有的火车比有的汽车快,命题符号话,这样写对吗?
F:x是火车
G:y是汽车
H(x,y):x比y快
∃xF(x)∧∃xG(x)→H(x,y)

∃x∃y(F(x)∧G(y)∧H(x,y))
存在命题一般都是合取式