Подскажите пожалуйста как решаются задачи по мат.логике.

[Adalinda]

Добрый вечер) Возникли трудности с решением задач по мат. логике, совершенно не представляю с чего начать.Подскажи пожалуйста как можно решить следующие задачи?
1) Доказать что для любой f
а) $f (A \cup B) = f(A)\cup f(B)$

б) f^{-1}($\cap A_i)=\cap$ f^{-1}(A_i)

2)Образуют ли бинарные отношения группу относительно композиции($\circ$) и обратного элемента(-1)?

3)Доказать что для любых бинарных отношений $ (R_1 \circ R_2)^{-1}=(R_2)^{-1} \circ (R_1)^{-1}$

[iifat]

Самый прямой способ доказать равенство двух множеств — взять произвольный элемент одного и доказать, что он принадлежит второму, потом наоборот, взять произвольный элемент второго и доказать, что он принадлежит первому.

[Deggial]

Тема перемещена из форума «Помогите решить / разобраться (М)» в форум «Карантин»
Причина переноса: не приведены попытки решения

Adalinda
Приведите попытки решения, укажите конкретные затруднения.
Наберите все формулы и термы $\TeX$ом.
Инструкции по оформлению формул здесь или здесь (или в этом видеоролике).
См. также тему Что такое карантин, и что нужно делать, чтобы там оказаться.
После исправлений сообщите в теме Сообщение в карантине исправлено, и тогда тема будет возвращена.