有的火车比有的汽车快,命题符号话,这样写对吗?
问题描述：
有的火车比有的汽车快,命题符号话,这样写对吗?
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））
存在命题一般都是合取式