主机参考
| 主机参考：VPS测评参考推荐/专注分享VPS服务器优惠信息！若您是商家可以在本站进行投稿，查看详情！此外我们还提供软文收录、PayPal代付、广告赞助等服务，查看详情！ |
| 我们发布的部分优惠活动文章可能存在时效性，购买时建议在本站搜索商家名称可查看相关文章充分了解该商家！若非中文页面可使用Edge浏览器同步翻译！PayPal代付/收录合作 |
Suppose E is an equation and e(x) is the predicate “x is a solution to E”.
Express entirely in symbols the statement “E has exactly two integer solutions.”
要把上面的语句转换成类似这样的形式：
∃x∃y((x≠y∧P(x)∧P(y))∧∀z(P(z)→(z=x∨z=y)))
各路大神的回复：
注册： ∃x∃y((x≠y∧e(x)∧e(y))∧∀z((z=x∨z=y)→e(z))) 任意量词的约束是条件式前件不是后件
这几篇文章你可能也喜欢：
- 暂无相关推荐文章
本文由主机参考刊发，转载请注明：有没有逻辑Logic大佬，如何用Predicate表示”Has exactly two” ?感谢 https://zhujicankao.com/20556.html
评论前必须登录！
注册