Логика и доказательства: почему вывод следует из условий

Где мы на карте

Статистический вывод потребовал различать то, что данные поддерживают, и то, что из них не следует. Логика даёт точный язык для таких границ.

Сначала знакомый образ

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

Точное значение

Высказывание имеет истинностное значение. Импликация p→q ложна только при истинном p и ложном q. Обратное q→p — другое утверждение. Чтобы опровергнуть всеобщее утверждение, достаточно одного контрпримера. Прямое доказательство идёт от условий к выводу по определениям; доказательство от противного добавляет отрицание цели и получает противоречие. Кванторы «для всех» и «существует» нельзя менять местами.

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

Не начинайте с формулы. Сначала изобразите структуру: дерево, точечный график, таблицу истинности, сеть или цикл модели. После расчёта вернитесь к изображению и проверьте, соответствует ли число исходной конструкции.

Опорный сигнал урока

условия → определения → допустимый шаг → промежуточный вывод → цель; проверка: обратное? контрпример? скрытое допущение?

Проговорите сигнал вслух. Для каждой стрелки объясните условие перехода и приведите пример, где это условие нарушается.

Разобранный пример

Докажем: если n чётно, то n² чётно. По определению n=2k для целого k. Тогда n²=(2k)²=4k²=2(2k²). Число 2k² целое, следовательно n² имеет вид двухкратного целого и чётно. Каждый переход опирается на определение или алгебру.

Проверьте ответ вторым способом: перечислением, дополнением до единицы, пересчётом суммы, альтернативным маршрутом, прямой подстановкой или повторным наблюдением.

Пример с уменьшающейся подсказкой

Докажите: сумма двух нечётных целых чётна. Начните с a=2m+1, b=2n+1, но последний шаг — выделение множителя 2 и указание, что выражение в скобках целое — выполните без подсказки.

Сначала предскажите порядок результата и только потом считайте. Последний шаг и проверку выполните без образца.

Воспроизведите без подсказки

Восстановите таблицу истинности p→q. Затем сформулируйте исходное, обратное и противоположное утверждения для фразы «если число делится на 4, оно чётное».

Запишите также контрпример или граничный случай. Он показывает, понимаете ли вы условие, а не только запомнили ли последовательность действий.

Найдите и исправьте ошибку

Ошибка: из n² чётно сразу заявить, что n чётно, сославшись на доказанную прямую импликацию. Это обратное утверждение. Оно истинно, но требует отдельного доказательства, например через контрапозицию.

Исправление полно, когда названа причина ошибки, восстановлен правильный шаг и показана независимая проверка.

Перенос в новую ситуацию

Возьмите рекламное или новостное утверждение вида «если…, то…». Выпишите условия, вывод, скрытые предпосылки и найдите ситуацию, которая проверяет обратную связь или служит контрпримером.

Отделите факты от предположений. Если данные собраны неслучайно или модель упрощает реальность, прямо укажите, какой вывод остаётся допустимым.

Задание

Обязательное. Выполните четыре задачи: а) докажите, что сумма кратных 3 кратна 3; б) опровергните утверждение «все простые числа нечётны»; в) запишите отрицание фразы «для каждого x существует y>x»; г) докажите иррациональность √2 от противного, явно отмечая шаг с несократимой дробью.

На своих данных. Создайте небольшой пример той же структуры, сохраните исходные данные, выполните расчёт и попросите другого человека воспроизвести результат по вашей записи.

По желанию. Через семь дней измените числа или условия и решите без опорной схемы. Сравните рассуждение и проверку, а не только ответ.

Открытая перспектива

Логика проверяет отдельные шаги. Графы покажут, как из узлов и связей строить алгоритмическое рассуждение целиком.

Оглавление курса