Предикатная переменная

переменная, значениями к-рой могут быть предикаты. При формальном построении аксиоматич. систем П. п. отличаются от индивидных переменных тем, что вместо них можно подставлять формулы. Так, в исчислении предикатов 2-й ступени, если в аксиоме [img: http://localhost:8080/file/041741-107.jpg] х - предикатная переменная для n-местных предикатов, то в качестве tможно взять любую формулу с потмеченными переменными. При этом результатом подстановки формулы tс отмеченными переменными z1,..., zn вместо П. п. хв атомарную формулу x(y1,..., у п), где y1,..., у п - индивидные переменные, является формула t(у 1/z1..., yn/zn). получающаяся из t одновременной заменой свободных вхождений z1,..., zn на y1,..., у п соответственно.