问答题

【简答题】判断下列子句集中哪些是不可满足的：{¬P∨Q，¬Q，P，¬P}。

答案：

不可满足，其归纳过程为：

你可能感兴趣的试题

下列谓词公式化成子句集是（）。
z))

答案： S={¬P（x，y）∨Q（x，y）∨R（x，f（x，y））}

用语义网络表示知识“鸵鸟是一种鸟”（）。

答案：