4. Следование и равносильность

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

Высказывание — утверждение, которому можно однозначно приписать значение «истина» или «ложь». Например, фраза «8 делится на 2» истинна, а вопрос или просьба высказыванием не являются. Это понятие нужно, чтобы понимать, какие математические фразы можно проверять и доказывать.

Следование A ⇒ B — утверждение «если A, то B», где A называют условием, а B — заключением. Например, в высказывании «если число делится на 4, то оно делится на 2» условие — делимость на 4. Такая запись кратко показывает, какое утверждение из какого должно следовать.

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

Равносильность A ⇔ B — взаимное следование двух высказываний: из A следует B и из B следует A. Её можно записать как A ⇒ B и B ⇒ A вместе. Это понятие помогает убедиться, что два условия действительно заменяют друг друга без потери случаев.

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

Из двух высказываний составляют следование, соединяя их словами «если…, то…»: первое становится условием, второе — заключением. Истинность такого утверждения зависит не от того, верны ли A и B в одном выбранном примере, а от всех случаев, где A истинно. Если среди них заключение B всегда истинно, следование верно. Если найдётся случай с истинным A и ложным B, утверждение ложно.

Истинность условия сама по себе не гарантирует истинность заключения: условие лишь отбирает случаи, которые нужно проверить. Например, число 6 делится на 2, но из этого не следует, что оно делится на 4. Чтобы опровергнуть следование, достаточно такого контрпримера — конкретного случая, который удовлетворяет условию, но нарушает заключение. А чтобы доказать общее следование, нужно обосновать его для любого подходящего случая.

Следование не становится обратимым автоматически, потому что условие может быть более строгим, чем заключение. Если из A следует B, это означает лишь, что все случаи A входят в число случаев B; в B могут быть и другие случаи. Например, делимость на 4 влечёт делимость на 2, но число 6 делится на 2 и не делится на 4. Поэтому обратное утверждение проверяют отдельно.

Равносильность образуется, когда верны оба направления: A ⇒ B и B ⇒ A. Первое показывает, что всякий случай, подходящий под A, подходит и под B; второе подтверждает обратное. Тогда оба условия описывают одни и те же случаи, и одно можно заменить другим. Если доказано только одно направление, речь идёт о следовании, а не о равносильности.

Слова «если…, то…» обычно обозначают следование A ⇒ B. Формулировки «тогда и только тогда, когда» и «необходимо и достаточно» указывают на равносильность A ⇔ B. В выражении «A необходимо и достаточно для B» каждое из условий можно вывести из другого. При записи сначала определяют, где условие, а где заключение, а затем выбирают один символ или два направления.

Следование и равносильность

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

Разбор задач

Задача 1. Определить, верно ли следование: «Если натуральное число делится на 4, то оно делится на 2».

1. Обозначим условие: число делится на 4. Заключение: число делится на 2. Проверяем не одно случайно выбранное число, а любое натуральное число, для которого условие выполнено.

2. Если число делится на 4, его можно представить как 4 · k, где k — натуральное число. Поскольку 4 · k = 2 · (2 · k), это число делится на 2. Значит, заключение получается из условия для любого такого числа.

Ответ: следование верно.

Задача 2. Выяснить, равносильны ли условия «число делится на 6» и «число делится на 2 и на 3».

1. Проверим прямое направление. Если число делится на 6, оно равно 6 · k, то есть 2 · (3 · k) и 3 · (2 · k). Поэтому оно делится и на 2, и на 3.

2. Проверим обратное направление. Числа, делящиеся и на 2, и на 3, при делении на 6 не дают остатка: делители 2 и 3 — взаимно простые, а значит, их общий кратный делится на 6. Оба направления выполнены, поэтому условия равносильны.

Ответ: условия равносильны.

Задача 3. Равносильны ли условия «x + 5 = 9» и «x = 4»?

1. Преобразуем первое равенство: вычтем 5 из обеих частей, получим x = 4. Значит, если x + 5 = 9, то x = 4.

2. Проверим обратное направление: подставим x = 4 в первое равенство. Получаем 4 + 5 = 9, то есть верное равенство. Следовательно, из x = 4 также следует x + 5 = 9.

Ответ: условия равносильны.

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

Некоторые считают, что если условие истинно, то заключение тоже обязательно истинно. Но условие может выполняться во многих случаях, и заключение нужно проверять для каждого из них. Например, делимость числа на 2 не гарантирует делимость на 4. Для проверки себя задай вопрос: можно ли найти число, которое подходит под условие, но не подходит под заключение?

Другая ошибка — путать A ⇒ B с B ⇒ A. Меняя местами условие и заключение, мы получаем новое утверждение, истинность которого не следует из первого. Например, из делимости на 4 следует делимость на 2, но не наоборот. Всегда подпиши, что именно является условием, и проверь обратное направление отдельно.

Нельзя объявлять два условия равносильными, доказав только одно направление. Даже если из A следует B, могут существовать случаи, когда B истинно, а A ложно. Проверь себя: для равносильности должны быть обоснованы и A ⇒ B, и B ⇒ A. Если одно направление не установлено, равносильность не доказана.

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

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

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

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

• A — условие, B — заключение в следовании A ⇒ B.
• Следование означает: из истинности A должна следовать истинность B.
• Чтобы опровергнуть следование, достаточно привести один контрпример.
• Обратное следование нужно проверять отдельно.
• A и B равносильны, если A ⇒ B и B ⇒ A.
• Равносильные условия можно заменять друг другом.
• Слова «тогда и только тогда» указывают на взаимное следование.