Кесте соответствия множеств
Таблица соответствия множеств показывает, как операции над множествами связаны с логическими операциями над признаками принадлежности. Она помогает читать множества по диаграммам Венна и переводить условия из одной жазбалар в другую.
Основное соответствие
| Операция над множествами | Логическая жазба для \(x\) | Смысл |
|---|---|---|
| Объединение \(A\cup B\) | \(A(x)\lor B(x)\) | \(x\) принадлежит хотя бы одному множеству |
| Пересечение \(A\cap B\) | \(A(x)\land B(x)\) | \(x\) принадлежит обоим множествам |
| Разность \(A\setminus B\) | \(A(x)\land\neg B(x)\) | \(x\) принадлежит \(A\), но не принадлежит \(B\) |
| Дополнение \(\overline{A}\) | \(\neg A(x)\) | \(x\) не принадлежит \(A\) |
| Симметрическая разность \(A\triangle B\) | \(A(x)\oplus B(x)\) | \(x\) принадлежит ровно одному множеству |
Пусть \(A\) — множество учеников, изучающих английский язык, а \(B\) — множество учеников, изучающих немецкий. Тогда \(A\cap B\) состоит из учеников, изучающих оба тілдің: условие имеет вид \(A(x)\land B(x)\). В \(A\setminus B\) попадут те, кто изучает английский, но не немецкий: \(A(x)\land\neg B(x)\).
Объединение \(A\cup B\) соответствует логическому ИЛИ, а не требованию выбрать только одно множество: элемент может принадлежать сразу обоим. Если нужен признак «ровно одному», используется симметрическая разность \(A\triangle B\), то есть исключающее ИЛИ.
Как записать условие \(x\in A\setminus B\) с помощью логических операций?
На диаграмме Венна эти соответствия видны как области кругов: объединение закрашивает оба круга, пересечение — их общую часть, а разность — часть одного круга без общей области. В задачах сначала обозначьте признаки принадлежности, затем замените «и», «или», «не» соответствующими операциями.
Главное
- \(\cup\) соответствует ИЛИ, \(\cap\) — И.
- Разность \(A\setminus B\) означает «в \(A\) и не в \(B\)», а дополнение — отрицание принадлежности.
- Диаграммы Венна и круги Эйлера помогают увидеть области, соответствующие логическим условиям.