Реляционные высказывания, их состав, виды и формализованная запись на языке логики предикатов.

Реляционные высказывания – имеющие логическим сказуемым многоместный предикатор. Выражают отношение между субъектами.

Классификации

По качеству

Утвердительные

Отрицательные

По местности отношения

Двухместные (предикат двухместный)

Трехместные (предикат трехместный)

… /аналогично/

По количеству (учитывается тип каждого субъекта)

Двухместные

Единично-единичные 7>5 R(a,b)

Единично-общее 7> отрицательного числа x(S(x) R(a,x))

Единично-частное 7> положительных чисел x(P(x)&R(a,x))

Обще-единичное положительное число > 0 x(P(x) R(x,b))

Обще-частное положительное число >3 x(P(x)&R(x,c))

Частно-единичное … /аналогично/

Частно-общее

… /аналогично/

Пример трехместного:

Все наши гости привезли ^{(предикат)} на дачу какую-то еду.

x(f(x) y(P(y)&R(x,a,y)) обще-единично-частное высказывание

Не нашли, что искали? Воспользуйтесь поиском: