Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
УМП_Элементы теории_Светлая.doc
Скачиваний:
34
Добавлен:
10.11.2018
Размер:
408.06 Кб
Скачать

2. Операции над множествами

Далее предполагаем, что все рассматриваемые множества являются подмножествами некоторого универсального множества V.

Объединением (или суммой) множеств А и В называется множество, состоящее из элементов, которые принадлежат хотя бы одному из этих множеств (рис. 2) (результатом операции является заштрихованная область). Обозначают АВ (или А + В). Можно записать

АВ = х: хА или хВ.

Пересечением (или произведением) множеств А и В называется множество, состоящее из элементов, которые одновременно принадлежат множеству А и множеству В (рис. 3). Обозначают: АВ (или АВ). АВ = = х: хА и хВ.

Рис. 2. АВ Рис. 3. АВ

Разностью множеств А и В называется множество всех тех элементов множества А, которые не содержатся во множестве В (рис. 4). Обозначают: А \ В = х: хА и хВ.

Дополнением множества А называется множество всех элементов, не принадлежащих А (рис. 5). Обозначают: .

Рис. 4. А \ В Рис. 5. V \ А

Пример. Пусть V – множество всех сотрудников некоторой юридической фирмы; А – множество всех сотрудников данной фирмы старше 40 лет; В – множество сотрудников, имеющих стаж работы более 15 лет. Какой смысл следующих множеств: а) ; б) В?

Решение.

а) – множество сотрудников, стаж работы которых не превышает 15 лет;

б) В – множество сотрудников фирмы не старше 40 лет, имеющих стаж работы более 15 лет.

Пример. Пусть V = 1, 2, 3, 4, 5, 6, А =1, 3, 4, 5, В = 2, 3, С = 1, 5, 6. Найти: а) ; б) ; в) А; г) В \ А.

Решение.

а) = V \ А = 1, 2, 3, 4, 5, 6 \ 1, 3, 4, 5 = 2, 6; = V \ В = 1, 2, 3, 4, 5, 6 \ 2, 3 = 1, 4, 5, 6.

Тогда = 2, 6  1, 4, 5, 6 = 1, 2, 4, 5, 6.

б) АВ = 1, 3, 4, 5  2, 3 = 3.

Следовательно, = V \ (АВ) = 1, 2, 3, 4, 5, 6 \ 3 = 1, 2, 4, 5, 6.

в) = V \ В = 1, 2, 3, 4, 5, 6 \ 2, 3 = 1, 4, 5, 6.

А = 1, 3, 4, 5  1, 4, 5, 6 = 1, 4, 5.

г) В \ А = 2, 3 \ 1, 3, 4, 5 = 2.

3. Алгебраические свойства операций над множествами

Введенные выше операции над множествами обладают рядом свойств. Приведем основные из них:

1

– коммутативность;

) АВ = ВА

АВ = ВА

2

– ассоциативность;

) А  (ВС) = (А В) С

А  (ВС) = (А В) С

3

– дистрибутивность;

) А  (ВС) = (А В)  (АС)

А  (ВС) = (А В)  (АС)

4) А   = А;

5) АV = V;

6) А   = ;

7) АV = А;

8) А = V;

9) А = ;

10)  = V;

11) .

Доказательство этих свойств (формул) состоит в том, что берут произвольный элемент множества левой части и доказывают, что он принадлежит и множеству правой части, и наоборот.

Операции над множествами обладают принципом двойственности, т.е. если справедливо некоторое соотношение между множествами, то справедливо и «двойственное» соотношение, полученное из данного путем взаимной замены всюду знаков  и , V и ,  и .

Примерами двойственных соотношений являются соотношения в группах 1), 2), 3), соотношения 4) и 7), 5) и 6), 8) и 9), 10) и 11).

Лекция 2. ЭЛЕМЕНТЫ МАТЕМАТИЧЕСКОЙ ЛОГИКИ

План:

1. Высказывания. Логические операции над высказываниями.

2. Формулы логики высказываний.

3. Основные эквивалентные преобразования формул (законы логики высказываний).