Универсальное множество и дополнение множества

Как правило, при определении конкретного множества явно или неявно (интуитивно) ограничивается собрание допустимых объектов. Например, говоря о слонах, говорят о млекопитающих; говоря о натуральных числах, предполагают задание множества целых или действительных чисел.

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

В соответствии с этим любое множество будем рассматривать в связи с универсумом, который при графической иллюстрации будем изображать прямоугольником, а множества будем изображать внутри данного прямоугольника.

В соответствии с введением множества

разность

будем называть дополнением множества

(до множества

) и обозначать

Симметрической разностью множеств и называется множество, которое обозначается (иногда ) и определенное следующим образом:

Приведем графическую иллюстрацию операции симметрической разности двух множеств:

Пример. Записать с помощью операций над множествами выражение для множества, соответствующего заштрихованной области диаграммы:

Пример. С помощью графической интерпретации изобразить множество

, если

образовано множествами

► Изобразим множества

на диаграмме Эйлера-Венна, как показано на рисунке ниже.

Множество

есть объединение трех множеств,

. Рассмотрим множество

. Его элементами являются элементы множества

, которые не принадлежат

и не принадлежат

. Аналогично, множество

состоит из элементов

, не принадлежащих

или

. Элементы множества

– есть элементы

, не принадлежащие ни

, ни

. Таким образом, множество

на диаграмме Эйлера-Венна имеет вид (заштрихованным областям соответствует серый цвет):

Ниже приведены диаграммы Виенна. Представьте заштрихованную и отдельно незаштрихованную области максимально компактными аналитическими выражениями, в которых бы использовались минимальное количество логических операций и букв. Результаты проверьте по таблицам истинности.

1.3.1. Дайте определение конечного множества, элементов множества.

1.3.2. Какие существуют основные способы задания множества?

1.3.3. Какие множества называются равными? Что такое подмножество?

1.3.4. Назовите основные операции над множествами, какой наглядный инструмент используется для иллюстрации операций над множествами?

1.3.6. Перечислите свойства операций над множествами, докажите

1.3.7. Дайте определение прямому (декартовому) произведению множеств;

1.3.8. Записать с помощью операций над множествами выражение для множества, соответствующего закрашенной области диаграммы:

1.3.9. С помощью графической интерпретации изобразить множество

, если

образовано множествами

Цель: Приобретение практических навыков работы с алгеброй логики высказываний.

Каждая формула алгебры обладает свойством превращаться в высказывание при фиксации в ней значений всех высказывательных переменных, т. е. если мы зафиксируем в формуле значения всех высказывательных переменных, то, пользуясь определениями логических операций, мы можем вычислить значение истинности формулы.

Таблица истинности формулы алгебры высказываний содержит столько строк, сколько всевозможных наборов значений истинности переменных можно образовать. Так как каждая высказывательная переменная может принимать только два значения (0 и 1), то в случае

переменных таблица истинности содержит

строк.

При построении таблицы истинности наборы значений переменных располагают сверху вниз в лексикографическом порядке (каждый набор понимают как двоичную запись неотрицательного целого числа и располагают в порядке возрастания от (000 … 0) до (111 … 1).

Если у вас возникают трудности с использованием двоичной системы счисления, можно применять метод «последовательного половинного деления столбцов» – столбец первой переменной делят пополам и заполняют верхнюю половину нулями, а нижнюю половину – единицами, затем каждую половину второго столбца делят пополам и опять заполняют полученные половины нулями и единицами, и т. д. Затем в соответствии с порядком действий последовательно заполняют столбцы значений подформул, из которых образуется формула. Последним заполняется столбец значений истинности формулы.