Задание 1. Определить свойства отношения R, заданное на множестве людей: R-«а» сестра «b».

Відповідь:

Покрокове пояснення:

Возможные свойства:

1) Симметричность: aRb → bRa ("a" сестра "b", а значит и "b" сестра "a").

2) Связаность: a≠b → (aRb ∨ bRa) ("a" не является "b", а значит "a" сестра "b" или "b" сестра "a"(в этом случае и aRb и bRa - правда)).

====================

3) Транзитивность - как вариант: (aRb ∧ bRc) → aRc (допустим есть ещё один человек "c". "a" сестра "b" и "b" сестра "c", а значит "a" тоже сестра "c").