Ирина
как доказать данное тождество в теории множеств? A∩(B\C)=(A∩B)\C
A"пересечение"(B\C)=(A"пересечение"B)\C
A"пересечение"(B\C)=(A"пересечение"B)\C
Элементарно показывается на "огурцах" (кругах Эйлера).
Ну высказывания теории множеств легко переводятся в высказывания математической логики. Если у вас уже кванторы изучались.