Предикаты: определения и примеры

На тему: Предикаты: определения и примеры.Пользуясь этими примерами, дадим определение в общем виде.На котором задан предикат, называется областью определения предиката [3] .Например, обозначим предикатом EQ (x, y) отношение равенства ( x = y ) , где.Определение 4. Пусть P (x1,…,xn) - предикат, заданный на множестве.Предложение не является предикатом.Возьмем, например, следующее умозаключение.Поясним конкретными примерами.Причем местность предикатов не всегда равна числу всех переменных, содержащихся в выражении.Предикат называют выполнимым, если хотя бы на одном наборе аргументов он принимает значение 1 [5] .