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

存在x对任意y都有x+y=5,个体域为整数,在一阶逻辑将这个命题符号化
如果命题变为任意x对存在y都有x+y=5,个体域为整数呢?
nishusheng-146 1年前 已收到1个回答 举报

jizhengge 幼苗

共回答了19个问题采纳率:84.2% 举报

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

1年前

8
可能相似的问题
Copyright © 2024 YULUCN.COM - 雨露学习互助 - 16 q. 1.873 s. - webmaster@yulucn.com