Несколько заданий по алгебре, алгебра множеств и высказываний Опции

[Гость]

Здравствуйте прошу Вас помочь в решении нескольких задач. Вот собственно и они.

1)Перевести выражения на логический язык, построить его отрицание и это отрицание сформулировать на обычном языке:

"Если я пропустила занятие и не выполнила домашнее задание, то мне поставят двойку или пошлют в деканат за допуском "

2)Доказать что A пересечённое с B включено в A объединёное с B

3) найти пересечение множест {3k/7 при k принад Z} и {2k/7 при k принад Z}
4)доказать логическое следование
"A = B объединённое с C" логически соледует из "B включено в A , C=A-B"

[Дож]

2. Любой элемент x из множества "пересечение А и Б" принадлежит множеству А, а следовательно он принадлежит множеству "объединение А и Б"
(я изучал теорию множеств, но с такими задачами не сталкивался )

4. Причинное условие имелось ввиду "B включено в A , C=A\B"?

[Guest]

Да именно это и имелось в виду

[Atos]

3) найти пересечение множест {3k/7 при k принад Z} и {2k/7 при k принад Z}

{6k/7 при k принад Z}