单独的 EXISTS 子句的 skolemization 是如何工作的？
如果我有一个像这样的公式： FAx FAy (Ez(!A(x,z) v !A(y,z)) v B(x,y)) (FA = For All / E = Exists) skolemization 的规则是这样的： 如果 E 在 FA …
- 共 1 页
- 1
如果我有一个像这样的公式： FAx FAy (Ez(!A(x,z) v !A(y,z)) v B(x,y)) (FA = For All / E = Exists) skolemization 的规则是这样的： 如果 E 在 FA …
接受 或继续使用网站，即表示您同意使用 Cookies 和您的相关数据。