Реляционные высказывания, их состав, виды и формализованная запись на языке логики предикатов.
Реляционные высказывания – имеющие логическим сказуемым многоместный предикатор. Выражают отношение между субъектами.
Классификации
По качеству
Утвердительные
Отрицательные
По местности отношения
Двухместные (предикат двухместный)
Трехместные (предикат трехместный)
… /аналогично/
По количеству (учитывается тип каждого субъекта)
Двухместные
Единично-единичные 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)) обще-единично-частное высказывание
Не нашли, что искали? Воспользуйтесь поиском:
|