本站内容主要从网络公开试题中整理。

专技天下公需课

当前位置:首页 > 专技天下公需课

对于一阶谓词逻辑,如果没有归结出空子句,则说明原谓词公式是不可满足的。

对于一阶谓词逻辑,如果没有归结出空子句,则说明原谓词公式是不可满足的。
A、正确
B、错误
正确答案:B、错误

猜你喜欢