§ 1. Определение n-местного предиката и его основных видов.

Определение 1. N-местным предикатом называется выражение, содержащее n переменных x₁, x₂, ..., x_n, заданных соответственно на n множествах М₁, М₂, ..., М_n, или на одном и том же множестве М, которое обращается в высказывание при подстановке вместо переменных конкретных элементов из данных множеств М_i соответственно.

Условимся n-местные предикаты символически обозначать Р(x₁, x₂, ..., x_n,), Q( x₁, x₂, ..., x_n,)... или Р,Q, ...

Пример 1. Пусть на множестве R задано уравнение х²-3=0, тогда его можно рассмотреть как одноместный предикат

P(x) = (x² - 3 = 0  x  R).

Например, при х=1 получим высказывание 1 - 3 = 0, -2 = 0, которое ложно, поэтому и предикат P(x) = P(1) = Л. Если , то предикат Р(x) обращается в высказывание 3-3=0, 0=0, которое истинно. Значит предикат .

Пример 2. Пусть на множестве Q задано неравенство x - y > 2. Тогда его можно рассмотреть как двухместный предикат Т(х,y) = (x-y>2 x,y, Q).

Если х=5, y=3, то предикат обращается в высказывание 5-3>2, 2>2, которое ложно поэтому и предикат Т(x,y) = T(5,3) = Л. Пусть х=7, y=1, тогда получим высказывание 7-1>2 или 6>2, которое истинно, поэтому и предикат Т(х,y) = Т(7,1) = И.

Для облегчения построения теории будем считать, что переменные в предикатах заданы на одном и том же множестве. Простое высказывание будем называть О-местным предикатом.

Определение 2,3. N-местный предикат Р(x₁, x₂, ..., x_n,), заданный на множестве M_i называется выполнимым (опровержимым), если существует хотя бы один набор значений переменных, при котором данный предикат обращается в истинное (ложное) высказывание.

Примеры таких предикатов рассмотрены выше.

Определение 4,5. Предикат Р(x₁, x₂, ..., x_n,), заданный на множестве M_i, называется ТИ (ТЛ), если при любом наборе значений переменных он принимает значение истины (лжи).

Например, предикат Р(х,y) = (x²+y²<0 x,y, R) является ТЛ.

Определение 6. Предикаты Р(x₁, x₂, ..., x_n) и Q(x₁, x₂, ..., x_n) , заданные на множестве М_i называются равносильными, если при одних и тех же наборах значений переменных они принимают значение истины.

Например, предикаты Р(x,y) = (x²-y²>0x,y, R) и Q(х,y) = ((x-y)(x+y)>0 x,y, R) равносильны.

Из рассмотренных примеров следует, что всякое уравнение или неравенство, всякая система уравнений или неравенств от n неизвестных, заданные на тех или иных множествах является примерами n-местных предикатов.