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

一阶谓词的功能与优点不包括（） 把谓词公式转化成子句集，是归结演绎推理重要的一个步骤 命题逻辑的归结法与谓词逻辑的归结法的不同之处是什么？ 谓词P中的所有个体都是个体常量、变元或函数，则该谓词P为二阶谓词。() 谓词逻辑表示分为命题逻辑和谓词逻辑两种。() 仅个体变元被量化的谓词称为二阶谓词。 谓词公式与其子句集的关系是（）。 谓词公式与其子句集的关系是包含。 反演归结（消解）证明定理时，若当前归结式是空子句时，则定理得证。 消解反演证明定理时，若当前归结式是空子句，则定理得证。() 关于谓词逻辑，下列描述正确的是（） 以下谓词公式中，（）不是逻辑有效式 一介逻辑又叫做谓词逻辑,是数理逻辑或现代逻辑的基础。() 一介逻辑又叫做谓词逻辑,是数理逻辑或现代逻辑的基础（） 定义谓词如下：boy(x):x是男孩，girl(x):x是女孩，high(x，y):x比y高。用谓词逻辑表示下列知识()，如果马良是男孩，张红是女孩，则马良比张红长得高。 谓词逻辑中，重言式（tautlogy）的值是（）。 谓词和谓词性短语可以作宾语吗？ 量词均在谓词公式之前，作用域延伸至谓词公式末尾的谓词公式称为前束范式 根据谓词与项目的组合关系，可以把谓词分为（）、（）、（）、（）。 一阶逻辑即是指（）。