Эквиваленция в логике: значение, примеры и таблица истинности

Представьте, что ученик проверяет правило школьной геометрии: «Четырёхугольник является прямоугольником тогда и только тогда, когда у него четыре прямых угла». Это не просто утверждение о том, что одно условие влечёт другое. Формулировка выражает эквиваленцию: оба условия должны выполняться вместе или не выполняться вместе; их истинностные значения совпадают. В логике высказываний такая связка записывается как P ↔ Q и читается «P тогда и только тогда, когда Q».

В чём здесь логическая задача

Пусть P означает «фигура — прямоугольник», а Q — «у фигуры четыре прямых угла». По стандартному определению прямоугольника, если P истинно, то истинно и Q. Но для полного равносильного условия нужно проверить обратное: если Q истинно, то истинно P. Для четырёхугольников евклидовой геометрии обе стороны выполняются. Именно наличие двух направлений отличает эквиваленцию от односторонней импликации.

В классической логике связка P ↔ Q истинна тогда и только тогда, когда P и Q имеют одинаковые значения истинности. Её можно разложить на совместное утверждение двух импликаций: (P → Q) ∧ (Q → P). При этом логическая связка не говорит, что одно событие вызывает другое. Она описывает истинностную зависимость в системе высказываний, а не физический механизм.

Все четыре сочетания истинности

В таблице «И» означает истинное высказывание, «Л» — ложное. В каждой строке в левом столбце показаны значения двух исходных высказываний, а в правом — результат эквиваленции.

Последняя строка кажется неожиданной: как могут два ложных утверждения давать истинную эквиваленцию? Потому что эквиваленция в логике высказываний проверяет совпадение истинностных значений, а не правдоподобие отдельных фраз. Допустим, P — «7 является чётным числом», Q — «7 делится на 4 без остатка». Оба высказывания ложны; составное P ↔ Q при такой интерпретации истинно. Это не делает ни одну из двух исходных фраз верной.

Три разных смысла слова «равнозначно»

1. Эквиваленция как логическая операция

Формула P ↔ Q — сложное высказывание, которое при определённой оценке может быть истинным или ложным. Например, с P истинным и Q ложным значение всей формулы ложно. Таким образом, сам знак ↔ не гарантирует истинность составного утверждения; он задаёт способ вычисления.

2. Логическая эквивалентность формул

Другое употребление — логическая эквивалентность двух формул: они имеют одинаковые значения истинности при любой допустимой оценке переменных. Например, формулы «неверно, что не P» и P в классической двузначной логике эквивалентны. Здесь речь не о случайном совпадении значений в одной строке, а о совпадении во всех случаях. Следовательно, нужно различать истинность одного выражения P ↔ Q и отношение между формулами, истинное при всех оценках.

3. Эквивалентность как отношение

В математике термин также используется для отношений, которые рефлексивны, симметричны и транзитивны. Например, «иметь одинаковое количество элементов» — отношение эквивалентности между конечными множествами. Оно не превращает разные множества в один и тот же объект. Из-за этой многозначности вопрос «что такое эквиваленция?» лучше уточнять указанием на логику высказываний или более общую теорию отношений.

Можно ли заменить «тогда и только тогда» на «если»?

Нет, без потери смысла. «Если число делится на четыре, оно чётно» — корректная импликация. Но обратное «если число чётно, оно делится на четыре» неверно: число 6 чётно, но не делится на 4. Поэтому утверждение «число делится на четыре тогда и только тогда, когда оно чётно» ложно как всеобщее правило. Добавление «только тогда» обязывает подтвердить и обратное направление.

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

Проверь себя

Задание: высказывания P и Q оба ложны. Каково значение P ↔ Q? Ответ: истинно, поскольку их значения совпадают.

Задание: доказано только P → Q. Достаточно ли этого для P ↔ Q? Ответ: нет, требуется ещё Q → P.

Вывод: эквиваленция — не расплывчатое «почти одинаково», а точная двусторонняя логическая связь. Её сила в том, что она исключает односторонние подмены при определении и доказательстве.

Проверяемые источники

• А. А. Ивин, А. Л. Никифоров. «Словарь по логике»: Эквивалентность (логическая связка, две импликации, отношение эквивалентности).
• Stanford Encyclopedia of Philosophy — Indicative Conditionals (логические условия истинности условных высказываний и ограничения их интерпретации).