- •1. Элементы теории множеств
 - •1.1 Множества. Основные понятия
 - •1.2. Способы задания множеств
 - •1.3. Операции над множествами. Диаграммы Венна
 - •1.4. Свойства операций над множествами
 - •1.5. Прямое (декартово) произведение множеств
 - •1.6 Разбиения и покрытия
 - •1.7. Замечание о мощности некоторых множеств
 - •1.8 Представление множеств в эвм
 - •1.9. Отношения
 - •1.9.1.Определения
 - •1.9.2 Бинарные отношения
 - •1.9.3. Способы задания бинарных отношений
 - •1.9.4 Свойства бинарных отношений
 - •1.9.5. Отношение эквивалентности
 - •1.9.5. Отношение порядка
 - •1.9.6.1. Минимальные и максимальные элементы множества
 - •1.9.6.2. Диаграммы Хассе
 - •1.9.6.3. Принцип двойственности
 - •1.9.7. Представление отношений в эвм
 - •1.10. Соответствия. Функции. Операции. Отображения
 - •1.10.1. Соответствия и их свойства
 - •1.10.2 Функции и отображения
 - •1.10.3. Инъекция, сюръекция и биекция
 - •1.10.4. Композиция и суперпозиция функций. Способы задания функций
 - •1.10.5. Представление функций в эвм
 - •1.10.6. Операции
 - •1.10.6.1. Способы задания операций
 - •1.11. Алгебраические структуры
 - •1.11.2. Замыкание и подалгебры
 - •1.11.3. Гомоморфизм и изоморфизм
 - •1.11.4. Алгебры с одной бинарной операцией
 - •1.11.5. Алгебры с двумя бинарными операциями
 - •1.11.6.Решетки
 - •1.11.7. Булевы алгебры
 - •2. Элементы математической логики и булевы функции
 - •2.1. Операции над высказываниями
 - •2.2. Логические операции (логические связки)
 - •2.3. Элементарные булевы функции
 - •2.3.1. Функции алгебры логики
 - •2.3.2. Равносильность функций. Существенные и несущественные переменные
 - •2.3.3. Реализация функций формулами. Суперпозиция функций
 - •2.3.4. Подстановки и замены
 - •2.3.5. Принцип двойственности
 - •2.3.6. Нормальные формы в логике высказываний
 - •2.3.6.1. Разложение булевых функций по переменным. Дизъюнктивно-нормалльная форма (днф)
 - •2.3.6.2. Совершенная дизъюнктивная нормальная форма
 - •2.3.7. Арифметические операции в алгебре логики. Полиномы Жегалкина
 - •2.3.8. Монотонные функции алгебры логики
 - •2.3.9. Функционально замкнутые классы
 - •2.4. Полнота системы булевых функций. Теорема
 - •2.5. Элементы логике предикатов
 - •2.5.1. Определение предиката
 - •2.5.2. Кванторы. Формулы логики предикатов
 - •2.5.3. Равносильность формул
 - •2.5.4. Предикаты на конечных областях. Логика одноместных предикатов
 - •2.6. Операции над предикатами и кванторами
 - •2.7. Построение доказательств в логике предикатов
 - •1.6.2. Разбор решений задач по логике предикатов
 - •1. Элементы теории множеств 3
 - •1.1 Множества. Основные понятия 3
 - •2.6. Операции над предикатами и кванторами 137
 - •394026 Воронеж, Московский просп., 14
 
1.3. Операции над множествами. Диаграммы Венна
Для получения новых множеств из уже
существующих используют операции над
множествами. Рассмотрим основные из
них. Пусть рассматриваемые множества
.
1. Дополнением (до U)
множества (обозначается 
)
называется множество всех элементов,
не принадлежащих А (но принадлежащих
U):	
.
2. Объединением множеств А и В
(обозначается 
)
называется множество, состоящее из всех
тех элементов, которые принадлежат хотя
бы одному из множеств А, В
(входящих в множество А, или В,
или оба). Другие обозначения: А+В,
(или). Таким образом,
.
3. Пересечение множеств А и В
(обозначается 
)
называется множество тех элементов,
которые принадлежат и множеству А,
и множеству В.  Другие обозначения:
;
(и). Таким образом,
.
4. Разностью множеств А и В
(обозначается 
называется множество всех тех элементов
А, которые не принадлежат В:     
     
.
5. Дизъюнктивной суммой (обозначается
;
)
называется множеством элементов входящих
или в А, или в В, но не одновременно
в А и В. Эквивалентно «разделительному»
«или»: 
;
иначе 
;
.
Пример 1. Пусть А={1, 2, 3} и В={3, 4, 5}.
Тогда 
;
={3};
;
 .  
.
Универсальное множество U
здесь не определено, поэтому, строго
говоря, операции дополнения над
множествами  А и В не могут быть
выполнены. Для этого нужно дополнить
условие: пусть U={1,
2, 3, 4, 5}. Тогда : 
;
.
Пример 2. Дано: U={1, 2, 3, 4}; A={1, 3, 4}; B={2, 3}; C={1, 4}
Найти: а) 
;
 б)
