Логическая задача: типы и решение¶

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

¶Типы логических задач

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

¶Задачи на установление соответствия

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

¶Задачи на упорядочивание (ранжирование)

Условия задают относительный порядок объектов (выше/ниже, старше/младше, раньше/позже). Требуется восстановить полную последовательность. Часто используются формулировки «А сидит левее Б, но правее В». Инструментом решения служит построение линейной шкалы и последовательная вставка элементов.

¶Задачи на определение истинности высказываний

Даны несколько утверждений, часть из которых истинна, часть ложна. Известно количество истинных (например, «только один говорит правду»). Требуется выяснить, кто из персонажей говорит правду, а кто лжёт, и на основе этого найти искомый объект. Эти задачи тесно связаны с алгеброй логики и решаются перебором гипотез с проверкой непротиречивости.

¶Комбинаторные задачи (переборные)

Требуется найти расположение объектов, удовлетворяющее всем условиям, где число вариантов конечно, но велико. Сюда относятся задачи о «рыцарях и лжецах», задачи на шахматной доске (например, о восьми ферзях), задачи о переливании жидкостей и переправах. Решение часто требует полного или сокращённого перебора вариантов, а также эвристических правил.

¶Задачи на закономерности

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

¶Методы решения

Универсального алгоритма для всех логических задач не существует, однако выделяют несколько базовых приёмов.

¶Метод таблиц

Составляется таблица, где строки — объекты, столбцы — признаки. Клетки заполняются знаками «+» (соответствует) и «−» (не соответствует) на основе условий. Процесс решения — последовательное заполнение таблицы и вычёркивание невозможных вариантов. Эффективен для задач на соответствие.

¶Метод графов

Объекты изображаются вершинами, а связи между ними — рёбрами (сплошными или пунктирными для отрицаний). Визуализация позволяет увидеть структуру отношений, которую сложно удержать в уме. Применяется для задач о знакомствах, родственных связях и взаимоотношениях.

¶Метод перебора (метод гипотез)

При небольшом числе вариантов (обычно не более 3–4) выдвигается предположение по одному из условий. Проверяется, приводит ли оно к противоречию с остальными условиями. Если приводит — гипотеза отбрасывается, и проверяется следующая. Является основой для задач об истинности высказываний.

¶Метод рассуждений (дедуктивный)

Последовательное применение правил вывода: modus ponens, modus tollens, закон исключённого третьего. Используется, когда условия задачи содержат импликации («если…, то…»). Требует аккуратного отслеживания логических следствий.

¶Пример решения

Условие. В трёх коробках лежат шары: в одной — два белых, в другой — два чёрных, в третьей — один белый и один чёрный. На коробках наклеены ярлыки «ББ», «ЧЧ» и «БЧ», но содержимое ни одной коробки не соответствует ярлыку. Можно ли, вынув один шар из коробки с ярлыком «БЧ», определить содержимое всех коробок?

Решение. Так как ни один ярлык не верен, в коробке «БЧ» не может лежать белый и чёрный шар. Значит, там лежат либо два белых, либо два чёрных. Вынимаем один шар. Если он белый, то в коробке «БЧ» лежат два белых (ярлык «ББ»). Тогда в коробке «ЧЧ» не могут лежать два чёрных (ярлык неверен) и не могут лежать два белых (они уже найдены), следовательно, там лежит один белый и один чёрный. Оставшаяся коробка «ББ» содержит два чёрных. Ответ: да, можно.

¶Значение и применение

Логические задачи используются в качестве инструмента развития когнитивных способностей, в частности абстрактного мышления и внимания. Они входят в программы олимпиад по математике и информатике, применяются в психометрических тестах для оценки уровня интеллекта (IQ). В компьютерных науках методы решения логических задач легли в основу логического программирования (язык Prolog) и систем искусственного интеллекта, основанных на правилах вывода. В юридической и управленческой практике навыки решения таких задач коррелируют со способностью к анализу сложных многофакторных ситуаций.

¶Источники

• Ивин А. А. Логика: учебник для гуманитарных факультетов.
• Босова Л. Л., Босова А. Ю. Информатика и ИКТ: учебник для 7 класса.
• Раскина И. В., Шноль Д. Э. Логические задачи: методическое пособие.