1.2.4. Логические ошибки

Определения и обозначения

Логическая ошибка — нарушение правил рассуждения, из-за которого вывод не следует из приведённых утверждений. Например, можно верно вычислить отдельные значения, но сделать из них необоснованный общий вывод. Это понятие помогает оценить не только ответ, но и каждый шаг, которым его получили.

Контрпример — конкретный пример, опровергающий общее утверждение. Если утверждение говорит «для всех», достаточно найти хотя бы один подходящий случай, в котором оно не выполняется. Контрпример нужен, чтобы быстро проверить сомнительное обобщение.

Условие и следствие — части высказывания «если ..., то ...», между которыми устанавливается связь. В записи «если A, то B» условие — A, а следствие — B. Различать их нужно, чтобы не подменять исходное утверждение обратным.

Необходимое и достаточное условие — условие, которое требуется для выполнения утверждения, или условие, которого достаточно для его выполнения. Если условие необходимо, без него утверждение не выполнится; если достаточно — его выполнение гарантирует результат. Различение этих смыслов помогает точно формулировать доказательства.

Как это устроено

Истинное утверждение и правильное рассуждение — не одно и то же. Иногда случайно получают верный ответ, пропустив один из возможных случаев или применив неподходящее правило. Ответ при этом может совпасть с правильным, но способ не доказывает, что он верен всегда. Поэтому проверяют и результат, и основания каждого перехода.

Ошибка возникает, когда рассуждающий использует только часть условий, без объяснения переходит к новому выводу или меняет местами условие и следствие. Например, из «если число делится на 6, то оно делится на 3» нельзя сразу заключить обратное: делимость на 3 ещё не гарантирует делимость на 6. Чтобы проверить ход мысли, выпиши условие и следствие отдельно и спроси, доказана ли нужная связь.

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

Из равенства квадратов чисел не всегда следует равенство самих чисел: например, 3² = (−3)². Квадрат «теряет» информацию о знаке, поэтому одному результату могут соответствовать два числа, противоположных по знаку. Чтобы сделать верный вывод, нужно рассмотреть оба случая или использовать правило: если a² = b², то a = b или a = −b. Пропуск отрицательного значения и создаёт ошибку.

При решении уравнений каждый шаг должен сохранять решения или требовать отдельной проверки. Область допустимых значений (ОДЗ) — это значения переменной, при которых все выражения уравнения имеют смысл; например, на ноль делить нельзя. Равносильные преобразования не меняют множество решений, а преобразование, которое может добавить или потерять решения, нужно обосновать. После решения подставь найденные значения в исходное уравнение и исключи запрещённые.

Основные виды логических ошибок и способы их обнаружения

Сначала определи, какое именно утверждение проверяется и какие значения допустимы. Затем сопоставь каждый шаг с условиями задачи: так легче заметить пропуск или подмену. Если утверждение общее, попытайся найти контрпример; если решается уравнение, проверь ответ в исходной записи.

Разбор задач

Задача 1. Из равенства x² = 9 следует x = 3

Условие. Найти логическую ошибку в рассуждении: из равенства x² = 9 следует x = 3. Чтобы проверить вывод, нужно найти все значения x, квадрат которых равен 9, а не ограничиваться одним очевидным вариантом.

1. Подставим предложенное значение: 3² = 9, поэтому x = 3 действительно подходит.
2. Проверим отрицательное число −3: (−3)² = 9, значит, оно тоже удовлетворяет исходному равенству.
3. В рассуждении пропущен второй случай. Из x² = 9 следует x = 3 или x = −3, а не только x = 3.

Ответ: ошибка — пропуск отрицательного значения; решения x = 3 и x = −3.

Задача 2. Контрпример к утверждению о произведении

Условие. Опровергнуть утверждение: «Если произведение двух чисел положительно, то оба числа положительны». Произведение бывает положительным, когда множители имеют одинаковые знаки, а не только когда оба знака положительные.

1. Возьмём два отрицательных числа, например −2 и −3.
2. Их произведение положительно: (−2) · (−3) = 6.
3. При этом оба числа не положительны, а отрицательны. Значит, пример подходит под условие и нарушает заключение.

Ответ: контрпример — числа −2 и −3. Для положительного произведения множители должны иметь одинаковые знаки, но не обязательно быть положительными.

Задача 3. Подмена условия и следствия

Условие. Проанализировать рассуждение: «Если число делится на 6, то оно делится на 3. Число делится на 3, значит, оно делится на 6». Ошибка здесь не в первой фразе: если число делится на 6, то оно действительно делится на 3, поскольку 6 = 2 · 3.

1. Обозначим A: «число делится на 6», B: «число делится на 3». Доказано исходное утверждение: если A, то B.
2. Во второй фразе делают обратный вывод: если B, то A. Исходное утверждение само по себе его не доказывает.
3. Проверим число 9: оно делится на 3, но не делится на 6. Это контрпример к обратному утверждению.

Ответ: допущена подмена условия и следствия. Верно: делимость на 6 влечёт делимость на 3; обратное неверно. Можно заключить о делимости на 6, если дополнительно известно, что число делится на 2.

Типичные ошибки

Первая ошибка — считать утверждение верным после проверки нескольких примеров. Так поступают, потому что примеры выглядят убедительно, но они проверяют только выбранные значения. Проверь себя вопросом: рассмотрены ли все возможные случаи? Если нет, нужно доказательство общего правила или поиск контрпримера.

Вторая ошибка — забывать отрицательные или нулевые значения при решении уравнений и неравенств. Часто рассуждающий проверяет привычные положительные числа и не замечает других допустимых вариантов. Перед выводом выпиши ограничения на переменную и проверь, какие знаки возможны. Например, x² = 9 имеет два корня, а не один.

Третья ошибка — считать обратное утверждение автоматически верным. Это происходит из-за похожей формулировки: меняются местами условие и следствие, и кажется, что смысл сохранился. Запиши обе части отдельно и проверь обратное утверждение на примере, который удовлетворяет его условию. Делимость на 3 не гарантирует делимость на 6.

Четвёртая ошибка — выполнять преобразование, не проверив допустимые значения, например делить на выражение, которое может быть равно нулю. В таком случае деление не определено, а попытка сократить выражение может убрать решение. Сначала найди, при каких значениях делитель обращается в ноль, и исключи их из ОДЗ. Затем проверь найденные ответы в исходном уравнении.

Связь с другими темами

Для проверки рассуждений пригодятся свойства равенств, преобразования выражений, решение линейных уравнений и область допустимых значений. Эти знания позволяют отличать шаг, сохраняющий решения, от недопустимого действия. Логические проверки нужны при доказательстве тождеств, решении уравнений и неравенств, а также при разборе математических доказательств.

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

Что запомнить

• Истинность нескольких примеров не доказывает истинность общего утверждения.
• Одного контрпримера достаточно, чтобы опровергнуть общее утверждение.
• Из истинности утверждения «если A, то B» обычно нельзя заключать истинность «если B, то A».
• При решении нужно учитывать все возможные значения переменных.
• Каждое преобразование должно сохранять исходное множество решений или быть отдельно обосновано.
• Значение, запрещённое условием задачи, нельзя использовать в рассуждении.
• Логический вывод должен следовать из всех приведённых условий, а не только из части примеров.