我是谓语中的新手，而且我是一般的AI，但我知道这意味着如果前面的“ - ＆gt;”它就是假的是真的，在它是假的之后，其他方面也是如此。
但如果我不知道后面的“ - ＆gt;”它是如何使用的一边？
这样，必须知道父（X，Y）知道这个谓词是假还是真，尽管父（X，Y）是什么我们想推断。
∀X∀Y父亲（X，Y）∨母亲（X，Y）→父母（X，Y）
答案 0 :(得分：0)
在维基百科here上查看这篇文章。你有多种选择，你的陈述可以是真的但也是假的。这也是udacity Ai课程，他们刚刚把它放在一个单独的类别，部分已知。它仍然比未知更好，但你必须使用别的东西。