来自田雪锋的问题
存在x对任意y都有x+y=5,个体域为整数,在一阶逻辑将这个命题符号化如果命题变为任意x对存在y都有x+y=5,个体域为整数呢?
存在x对任意y都有x+y=5,个体域为整数,在一阶逻辑将这个命题符号化
如果命题变为任意x对存在y都有x+y=5,个体域为整数呢?
1回答
2020-11-02 02:19
存在x对任意y都有x+y=5,个体域为整数,在一阶逻辑将这个命题符号化如果命题变为任意x对存在y都有x+y=5,个体域为整数呢?
存在x对任意y都有x+y=5,个体域为整数,在一阶逻辑将这个命题符号化
如果命题变为任意x对存在y都有x+y=5,个体域为整数呢?
F(x):x是整数F(y):y是整数H(x,y):x+y=5vx(F(x)->Ey(F(y)∧H(x,y)))傻丫丫