在数理逻辑中谓词演算、谓词逻辑或命题函数演算是用来描述数学理论的形式系统。
谓词演算是命题演算的扩展，命题演算对于描述更复杂的数学结构是不充分的。从文法上说谓词演算在现存的命题演算上增加了“谓词-主词结构”和量词。主词是给定的个体群组(集合)的一个成员的名字，而谓词是在这个群组上的关系，一元谓词在哲学中称为性质，在数学中称为指示函数，在数理逻辑中称为布尔值函数。
页面分类: 逻辑学小作品 | 數理邏輯
(c 如果为变量，则在 P(x) 中一定不能被其他量词约束)
(x 在 P(c) 中一定不能自由出现)
