1) Одноместным предикатом Р(х) называется произвольная функция переменной х, определенная на мн-ве х и принимающая значения из мн-ва (и; л)
Например: х-8=2
D (область определения) = R
Е (область значений) = (и; л)
Субъект – то, о чем утверждается в высказывании (подлежащее)
Предикат – то, что утверждается о субъекте (сказуемое)
Например: «Чисто 21 – есть простое число» (число 21 – субъект, а есть простое число – предикат) (Л)
Если число 21 заменить на х, то это будет не высказывание, а предикат, т.к. мы не сможем сказать истинно оно или ложно.
Многоместный предикат
Двухместный: Р(х; у)
Например: х + у = 5
Нужно построить у = 5 - х
D = R2
Е = (0; 5), (2; 3), (3; 2), (5; 0)
Мн-во х, на котором определен предикат Р(х) называется областью определения предиката Р(х)
2) Мн-во всех элементов хϵХ, при которых предикат принимает значение «истина», называется мн-вом истинности предиката Р(х)
Обозначается Т(р)
Т(р) =
