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

来源:学生作业学帮网 编辑:学帮网 时间:2024/07/07 01:37:04

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