N#1.

a) Неверно
b) Верно
c) Верно
d) Верно
e) Неверно
f) Верно
g) Неверно
h) Неверно
i) Верно
j) Неверно
k) Верно
l) Верно
m) Неверно
n) Неверно
o) Неверно
p) Верно
q) Неверно
r) Верно
s) Верно
t) Неверно
u) Верно
N#2
a) B △ (A ∩C) = {5, 3, 4} /// {5, 3, 4, 7}
b) Не-B \ (A △C) = {1, 4}
c) Не-(A ∪C) ∪ (C △ B) = {3, 5, 1, 4, 9}
d) = |{6, 8, 10, 4, 2, 7, 3, 5, {∅}, 2U}| = 10. ///// = 1
e) = 2{2, 4} \ 2{2,3,5,7}}. 3, 5 и 7 не могут быть элементами
элементов 2{2, 4}, поэтому можно их не рассматривать. 2{2, 4} \ 2{2} = {
{2, 4}, {4} }
f) = {∅, {2}, {7}, {2, 7} } \ {4, 8} = {∅, {2}, {7},
{2, 7} }
N#3
A = {1, 2, 4}
B = {КВАДРАТ, КОТ} ∪ ∅ = {КВАДРАТ, КОТ}
C = 2∅ \ {∅} = {∅}\{∅} = ∅
D = {КОТ, |2{∅, ∅}|} = {КОТ, 2}
E = 2 {1, 4} ∩ 2 {|КВАДРАТ|} = 2 {1, 4} ∩ 2 {1} = 2 {1}
F = 2 {{∅,∅}\{{∅}},{∅}△C,{∅,C},{∅}} Рассмотрим само множество. {{∅,∅}\{{∅}},
{∅}△C,{∅,C},{∅}} = {{∅},{∅},{∅},{∅}} = { {∅}}
F = { ∅, {∅}} //// { ∅, {{∅}}}
(a) A △ D = {1, 4, КОТ}
(b) E △ 2C = 2 {1} △ 2∅ = {∅, 1, {∅}}
(c) B ×E = {КВАДРАТ, КОТ} x 2 {1} = { (КВАДРАТ, ∅), (КОТ, ∅),
(КВАДРАТ, {1}), (КОТ, {1})}
(d) E × 2B = {∅, {1}} x {∅, {КВАДРАТ}, {КОТ}, {КВАДРАТ, КОТ}} =
{(∅, ∅), (∅, {КВАДРАТ}), (∅, {КОТ}), (∅, {КВАДРАТ, КОТ}}), ({1}, ∅), ({1},
{КВАДРАТ}), ({1}, {КОТ}), ({1}, {КВАДРАТ, КОТ}})}
(e) D|C| = ∅
(f) F3 = { ∅, {∅}}3 = {(∅, ∅, ∅), (∅, ∅, {∅}), (∅, {∅}, ∅), (∅, {∅}, {∅}), ({∅}, ∅,
∅), ({∅}, ∅, {∅}), ({∅}, {∅}, ∅), ({∅}, {∅}, {∅})}
N#4
A = {1, |B|, |C|}
B = {2, |A|, |C|}
C = {1, 2, |A|, |B|}
Если |A| = 3:
Пусть |B| = 3. Тогда |C| = 3 и |A| = 2 ?!
Пусть |B| = 2. Тогда |C| = 3, а |B| = 2. Первый допустимый вариант
Пусть |B| = 1. Тогда |B| = 2 ?!

Если |A| = 2:
Пусть |B| = 3. Тогда |C| = 4 и |A| = 3 ?!
Пусть |B| = 2. Тогда |C| = 2 и |B! = 1 ?!
Пусть |B| = 1. Тогда |A| = |C| = 2. Второй допустимый вариант

Если |A| = 1:
|B| >= 2, тогда |A| = 2 ?!
N#5
Прошу принять во внимание, что отметки на осях графиков
сделаны для моего удобства и не принадлежат искомым
множествам.

.f) По Великой Теореме Ферма, таких натуральных чисел не

существует, ответ – пустой график. Насчет доказательства – я
придумал очень красивый способ ее доказать, но, увы, он не
поместится в столь маленький документ.
При рассмотрении N0, существует одно решение – точка (0, 0).
N#6
a) Если A ⊆ B и B ⊆ C, то A ⊆ C. Если А – подмножество В, то все
элементы А содержатся в B. B – подмножество C, значит все
элементы В содержатся в С. Это включает в себя элементы А,
поэтому все элементы А содержатся в С. Из этого получаем, что
А – подмножество С. ЧТД
b) |P(A)| = 2|A|
Базис индукции: Булеан пустого множества (мощность = 0) – {∅},
1 = 20. Верно.

Пусть |P(A)| = 2|A|

Рассмотрим A’ = А ∪ {Х}, Х не содержится в А . Булеан А’ включит

в себя все элементы булеана А. Также мы рассмотрим все
множества, получаемые из элементов булеана А прибавлением
элемента Х. Их столько же, сколько и элементов булеана А, так
как из каждого множества путем прибавления Х получается
ровно одно множество, а прибавление Х несколько раз (по
аксиомам) аналогично прибавлению Х единожды. Таким
образом, кол-во элементов в булеане А’ вдвое больше, чем в A’.
2|A|*2=2|A’|.
ЧТД.
c) Множество рациональных чисел Q счётно. (док-во Кантора, свое
придумать не смог). По определению, рациональное число –
число вида n/m, где n – целое, а m – натуральное. Расположим
все натуральные числа по оси Х, а все целые (для удобства
будем писать их как 0, 1, -1, 2, -2, 3…) – по оси Y.
- 1 2 3 4 5
0 1 - - - -
1 2 3 7
-1 4 6
2 5
-2
3
 Каждая клетка обозначает рациональное число и во всей
таблице содержатся все рациональные числа по определению.
Начнем нумеровать их по диагонали, пропуская одинаковые
числа. Итого мы смогли пронумеровать все рациональные числа,
а значит множество счетно. ЧТД.
d) P(N) — несчётное множество.
Примечание – под N имеется в виду N+. Включение нуля никак не
повлияет на ход доказательства.
Каждый его элемент можно представить в виде бесконечной строки из
нулей и единиц, где энный ноль или единица показывает, является ли
элемент N под номером n (т.е. само число n) его элементом. Так
пустое множество будет 0000000000000000000000000000000…, само
N – 111111111111111111…, а, например, множество всех четных
натуральных чисел – 0101010101…
Предположим, что мы выписали все возможные двоичные
представления элементов булеана N в столбик и пронумеровали их.
Возьмем строку из нулей и единиц X, такую, что ее первая цифра
совпадает с первой цифрой элемента номер 1, вторая – с элементом
номер 2, энная – с элементом номер n. Затем произведем над каждой
цифрой X замену – нули заменим на единицы и наоборот. Новая
строка X отличается от первого элемента булеана N в первой цифре,
от второго – во второй, от энного – в энной. Таким образом, мы нашли
новое, непронумерованное число. Противоречие, утверждение
неверно, значит множество несчетное. ЧТД.