广义谓词逻辑

广义谓词逻辑（generalized predicate calculus ） 亦称高阶逻辑，谓词逻辑的推广。指量词的指导变元不仅可以是个体变元，而且也可以为命题变元、谓词变元或函词变元的谓词逻辑.广义谓词逻辑可以分成不同的层次.通常称狭义逻辑为一阶逻辑.量词的指导变元可以为一阶谓词(和函词)的谓词逻辑称为二阶逻辑一般地，量词的指导变元可以为n阶谓词 (和n阶函词)的谓词逻辑称为n十1阶逻辑.