Множество истинности предиката

Предикат - это утверждение с переменной(ыми).

Т.е. мы получаем предикат или высказывание, когда вместо переменной появляется значение.

Например, Вася несовершеннолетний: x < 18 (x - возраст Васи). Подставляем возраст Васи и понимаем, истина перед нами или ложь.

При всех x от 0 до 17 у нас будет верный предикат и это множество мы назовем множеством истинности предиката, при таких значениях Вася несовершеннолетний, предикат соответствует истине!

Обозначается множество истинности предиката, как P(x) = (x < 18).

Если переменных больше, то все их мы обязаны перечислить. Например, множество точек окружности с центром в начале координат и радиусом единица: P(x, y) = (x² + y² = 1).

Исходя из этого, можно строить пересечения, дополнения и другие операции над множествами истинности нескольких предикатов.