Логическое следование (импликация)
💻 Информатика · 9 класс
Что такое импликация
Импликация (логическое следование) — это операция, которую читают как «если A, то B». Обозначают её стрелкой: A → B. Первый аргумент A называют условием (посылкой), второй B — следствием.
Импликация ложна только в одном-единственном случае: когда условие истинно, а следствие ложно. Во всех остальных случаях она истинна.
Таблица истинности
A | B | A → B |
|---|---|---|
| 0 | 0 | 1 |
| 0 | 1 | 1 |
| 1 | 0 | 0 |
| 1 | 1 | 1 |
Обратите внимание: при ложном условии A импликация всегда истинна, каким бы ни было следствие. Это самый сложный для понимания момент.
Объяснение «на словах»
Представьте обещание: «Если будет дождь, я возьму зонт». Когда оно нарушено? Только если дождь пошёл (A истинно), а зонт не взят (B ложно). Если дождя нет, обещание не нарушено в любом случае — поэтому при ложном A результат истинный.
Разбор примера
Пусть A = 0, B = 0. Найдём A → B:
A = 0 (условие ложно)
при ложном условии импликация истинна
A -> B = 1А для A = 1, B = 0 условие истинно, а следствие ложно — это единственный случай, когда A → B = 0.
Частая ошибка: думать, что импликация ложна всегда, когдаBложно. Это не так. Она ложна только при истинномAи ложномB. Запомните единственную «нулевую» строку.
Связь с другими операциями
Импликацию можно выразить через отрицание и ИЛИ: A → B равно (не A) или B. Эта замена помогает упрощать сложные логические выражения и строить таблицы истинности.
Проверка равносильности
Убедимся, что A → B и (не A) или B действительно дают одинаковые результаты. Построим таблицу для второго выражения и сравним с импликацией.
A | B | не A | (не A) или B |
|---|---|---|---|
| 0 | 0 | 1 | 1 |
| 0 | 1 | 1 | 1 |
| 1 | 0 | 0 | 0 |
| 1 | 1 | 0 | 1 |
Последний столбец полностью совпал со столбцом импликации из таблицы выше. Значит, замена верна, и её можно смело применять при упрощении формул.
Импликация в условиях задач
В заданиях логические условия нередко формулируют именно как следование: «если число делится на 4, то оно делится на 2». Чтобы такое утверждение было ложным, нужно найти число, которое делится на 4, но не делится на 2. Такого числа не существует, поэтому утверждение всегда истинно. Умение видеть единственный «ложный» случай импликации помогает быстро проверять подобные высказывания.
Порядок импликации важен
Импликация — несимметричная операция: A → B и B → A в общем случае дают разные результаты. Нельзя менять местами условие и следствие. Сравним их на одном наборе значений.
A | B | A → B | B → A |
|---|---|---|---|
| 1 | 0 | 0 | 1 |
| 0 | 1 | 1 | 0 |
Видно, что в этих строках результаты противоположны. Поэтому при разборе условия важно чётко понимать, что является посылкой, а что — следствием.
Место импликации среди операций
При вычислении сложных формул операции выполняют в определённом порядке: сначала отрицание, затем «и», потом «или», и лишь после них — импликация. Это значит, что импликация связывает уже вычисленные части выражения. Если нужно изменить порядок, ставят скобки, как в обычной арифметике.
Кратко о главном
- Импликация
A → Bчитается «еслиA, тоB». - Она ложна только при истинном
Aи ложномB. - При ложном условии импликация всегда истинна.
- Импликация равна выражению
(не A) или B.