;
 в) 
;
 г) 
.
Решение:
а) 
.
б) 
в) 
г) 
Различные операции с множествами удобно изображать с помощью диаграмм Венна (Эйлера). Построение диаграммы заключается в изображении большого прямоугольника, представляющего универсальное множество U, а внутри него – каких-нибудь замкнутых фигур (кругов, треугольников и
т. п.), представляющих множества. Результат выделяется штриховкой.
Пусть
	
	
      
                           А                                  B
Тогда
Замечание 1. Операции объединения,
пересечения и дополнения 
часто называют булевыми операциями
над множествами.
Замечание 2. Операции объединения и пересечения в P(U), множестве всех частей множества U, аналогичны операциям сложения и умножения в Z.
1.4. Свойства операций над множествами
Операции над множествами обладают определёнными свойствами и удовлетворяют некоторым соотношениям.
1. Коммутативность операций 
и
:
;		
.
2. Ассоциативность операций и :
;	
	.
3. Законы идемпотентности:
;		
.
4. Законы дистрибутивности:
А;
5. Законы поглощения:
;	
   
                                    
6. Законы де Моргана
                                	
.
7. Операции с несобственными подмножествами:
,
 
,
 
,
 
,
 
,
 
.
8. Инволюция (закон двойного отрицания):
В справедливости данных свойств можно убедиться, например, нарисовав диаграммы Венна для левой и правой частей равенства и проверить, что они совпадают.
Пример: Доказать с помощью диаграмм Венна справедливость соотношения:
(Свойство дистрибутивности 4 операции пересечения относительно объединения).
Из диаграмм видно равенство обеих частей.
Вообще же в теории множеств наиболее часто используются следующие приёмы доказательств:
1. Доказательство равенства соотношений типа X=Y.
2. Доказательство единственности и существования.
3. Доказательство от противного.
а
  
  
).
       A                     B	
                        A                  
   B
U C U C
(Левая часть)
  
б
  
).
        A                     B                          A           
         B
U C U C
 
  
    A                      B               (Правая
часть)
U C
   
Пример. Докажем справедливость предыдущего соотношения, используя второе определение равенства X=Y:
Решение. Множества равны, если и .
1. Сначала докажем, что
,
                   (*)
 т. е., что любой элемент а из множества,
заданного левой частью соотношения
(*), принадлежит и правому множеству
соотношения. Пусть
.
Тогда аА
и 
аÎ А
и (аÎ В
или аÎ С)
 (аÎ А и
аÎ В) или
(аÎ А и аÎ
С) Þ 
или 
Þ
.
  
Т. е.
2. Теперь покажем, что 
,
т. е. любой элемент из множества, заданного
правой частью (*), принадлежит и множеству,
заданному левой частью.
Пусть 
.
Тогда 
или
Þ
(аÎ А и аÎ
В) или (аÎ
А и   аÎ
С) Þ аÎ
А и (аÎ В
или аÎ С)
Þ аÎ
А и (аÎ В
или аÎ С)
Þ аÎ
А и 
Þ
.
Следовательно, .
Таким образом, , ч. т. д.
В качестве следующего примера докажем один из законов де Моргана.
Пример. Доказать
Решение. С одной стороны, 
Þ
.
С другой стороны,
.
Так как и , то , ч. т. д.
Утверждение 1. Следующие предположения о произвольных множествах попарно эквивалентны:
1) 
 2) 
Û 3) 
Û   4) А\В = 
Û   5) 
.
Доказательство: 12.
Так как 
,
то достаточно показать, что А
В влечёт 
.
Но если хА,
то по условию хВ,
следовательно 
.
23. Так как 
,
то 
.
По закону поглощения и закону
коммутативности имеем 
.
Тогда 
.
3 Þ 4. Пусть 
.
Так как 
,
то по свойству де Моргана, свойству
ассоциативности, свойству коммутативности
и правилам действия с несобственными
множествами получим:
.
=.
4Þ5. Пусть А\В = ,
т. е. 
.
Тогда 
.
По закону де Моргана и свойству двойного
отрицания получаем 
.
5Þ1. Пусть 
и предположим, что не выполняется условие
АВ, т.
е. найдется такой элемент х, что хÎ
А и xÏ
В. Тогда 
,
значит, 
,
а это противоречит равенству
,
 ч. т. д.
Замечание. Пересечение и объединение могут быть определены для любого множества множеств Ai , где индексы i пробегают множество I. По определению
{x| xÎ
Ai  
для всех iÎ
 I} 	
(пересечение) - 
.
{x| xÎ
Ai 
для некоторых iÎ
 I}    
(объединение) -.
Если I={1, 2, …, n},
то используют записи  
или  
.
