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

来源:学生作业帮助网 编辑:六六作业网 时间:2024/12/21 12:10:57
有的火车比有的汽车快,命题符号话,这样写对吗?F:x是火车G:y是汽车H(x,y):x比y快∃xF(x)∧∃xG(x)→H(x,y)有的火车比有的汽车快,命题符号话,这样写对吗

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

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