[填空题] 谓词逻辑中，重言式（tautlogy）的值是（）。
[问答题] 命题逻辑的归结法与谓词逻辑的归结法的不同之处是什么？
[填空题] 一阶谓词逻辑可以使用的连接词有（）、（）、（）和（）
[问答题] 一阶谓词逻辑表示法适于表示什么类型的知识？它有何特点？
[问答题] 谓词和谓词性短语可以作宾语吗？
[填空题] 谓词逻辑是一种表达能力很强的形式语言，其真值的特点和命题逻辑的区别是（）
[名词解释] 零谓词
[填空题] 根据谓词与项目的组合关系，可以把谓词分为（）、（）、（）、（）。
[名词解释] 谓词性词组
[名词解释] 谓词性范畴