Я докажу первое и последнее, остальное - сам.
1)
Доказательство "⇒".
Пусть у нас дано ((A∪B)⊂C), докажем тогда, что
1.1) A⊂C,
и
1.2) B⊂C.
1.1) x∈A⊂A∪B, ⇒ x∈A∪B⊂С, ⇒ x∈C. То есть A⊂C.
1.2) x∈B⊂A∪B, ⇒ x∈A∪B⊂C, ⇒ x∈C. То есть B⊂C.
чтд.
Доказательство "<=".
Пусть у нас дано: A⊂C и B⊂C. Докажем тогда, что
A∪B⊂C.
Пусть x∈A∪B, ⇔ x∈A или x∈B.
a) x∈A⊂C, ⇒ x∈C.
б) x∈B⊂C, ⇒ x∈C.
То есть A∪B⊂C.
4)
Пусть у нас дано (A⊂(B∪C)). Докажем тогда, что
Пусть , ⇔ и , ⇔
Тогда т.к. A⊂B∪C, имеем
Первый случай. Если x∈B и x∉B, то x∈∅⊂C ⇒ x∈C.
Второй случай. Если x∈C и x∉B, то x∈C\B⊂C, ⇒ x∈C.
Пусть у нас дано , докажем тогда, что
A⊂ B∪C.
Пусть x∈A. Тут возможны два варианта x∈B, либо x∉B.
Случай первый: x∈A и x∈B, ⇒ x∈A∩B⊂B, ⇒ x∈B⊂B∪C, ⇒ x∈B∪C.
Случай второй: x∈A и x∉B, ⇒ и , ⇒
⇒ , ⇒ x∈C⊂B∪C, ⇒ x∈B∪C.
401:3=133 ост 2
133:3=44 ост. 1
44:3=14 ост. 2
14:3=4 ост. 2
4:3=1 ост.1
1:3=0 ост.1
1122120₃
2. 43020:5=8604 ост. 0
8604:5=1720 ост. 4
1720:5=344 ост.0
344:5=68 ост.4
68:5=13 ост.3
13:5=2 ост.3
2:5=0 ост.2
2334040₅
3.
70652:8=8831 ост.4
8831:8=1103 ост.7
1103:8=137 ост.7
137:8=17 ост.1
17:8=2 ост.1
2:8=0 ост.2
211774₈
Я докажу первое и последнее, остальное - сам.
1)
Доказательство "⇒".
Пусть у нас дано ((A∪B)⊂C), докажем тогда, что
1.1) A⊂C,
и
1.2) B⊂C.
1.1) x∈A⊂A∪B, ⇒ x∈A∪B⊂С, ⇒ x∈C. То есть A⊂C.
1.2) x∈B⊂A∪B, ⇒ x∈A∪B⊂C, ⇒ x∈C. То есть B⊂C.
чтд.
Доказательство "<=".
Пусть у нас дано: A⊂C и B⊂C. Докажем тогда, что
A∪B⊂C.
Пусть x∈A∪B, ⇔ x∈A или x∈B.
a) x∈A⊂C, ⇒ x∈C.
б) x∈B⊂C, ⇒ x∈C.
То есть A∪B⊂C.
чтд.
4)
Доказательство "⇒".
Пусть у нас дано (A⊂(B∪C)). Докажем тогда, что
Пусть , ⇔ и , ⇔
и
Тогда т.к. A⊂B∪C, имеем
и
Первый случай. Если x∈B и x∉B, то x∈∅⊂C ⇒ x∈C.
Второй случай. Если x∈C и x∉B, то x∈C\B⊂C, ⇒ x∈C.
чтд.
Доказательство "<=".
Пусть у нас дано , докажем тогда, что
A⊂ B∪C.
Пусть x∈A. Тут возможны два варианта x∈B, либо x∉B.
Случай первый: x∈A и x∈B, ⇒ x∈A∩B⊂B, ⇒ x∈B⊂B∪C, ⇒ x∈B∪C.
Случай второй: x∈A и x∉B, ⇒ и , ⇒
⇒ , ⇒ x∈C⊂B∪C, ⇒ x∈B∪C.
чтд.