ПРЕДИКАТ

— одно из фундаментальных понятий логики математической, условие, сформулированное в терминах некоторого точного логико-математического или неформального языка. П. содержит обозначения для произвольных объектов некоторого класса (переменные). При замещении переменных именами объектов данного класса П. задает точно определенное высказывание. Примерами П. могут служить выражения . При замещении х на второй из приведенных П. определяет истинное высказывание, а остальные два — ложные. Возможны и другие варианты определения П. Так, иногда производят естественное отождествление, считая, что семейство равносильных условий задает один и тот же П. Высказывание можно рассматривать как частный случай 11. с «фиктивными» переменными и т. п.

А. Г. Драгалин.