存在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=5 vx(F(x)->Ey(F(y)∧H（x,y）)) 傻丫丫