谓词P中的所有个体都是个体常量、变元或函数,则该谓词P为二阶谓词。()

最新题库