项之间的)一个关系的谓词字母，这个关系还没有被特殊的指派任何特定的关系(或意义(内涵))。在一阶逻辑(FOL)中它们可以被更合适的到叫做"元变量"。在高阶逻辑中谓词变量对应于"命题变量"，它可以表示同一个逻辑中的合式公式，而这种变量可以被通过(至少)二阶量词的方式来量化。在元变量意义上，谓词变量可以用来定义公理模式。谓词变量应当区别于谓词常量，它可以被表示为要么通过不同的(排他的)谓词字母集合，要么通过在其论域中实际上有自己特殊的意义的符号: 比如 formula_1。如果字母用于谓词常量又用于谓词