对于一阶谓词逻辑，如果没有归结出空子句，则说明原谓词公式是不可满足的。()|公需课继续教育考试试题

首页->公需课继续教育

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

（A）正确

（B）错误

参考答案

继续答题：下一题

微考学堂

微考学社

更多公需课继续教育试题

考试