Понятие отношений. Свойства отношений

Бинарные отношения связывают два объекта, бывают: <, >, ║, ≤, ≥, ≠, ┴, =, <быть сверстниками>, родство, дружба, любовь, <жить в одном доме>, равносильность, следование:

x R y - объект x находится в отношении R с объектом y.

Свойства бинарных отношений:

1) Рефлексивность - x R x (=,=>, ║, ≤, ≥, ≡, родство, любовь, <друг>)

2) Симметричность - (x R y) (y R x) (║, =, ┴, ≠, ≤, ≥, дружба, родство, <быть одноклассниками>, <быть тезками>)

3) Транзитивность - (x R y) (y R z) => (x R z) (>, <, ≥, ≤, =, ║, кровное родство)

4) Антирефлексивность - (<, >, ≠, ┴)

5) Антисимметричность - ((x R y) (y R z)) => () (<, >, <жить этажом выше>)

6) Связанность - (x≠y) => ((x R y) (yRx)) (>, <, ≤, ≥)

Вопросы для контроля:

1. Понятие предиката. Способы задания.

2. Понятие множества истинности предиката.

3. Отношения логического следования и логической истинности высказывательных форм

4. Понятие отношений, свойства отношений.

Раздел 8. Исчисление предикатов

Дата добавления: 2014-01-06