Предикат
- функция, значениями к-рой являются высказывания об n-ках объектов, представляющих значения аргументов. При n=1 П. Наз. "свойством", при n>1 - "отношением", единичные высказывания могут рассматриваться как нульместные П. Чтобы задать re-местный предикат Р( х 1, . ., х п), следует указать множества D1 ,. ., Dn - области изменения предметных переменных x1 ,. ., х n, причем чаще всего рассматривают случай D1=D2=. .=Dn. С теоретико-множественной точки зрения П. Определяется заданием подмножества М в декартовом произведении . При этом P(a1,. ., а п).понимают как высказывание "упорядоченный набор (a1, . ., а n) принадлежит М". Синтаксич. Задание n-местного П. Осуществляется указанием формулы логико-математич. Языка, содержащей псвободных переменных.
Понятие П. Восходит к Аристотелю. Аппарат оперирования с высказываниями, содержащими в своем составе П., разработан в математич. Логике (см. Логические исчисления, Предикатов исчисление). С. Ю. Маслов.
Дополнительный поиск Предикат
На нашем сайте Вы найдете значение "Предикат" в словаре Математическая энциклопедия, подробное описание, примеры использования, словосочетания с выражением Предикат, различные варианты толкований, скрытый смысл.
Первая буква "П". Общая длина 8 символа