- •Введение.
- •Тема 1. Логические высказывания и предикаты.
- •1. Понятие высказывания. Логические операции над высказываниями.
- •Основные логические связки.
- •2. Формулы и их логические возможности.
- •3. Свойства логических операций (законы логики).
- •4. Понятие предиката. Операции над предикатами.
- •5. Кванторы.
- •Практическая работа по теме 1.
- •Задания для самостоятельной работы по теме 1.
- •Контрольные вопросы по теме 1.
- •Тема 2. Множества. Отношения. Отображения.
- •1.Основные понятия
- •2. Операции над множествами
- •3. Геометрическое моделирование множеств. Диаграммы Венна
- •4. Соотношение между множествами и составными высказываниями
- •5. Алгебра множеств. Основные тождества алгебры множеств
- •Основные тождества алгебры множеств
- •6. Эквивалентность множеств
- •Практическая работа по теме 2.
- •Задания для самостоятельной работы по теме 2.
- •Контрольные вопросы по теме 2.
- •Тема 3. Отношения. Функции.
- •1. Основные понятия и определения
- •2. Бинарные отношения и их свойства.
- •Свойства бинарных отношений.
- •3. Отношение эквивалентности.
- •4. Функции. Основные понятия и определения
- •Практическая работа по теме 3.
- •Задания для самостоятельной работы по теме 3.
- •Контрольные вопросы по теме 3
- •Тема 4. Булевы функции.
- •1. Определение булевой функции
- •2. Существенные и фиктивные переменные.
- •Критерий несущественности переменной.
- •3. Формулы логики булевых функций
- •4. Эквивалентность булевых формул.
- •5. Равносильные преобразования формул
- •Основные равносильности булевых формул.
- •6. Двойственность. Принцип двойственности.
- •7. Нормальные формы.
- •8. Полные системы булевых функций
- •9. Полином Жегалкина
- •10. Замкнутые классы функций.
- •11. Функциональная полнота.
- •Практическая работа по теме 4.
- •Задания для самостоятельной работы по теме 4.
- •Контрольные вопросы по теме 4.
- •Тема 5. Основные понятия теории графов.
- •1. Основные понятия теории графов.
- •Маршруты, циклы в неориентированном графе
- •Пути, контуры в ориентированном графе
- •2. Планарность и изоморфизм графов
- •3. Способы задания графов
- •Основные свойства матриц смежности и инцидентности
- •4. Связность графа
- •5. Алгоритм обхода вершин графа.
- •6. Нагруженные графы
- •Свойства минимальных путей в нагруженном ориентированном графе
- •7. Деревья
- •8. Основные типы практических задач.
- •1. «Задача коммивояжера» и «Задача о минимальной сети дорог»
- •2. Построение турнирной таблицы
- •3. «Задача о четырех красках»
- •Практическая работа по теме 5.
- •Задания для самостоятельной работы по теме 5.
- •Контрольные вопросы к теме 5.
- •Задания контрольной работы
- •Список источников литературы Основная литература
- •Дополнительная литература
5. Алгебра множеств. Основные тождества алгебры множеств
Множества вместе с определенными на них операциями образуют алгебру множеств. Последовательность выполнения операций задается с помощью формулы алгебры множеств. Например, (ВC), (А \ В) + C – формулы алгебры множеств.
Основные тождества алгебры множеств
Для любых множеств A, B, C справедливы следующие тождества:
1. Коммутативность.
а) A B= B A (для объединения);
б) A B = B A (для пересечения).
2. Ассоциативность.
а) A (B C) = (A C) C (для объединения);
б) A (B C) = (A B) C (для пересечения).
3. Дистрибутивность.
а) A (BC) = (AB) (AC) (для объединения относительно пересечения);
б) A(BC) = (AB)(AC) (для пересечения относительно объединения).
4. Закон де Моргана.
а)
=
(дополнение к объединению есть пересечение
дополнений);
б)
=
(дополнение
к пересечению есть объединение
дополнений).
5. Идемпотентность.
а) A A = A (для объединения);
б) A A = A (для пересечения).
6. Поглощение.
а) A (A B) = A;
б) A (A B) = A.
7. Расщепление (склеивание).
а) (A B) (A ) = A;
б) (A B) (A ) = A.
8. Двойное дополнение.
= A.
9. Закон исключенного третьего.
A = U.
10. Операции с пустым и универсальным множествами.
а) A U = U;
б) A = A;
в) A U = A;
г) A = ;
д)
=
U;
е)
=
.
11. А \ В = A .
Чтобы доказать некоторое тождество A = B, нужно доказать следующие факты:
если x А, то xВ;
если xВ, то x А.
Построив цепочку равносильностей A В1 В2 … Вn B можно установить требуемое равенство. Докажем таким образом, например, свойство дистрибутивности для объединения (тождество 3а): A (BC) = (AB) (AC).
Пусть некоторый элемент x принадлежит левой части тождества, т.е. x A (BC), и докажем, что x принадлежит правой части, т.е. x(AB) (AC). Для этого будем использовать основные тождества алгебры множеств и алгебры высказываний.
x A (BC) x A x BC x A (xB x C) (x A xB) ( x A x C) x(AB) x (AC) x(AB) (AC)
Построенная цепочка равносильностей доказывает факты 1 и 2.
Доказательство тождеств можно проиллюстрировать с помощью диаграмм Венна.
Основные тождества алгебры множеств можно использовать для доказательства других тождеств.
Пример.
Доказать тождество (AB) \ В = A .
Пусть некоторый элемент x принадлежит левой части тождества, т.е. x(AB) \ В. Покажем, что x принадлежит правой части, т.е. x A .
x (AB) \ В x (AB) x (A ) x (B ) x (A ).
Тождество доказано.
Пример.
Доказать тождество:
A \ (В \ C) = (A \ В) (A C).
Множества, стоящие в левой и правой частях тождества, изобразим с помощью диаграмм Эйлера – Венна (рис. 1.2).
Рисунок 2
Докажем тождество из нашего примера, воспользовавшись основными тождествами алгебры множеств. Получим:
xA
\ (В \
C)
xA
xA
xA
(
)
xA
(
C)
x
(A
)
(A
C)
x
(A \ В)
(A
C).
6. Эквивалентность множеств
Если каждому элементу множества A сопоставлен единственный элемент множества B и при этом всякий элемент множества B оказывается сопоставленным одному и только одному элементу множества A, то говорят, что между множествами A и B существует взаимно однозначное соответствие. Множества A и B в этом случае называют эквивалентными или равномощными.
Эквивалентность множеств обозначается следующим образом: A B.
Эквивалентность множеств обладает следующим свойством транзитивности.
Если A B и B C, то A C.
Докажем это свойство. Так как A B, то для всякого элемента a А существует единственный элемент b B. Но так как B C, то для всякого элемента b B существует единственный элемент c C. Сопоставим этот элемент элементу a А. Значит, для всякого элемента a А существует единственный элемент c C и для всякого элемента c C существует единственный элемент a А. Следовательно, A C.
Очевидно, что два конечных множества эквивалентны тогда и только тогда, когда количество элементов в них одинаково. Например, множества А = {4, 5, 6} и В = {x, y, z} эквивалентны, A B. Взаимно однозначное соответствие может быть установлено между элементами 4 и x, 5 и y, 6 и z.
Мощностью конечного множества А (обозначается А) называется число элементов этого множества. Например, мощность множества А = {1, 2} равна А= 2.
Пример.
Ранее мы рассматривали множество всех подмножеств данного множества А, которое называется множеством-степенью и обозначается P(A). Множество P(A) состоит из 2n элементов. Таким образом, P(A) = 2n.
Рассмотрим задачу определения мощности объединения n конечных множеств.
Пусть n = 2 и A и B – два пересекающихся множества. Докажем с помощью диаграммы Эйлера – Венна следующее соотношение:
АB = А + B – АB . (1)
Из рис. 3 видим, что
АB = n1+n2+n3;
А = n1+n2;
B = n2+n3;
АB = n2.
Рисунок 3.
Очевидно, что n1+n2+n3 = (n1+n2) +(n2+n3) – n2, что и доказывает формулу (1).
Формула (1) справедлива и для случая, если множества A и B не пересекаются. В этом случае
АB = А + B .
Пусть n = 3 и A, B и С – три пересекающихся множества. В этом случае справедливо следующее соотношение:
АB С= А + B + C – АB – АC – BC + АB C . (2)
Из рис. 4 видим, что
АB С= n1+n2+n3+n4+n5+n6+n7;
А = n1+n2+n4+n5;
B = n2+n3+n5+n6;
С=n4+n5+n6+n7;
АB = n2+n5;
АC = n4+n5;
BC = n5+n6;
АB C = n5.
Рисунок 4.
Очевидно, что
n1+n2+n3+n4+n5+n6+n7 =(n1+n2+n4+n5) + (n2+n3+n5+n6) +(n4+n5+n6+n7) – (n2+n5) – (n4+n5) – (n5+n6) + n5,
что и доказывает формулу (2).
Формула (2) справедлива и для случая, если множества A, B и С попарно не пересекаются. В этом случае
АB С= А + B + C .
В общем случае мощность объединения n множеств определяется по формуле:
А1 А2 …Аn= А1+А2+…+ Аn– (А1 А2+ А1 А3+ … +Аn–1Аn)+ АB C + (А1 А2 А3 + … + Аn–2Аn–1Аn) – … + (–1)n – 1 А1А2 …Аn. (3)
Понятие эквивалентности годится и для бесконечных множеств. Пусть, например, A = {1, 2, 3, …, n,…}, B = {– 1, –2, …, –n, …}. Тогда A B. Взаимно однозначное соответствие устанавливается по правилу: элементу n A соответствует элемент – n B, т.е. n – n.
Пример.
A = {1, 2, 3, …, n,…}, B = {2, 4 …, 2n, …}. Тогда A B. Взаимно однозначное соответствие устанавливается по правилу: n 2*n.
A = {1, 2, 3, …, n,…} – множество натуральных чисел, B = {…, –n, …– 2, –1, 0, 1, 2, …, n, …} – множество всех целых чисел.
Перепишем множество B следующим образом:
B = {0, –1, 1, – 2, 2, …, –n, n, …}, так, что 0 будет на первом месте, –1 на втором, 1 на третьем, –2 на четвертом и т.д. Нетрудно заметить, что отрицательные числа будут стоять на местах с четными номерами, а 0 и положительные числа – на местах с нечетными номерами. Поэтому взаимно однозначное соответствие между множествами A и B устанавливается по правилу: для всякого n 0 элементу a = 2n +1 из множества A (т.е. нечетному элементу) соответствует элемент b = n из множества B; элементу a = 2n из множества A (т.е. четному элементу) соответствует элемент b = –n из множества B. Таким образом, реализуется взаимно однозначное соответствие между множествами A и B: 1 0, 2 –1, 3 1, 4 –2 и т.д.
Установить эквивалентность множеств, т.е. установить взаимно однозначное соответствие между их элементами можно различными способами.
Множество, эквивалентное множеству натуральных чисел N = {1, 2, 3, …, n,…}, называется счетным. Можно сказать также, что множество счетно, если его элементы можно перенумеровать.
Пример.
Установить, являются ли следующие множества счетными:
1. A1 = {–1, –2, …, – n, …};
2. A2 = {2, 22, …, 2n,…};
3. A3 = {2, 4, …, 2n,…};
4. A4 = {…, – n, …, – 1, 0, 1, …, n,…};
Решение. Чтобы установить счетность некоторого множества, достаточно указать взаимно однозначное соответствие между элементами данного множества и множества натуральных чисел. Взаимно однозначное соответствие устанавливается по следующим правилам:
для множества A1: –n n;
для множества A2: 2n n;
для множества A3: 2*n n;
счетность множества A4 установлена ранее в примере.
Упорядоченной парой (x, y) называется совокупность двух элементов x и y, расположенных в определенном порядке.
Две упорядоченные пары (x, y) и (u, v) равны межу собой тогда и только тогда, когда x = u и y = v.
Например, (a, b), (1, 2), (x, 4) – упорядоченные пары.
Аналогично можно рассматривать тройки, четверки, n-ки элементов (x1, x2, … xn).
Прямым (или декартовым) произведением двух множеств A и B называется множество упорядоченных пар, таких, что первый элемент каждой пары принадлежит множеству A, а второй – множеству B:
A B = {(a, b), / a А и b В}.
В общем случае прямым произведением n множеств А1, А2,… Аn называется множество А1 А2 … Аn, состоящее из упорядоченных наборов элементов (a1, a2, …, an) длины n, таких, что i- ый ai принадлежит множеству Аi, ai Аi.
Пример.
Пусть А = {1, 2}, В = {2, 3}. Тогда A B = {1, 2, 1, 3,2, 2,2, 3}.
Пусть А = {x / 0 x 1} и B = {y / 2 y 3}. Тогда A B = { x, y / 0 x 1 и 2 y 3}. Таким образом, множество A B состоит из точек, лежащих внутри и на границе прямоугольника, образованного прямыми x = 0 (ось ординат), x = 1, y = 2 и y = 3.
Французский математик и философ Декарт впервые предложил координатное представление точек плоскости. Это исторически первый пример прямого произведения.
