词约束这种命题变量的任何谓词逻辑都是二阶谓词演算或二阶逻辑。如果还允许谓词变量被约束到是一元或更多元的谓词字母，这时这种字母表示命题函数，使得参数的定义域被映射到不同命题的值域，这时这种变量可以被量词约束到这种命题的集合，那么结果就是高阶谓词演算或高阶逻辑。