Предика́тная переме́нная, переменная, значениями которой могут быть предикаты. При формальном построении аксиоматических систем предикатные переменные отличаются от индивидных переменных тем, что вместо них можно подставлять формулы. Так, в исчислении предикатов 2-й ступени, если в аксиоме

$$\forall x\varphi(x)\to\varphi(t)$$$x$ – предикатная переменная для $n$-местных предикатов, то в качестве $t$ можно взять любую формулу с $n$ отмеченными переменными. При этом результатом подстановки формулы $t$ с отмеченными переменными $z_1,\ldots,z_n$ вместо предикатной переменной $x$ в атомарную формулу $x(y_1,\ldots,y_n)$, где $y_1,\ldots,y_n$ – индивидные переменные, является формула $t(y_1/z_1,\ldots,y_n/z_n)$, получающаяся из $t$ одновременной заменой свободных вхождений $z_1,\ldots,z_n$ на $y_1,\ldots,y_n$ соответственно.