存在x对任意y都有x+y=5,个体域为整数,在一阶逻辑将这个-查字典问答网
分类选择

来自田雪锋的问题

  存在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
我要回答
请先登录
马方清

  F(x):x是整数F(y):y是整数H(x,y):x+y=5vx(F(x)->Ey(F(y)∧H(x,y)))傻丫丫

2020-11-02 02:23:36

最新问答

推荐文章

猜你喜欢

附近的人在看

推荐阅读

拓展阅读

  • 大家都在看
  • 小编推荐
  • 猜你喜欢
  •