作业帮 > 数学 > 作业

存在x对任意y都有x+y=5,个体域为整数,在一阶逻辑将这个命题符号化

来源:学生作业帮 编辑:作业帮 分类:数学作业 时间:2024/05/21 11:11:47
存在x对任意y都有x+y=5,个体域为整数,在一阶逻辑将这个命题符号化
如果命题变为任意x对存在y都有x+y=5,个体域为整数呢?
F(x):x是整数 F(y):y是整数 H(x,y):x+y=5 vx(F(x)->Ey(F(y)∧H(x,y))) 傻丫丫