Akademik

- функция, значениями к-рой являются высказывания об n-ках объектов, представляющих значения аргументов; при n=1 П. наз. "свойством", при n>1 - "отношением", единичные высказывания могут рассматриваться как нульместные П.

Чтобы задать re-местный предикат Р( х ₁, . . ., х _п), следует указать множества D₁ ,. . ., D_n - области изменения предметных переменных x₁ ,. . ., х _n, причем чаще всего рассматривают случай D₁=D₂=. . .=D_n. С теоретико-множественной точки зрения П. определяется заданием подмножества М в декартовом произведении . При этом P(a₁,. . ., а _п).понимают как высказывание "упорядоченный набор (a₁, . . ., а _n) принадлежит М". Синтаксич. задание n-местного П. осуществляется указанием формулы логико-математич. языка, содержащей псвободных переменных. Понятие П. восходит к Аристотелю; аппарат оперирования с высказываниями, содержащими в своем составе П., разработан в математич. логике (см. Логические исчисления, Предикатов исчисление). С. Ю. Маслов.