4. Множества, операции над множествами

Множество - это совокупность объектов, рассматриваемая как одно целое. Понятие множества принимается за основное, т. е. не сводимое к другим понятиям. Объекты, составляющие данное множество, называются его элементами. Основное отношение между элементом a и содержащим его множеством A обозначается так (a есть элемент множества A; или a принадлежит A, или A содержит a). Если a не является элементом множества A, то пишут (a не входит в A, A не содержит a).     Два множества A и B называются равными, если они состоят из одних и тех же элементов, т. е. если каждый элемент множества A принадлежит B и, обратно, каждый элемент B принадлежит A. Тогда пишут A = B. Таким образом, множество однозначно определяется его элементами и не зависит от порядка записи этих элементов. Например, множество из трех элементов a, b, c допускает шесть видов записи:

{a, b, c} = {a, c, b} = {b, a, c} = {b, c, a} = {c, a, b} = {c, b, a}.

Бинарные операции

пересечение:

объединение:

Если множества A и B не пересекаются: , то их объединение обозначают также: .

разность (дополнение):

симметрическая разность:

Декартово или прямое произведение:

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

Унарные операции

Абсолютное дополнение:

Операция дополнения подразумевает некоторый универсум (универсальное множество U, которое содержит A):

Относительным же дополнением называется А\В (см.выше):

Мощность множества:

| A |

Результатом является кардинальное число (для конечных множеств — натуральное).

Множество всех подмножеств (булеан):

Обозначение происходит из того, что в случае конечных множеств.

Сначала выполняются операции дополнения, затем пересечения, объединения и разности, которые имеют одинаковый приоритет. Последовательность выполнения операций может быть изменена скобками.

Если в выражении есть знаки пересечения и объединения и нет скобок, то сначала выполняется операция пересечения, а потом – операция объединения (аналог сложению и умножению в арифметике).

5 Конструкция высказывания с кванторами существования и всеобщности, построение отрицаний

Ква́нтор — общее название для логических операций, ограничивающих область истинности какого-либо предиката. Чаще всего упоминают:

Квантор всеобщности (обозначение: , читается: «для всех…», «для каждого…» или «каждый…», «любой…», «для любого…»).

Выражение читается так:

для любого (всякого, каждого) [значения] x из X P(x) [истинно];

всякий (любой, каждый) элемент x множества X (где X — множество значений переменной x) обладает свойством P(x);

каково бы ни было x, P(x) истинно.

Квантор существования (обозначение: , читается: «существует…» или «найдётся…»).

Выражение читается так:

существует [значение] x из X такое, что P(x) [истинно]

для некоторых [значений] x из X, P(x) [истинно]

существует элемент x множества X, обладающий свойством P(x)

по крайней мере (хотя бы) один элемент x множества X обладает свойством P(x)

некоторые элементы множества X обладает свойством P(x)

найдётся такое x из X, что P(x) истинно