> 数学 >
存在x对任意y都有x＋y＝5,个体域为整数,在一阶逻辑将这个命题符号化
如果命题变为任意x对存在y都有x＋y＝5,个体域为整数呢?
人气：332 ℃　时间：2020-06-02 10:43:45
解答
F（x）：x是整数 F(y):y是整数 H(x,y):x+y=5 vx(F(x)->Ey(F(y)∧H（x,y）)) 傻丫丫
推荐
猜你喜欢
© 2024 79432.Com All Rights Reserved.
电脑版|手机版