"Информатика", Горячев А.В., Суворова Н.И.
Логика помогает разбираться в условиях и проверять, истинны ли утверждения; множества позволяют объединять объекты по признакам, а графы — показывать связи между ними. Для работы с логикой используют операции «и», «или», «не» и таблицы истинности. В задачах о группах объектов применяют объединение и пересечение множеств, а в задачах о дорогах и сетях — вершины и рёбра графа. Главное — выбрать модель, подходящую к вопросу.
Текст подготовлен нейронной сетью по теме параграфа и не заменяет учебник — важные факты и формулировки сверяйте с ним.
Высказывание — предложение, которому можно однозначно приписать истинность или ложность. Например, утверждение «число 8 чётное» истинно, а «число 8 нечётное» ложно. Вопрос «Чётное ли число 8?» и команда «Назови чётное число» высказываниями не являются. Это различие нужно, чтобы понимать, какие предложения можно проверять с помощью логики.
Логическая операция — правило, по которому из одного или нескольких исходных высказываний составляют новое. Отрицание «не» меняет значение исходного высказывания на противоположное, «и» соединяет утверждения, а «или» выражает выбор хотя бы одного из них. Для обозначений используют, например, ¬A для отрицания, A ∧ B для «A и B», A ∨ B для «A или B». Операции помогают точно записывать условия и проверять составные утверждения.
Множество — совокупность объектов, которую рассматривают как единое целое. Объекты множества называют его элементами: запись 5 ∈ A означает, что число 5 принадлежит множеству A, а 7 ∉ A — что не принадлежит. Множество можно задать перечислением элементов или описанием общего признака, например множеством чётных чисел. Это позволяет ясно указывать, какие объекты входят в рассматриваемую группу.
Граф — модель из вершин и соединяющих их рёбер. Вершинами обозначают объекты, а рёбрами — связи между ними: например, города и дороги или людей и знакомства. Если связь можно проходить только в одном направлении, ребро изображают направленным; если направление не имеет значения — ненаправленным. Граф удобен, когда важно изучать не сами объекты, а то, как они связаны.
Истинность составного высказывания зависит от его частей, потому что новое утверждение строится именно из них, а операция задаёт способ их соединения. Например, условие «идёт дождь и дует ветер» истинно только тогда, когда верны обе его части одновременно. Если хотя бы одна часть ложна, всё утверждение с «и» ложно. При слове «или» правило другое: достаточно истинности хотя бы одной части, поэтому одна и та же пара высказываний может дать разные результаты при разных операциях.
Таблица истинности нужна, чтобы не пропустить ни одного сочетания значений частей и не полагаться на догадку. Для двух высказываний A и B есть четыре варианта: истинны оба, истинно только A, истинно только B, ложны оба. В каждой строке применяют выбранную операцию и записывают, истинно ли получившееся утверждение. Так можно проверить сложное условие пошагово и сравнить, как меняется результат при «и», «или» или отрицании.
Операции над множествами связаны с логическими операциями, потому что элемент можно проверять по признаку принадлежности. Объединение A ∪ B включает элементы, для которых верно «элемент принадлежит A или B»; пересечение A ∩ B — элементы, для которых верно «принадлежит A и B». Дополнение к множеству A состоит из рассматриваемых объектов, которые не принадлежат A, то есть соответствует отрицанию признака. Такая связь позволяет переводить задачи о группах объектов на язык логики и обратно.
Чтобы задать граф, сначала выбирают, какие объекты будут вершинами, а затем отмечают связи рёбрами. Например, если вершины — пункты, а рёбра — дороги, путь от одного пункта до другого существует, когда можно пройти по последовательности соединённых дорог. Для дорог без заданного направления используют ненаправленные рёбра; для улиц с односторонним движением — направленные. Модель читают, соотнося каждый элемент схемы с тем, что он обозначает в реальной ситуации.
Подходящую модель выбирают по тому, что именно требуется выяснить. Если задача содержит условия вроде «и», «или» и «не», удобно выделить высказывания и проверить их таблицей истинности. Если нужно найти общие объекты двух групп или посчитать, сколько объектов входит хотя бы в одну группу, используют множества. Если важны связи, переходы или маршруты, выбирают граф. Такая модель упрощает задачу, потому что оставляет только нужные для ответа отношения.
В таблице «результат истинен» описывает условие, при котором составное высказывание верно. Прочитай его вместе с примером словесной записи: это помогает отличить правила операций и не путать значение логического «или» с бытовым выбором только одного варианта.
| Операция | Обозначение | Когда результат истинен | Пример словесной записи |
|---|---|---|---|
| Отрицание | ¬A | Когда A ложно | Неверно, что A |
| Конъюнкция | A ∧ B | Когда истинны и A, и B | A и B |
| Дизъюнкция | A ∨ B | Когда истинно хотя бы одно из A и B | A или B |
Задача 1. Для высказывания «число 8 чётное» определим, истинно ли оно, и запишем отрицание. Сначала выясним, что означает чётность: число делится на 2 без остатка. Затем проверим это условие для 8 и сформулируем отрицание так, чтобы оно утверждало противоположное. Пошаговая проверка не позволяет случайно заменить отрицание другим, не связанным с исходным утверждением.
Ответ: высказывание истинно, его отрицание ложно.
Задача 2. 12 учеников посещают кружок робототехники, 9 — кружок программирования, 4 посещают оба кружка. Найдём, сколько учеников посещают хотя бы один из них. Если просто сложить 12 и 9, четыре ученика, которые входят в обе группы, будут учтены дважды. Поэтому общее количество получим сложением размеров групп и вычитанием числа общих участников.
Ответ: хотя бы один кружок посещают 17 учеников.
Задача 3. На схеме дорог есть пункты A, B, C, D и связи между ними. Нужно представить схему графом и выяснить, можно ли добраться из A в D, не проходя через C. Поскольку нас интересуют пункты и дороги, обозначим пункты вершинами, а дороги — рёбрами. После этого проверим, соединены ли A и D последовательностью рёбер, в которой нет вершины C.
Ответ: путь существует, если после исключения C вершины A и D остаются соединёнными; для окончательного вывода нужна схема дорог.
Ошибка: считать вопрос или команду высказыванием. Это происходит потому, что такие предложения тоже содержат слова и могут относиться к теме, но они не утверждают факт. Проверка простая: можно ли однозначно ответить, истинно предложение или ложно? Если оно спрашивает или побуждает к действию, истинностного значения у него нет.
Ошибка: понимать логическое «или» как выбор только одного варианта. В обычной речи «или» иногда действительно исключает одновременный выбор, и это значение переносят в логику. Но логическая дизъюнкция истинна, если верна хотя бы одна часть, включая случай, когда верны обе. Проверь себя на строке таблицы, где оба высказывания истинны: результат для «или» тоже будет истинным.
Ошибка: складывать размеры множеств и забывать вычесть пересечение. Так делают, когда считают группы отдельно, не замечая, что общие элементы попадают в обе группы. Например, участников двух кружков, посещающих оба, сложение учитывает два раза, хотя в ответе каждый ученик должен учитываться один раз. Проверь, есть ли общие элементы, и используй правило |A ∪ B| = |A| + |B| − |A ∩ B|.
Ошибка: путать вершины и рёбра графа. Схему могут читать как набор одинаковых линий, забывая, что вершины и связи отвечают за разные вещи. Вершина обозначает объект, а ребро — отношение или возможность перехода между объектами. Чтобы проверить себя, проговори значение каждого элемента: что именно является пунктом, человеком или другим объектом, а что соединяет их.
Перед изучением темы полезно уметь сравнивать числа и понимать условия, записанные словами. Это помогает проверять простые высказывания и определять их истинность, прежде чем составлять более сложные утверждения.
Операции с множествами пригодятся при классификации объектов и поиске общих элементов в группах. Тот же подход используют при работе с базами данных, когда нужно выбрать записи по нескольким признакам.
Графы встречаются при изучении алгоритмов и при решении задач о маршрутах, сетях и связях между объектами. С их помощью можно выяснить, есть ли путь между пунктами или как устроены отношения внутри системы.
Любое ли предложение является высказыванием?
Нет. Высказывание должно быть таким предложением, которому можно однозначно приписать истинность или ложность. Вопросы и команды этого условия не выполняют.
Чем логическое «или» отличается от бытового «или»?
В логике «или» обычно означает, что истинно хотя бы одно из двух высказываний. Поэтому результат остаётся истинным и в том случае, когда истинны обе части.
Как проверить составное высказывание с помощью таблицы истинности?
Нужно перечислить все возможные сочетания истинности исходных высказываний. Затем для каждой строки применить заданную операцию и записать результат.
Чем объединение множеств отличается от пересечения?
Объединение содержит элементы, которые входят хотя бы в одно из множеств. Пересечение содержит только те элементы, которые входят в оба множества одновременно.
Можно ли одним графом представить разные реальные ситуации?
Да. В одном графе вершины и рёбра могут обозначать, например, пункты и дороги или людей и знакомства. Нужно только заранее договориться, что именно обозначают вершины и связи.
Раздел 3. Логика. Множества. Графы
