廣義謂詞邏輯

廣義謂詞邏輯(generalized predicate calculus ) 亦稱高階邏輯.謂詞邏輯的推廣.指量詞的指導變元不僅可以是個體變元，而且也可以為命題變元、謂詞變元或函詞變元的謂詞邏輯.廣義謂詞邏輯可以分成不同的層次.通常稱狹義邏輯為一階邏輯.量詞的指導變元可以為一階謂詞(和函詞)的謂詞邏輯稱為二階邏輯一般地，量詞的指導變元可以為n階謂詞 (和n階函詞)的謂詞邏輯稱為n十1階邏輯.