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

>> 高等继续教育 / 人工智能

高等继续教育 / 人工智能

正确率：100%

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

积分

人工智能

参考答案：

点击查看答案

佳题速递：

冠心病病人应少食用? 临床营养学

132、世界上第一台电子数字计算机采用的电子器件是_______。 A.电子管 B.集成电路 C.晶体管 D.大规模集成电路计算机统考

根头部有“狮子盘头”之称的药材是（）中药鉴定

Which of the following livestock has the biggest numberin the UK? 西方文化入门

10[填空题] 显示器按显示的颜色，可分为（）和（）两大类计算机维护与维修

以下关于搜索引擎的描述哪项是错误的?搜索引擎是一个网站搜索引擎是一个数据库搜索引擎是一个检索软件搜索引擎可以按照用户需求立刻去相关网站查询所需信息信息检索与利用