Предикатная Переменная
переменная, значениями к-рой могут быть предикаты. При формальном построении аксиоматич. Систем П. П. Отличаются от индивидных переменных тем, что вместо них можно подставлять формулы. Так, в исчислении предикатов 2-й ступени, если в аксиоме х - предикатная переменная для n-местных предикатов, то в качестве tможно взять любую формулу с потмеченными переменными. При этом результатом подстановки формулы tс отмеченными переменными z1 ,. ., zn вместо П. П. Хв атомарную формулу x(y1 , . ., у п), где y1,. ., у п - индивидные переменные, является формула t( у 1/z1 . ., yn/zn). Получающаяся из t одновременной заменой свободных вхождений z1, . ., zn на y1, . ., у п соответственно. Лит.:[1] Чёрч А., Введение в математическую логику, пер.
С англ., М., 1960. [2] Такеути Г., Теория доказательств, пер. С англ. М., 1978. В. Н. Гришин.
Дополнительный поиск Предикатная Переменная
На нашем сайте Вы найдете значение "Предикатная Переменная" в словаре Математическая энциклопедия, подробное описание, примеры использования, словосочетания с выражением Предикатная Переменная, различные варианты толкований, скрытый смысл.
Первая буква "П". Общая длина 22 символа