Графическое решение логических задач
Графическое решение логических задач помогает заменить длинные условия рисунком: множества изображают кругами или областями, а затем последовательно отмечают нужные пересечения, объединения и дополнения. Метод особенно удобен, когда в задаче несколько групп объектов и требуется найти их количество или число элементов в определённой области.
1. Основная идея метода
Начинать решение нужно с определения универсального множества \(U\) — всех объектов, о которых говорится в задаче. Каждое свойство задаёт подмножество: например, \(A\) — ученики, изучающие английский язык, а \(B\) — ученики, изучающие немецкий язык. На рисунке множество \(U\) обычно изображают прямоугольником, а подмножества — кругами внутри него.
Если объект обладает сразу двумя свойствами, он попадает в пересечение множеств \(A\cap B\). Если подходит хотя бы одно из свойств, он находится в объединении множеств \(A\cup B\). Объекты, не обладающие свойством \(A\), образуют дополнение \(\overline{A}\) относительно универсального множества.
Диаграмма Венна — рисунок, на котором множества представлены замкнутыми областями, а их взаимное расположение показывает отношения между множествами: пересечение, объединение, включение или отсутствие общих элементов. Для двух и трёх множеств круги разбивают прямоугольник на отдельные области.
Круги Эйлера — способ изображать конкретные отношения между множествами. Если одно множество является подмножеством другого, его круг помещают внутрь большого; если общих элементов нет, круги не пересекаются. В экзаменационных задачах выражения «диаграмма Венна» и «круги Эйлера» часто используют как близкие по смыслу.
2. Перевод условий на язык областей
Каждое логическое слово соответствует операции над множествами. Сначала полезно обозначить буквами простые свойства, а затем заменить логические связки на операции с областями. Это уменьшает риск ошибиться в длинном условии.
| Логическое условие | Множество или область | Что отмечаем на диаграмме |
|---|---|---|
| A и B | \(A\cap B\) | Общую часть областей A и B |
| A или B | \(A\cup B\) | Все области A и B, включая пересечение |
| Не A | \(\overline{A}\) | Всё внутри U, что вне A |
| A, но не B | \(A\setminus B\) | Часть A вне B |
| Если A, то B | \(A\subseteq B\) | A полностью внутри B |
| A и B несовместны | \(A\cap B=\varnothing\) | Круги A и B не пересекаются |
Условие «если объект обладает свойством A, то он обладает свойством B» означает \(A\subseteq B\). На диаграмме вся область A должна находиться внутри B. Обратное утверждение \(B\subseteq A\) из этого условия не следует.
Для трёх множеств \(A\), \(B\) и \(C\) прямоугольник делится на восемь базовых областей: только \(A\), только \(B\), только \(C\), пары \(A\cap B\), \(A\cap C\), \(B\cap C\) без третьего множества, общая часть \(A\cap B\cap C\) и область вне всех трёх. Именно эти области обычно получают из таблицы условий.
Какую область нужно выделить для условия «ученик изучает английский или немецкий, но не оба языка»?
3. Алгоритм решения задач
- Прочитайте условие и выделите универсальное множество: что именно пересчитывается?
- Обозначьте каждое простое свойство отдельной буквой и подпишите множества.
- Нарисуйте прямоугольник U и круги или области множеств в соответствии с условиями включения и несовместности.
- Разбейте рисунок на базовые области и занесите известные числа в соответствующие части.
- Используйте суммы областей, чтобы найти неизвестные значения.
- Проверьте результат: сумма всех областей должна равняться числу объектов в U, если оно дано.
Если известны размеры попарных пересечений, сначала заполняйте центральную область \(A\cap B\cap C\). Затем из каждого попарного пересечения вычитайте центральную часть. После этого находите области «только A», «только B» и «только C».
4. Разобранный пример
В классе 30 учеников. Английский язык изучают 18 человек, немецкий — 14, оба языка — 7. Сколько учеников изучают хотя бы один из этих языков и сколько не изучают ни один?
Обозначим \(A\) — ученики, изучающие английский, \(B\) — ученики, изучающие немецкий. Нужно найти \(|A\cup B|\), а затем число учеников вне обоих кругов.
Показать разметку областей Решение
В общей части кругов записываем 7. Только английский: \(18-7=11\). Только немецкий: \(14-7=7\). Внутри хотя бы одного круга: \(11+7+7=25\). Вне кругов: \(30-25=5\).
Чтобы найти число элементов в объединении двух множеств, сложите размеры множеств и вычтите размер пересечения: \(|A\cup B|=|A|+|B|-|A\cap B|\).
5. Три множества и контроль результата
Для трёх множеств применяется формула включений и исключений. Попарные пересечения при сложении учитываются лишний раз, а центральная область в итоге должна остаться учтённой один раз, поэтому её добавляют обратно.
Графический способ часто удобнее формулы: он показывает, какие именно области уже входят в известные числа. Если в условии встречается «только», нужно исключить все пересечения; если встречается «хотя бы два», нужно объединить три попарных области с учётом центральной части.
1. Считать пересечение дважды при нахождении объединения. 2. Путать «или» в математике с исключающим «или»: обычно «A или B» означает \(A\cup B\) и включает общую часть. 3. Забывать область вне кругов. 4. Делать вывод \(B\subseteq A\) из условия \(A\subseteq B\). 5. Для фразы «только A» записывать весь круг A, хотя нужно использовать \(A\setminus(B\cup C)\). 6. Не проверять, что сумма всех непересекающихся областей совпадает с размером универсального множества.
Если областей мало, подходит метод перебора. Для преобразования логических условий полезно повторить логические высказывания, а при сложных формулах можно перейти к построению СКНФ или использовать минтермы и макстермы.
6. Как оформить ответ на экзамене
На черновике сначала рисуйте диаграмму и подписывайте каждую область. В ответ переносите вычисления, которые непосредственно подтверждают результат. Если требуется одно число, всё равно полезно выполнить контрольную проверку: найденные области не должны быть отрицательными, а их сумма не должна превышать \(|U|\).
- Все множества обозначены буквами.
- Пересечения и дополнения отмечены правильно.
- Каждый объект посчитан ровно один раз.
- Ответ соответствует словам «только», «хотя бы», «ровно» или «ни один».
Быстрая проверка
Главное
- Множества изображают областями внутри универсального множества U; отношения между ними читают по пересечениям и объединениям.
- «И» соответствует пересечению, «или» — объединению, «не» — дополнению, а «только A» — разности множеств.
- Для двух множеств используйте \(|A\cup B|=|A|+|B|-|A\cap B|\).
- Для трёх множеств сначала удобно заполнить центральную область, затем попарные пересечения и одиночные области.
- Всегда проверяйте, что каждый объект посчитан ровно один раз и сумма всех областей согласуется с размером U.