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

Основная польза эквивалентности в том, что она помогает доказывать математические результаты. 2 Например, можно заменить одно выражение на другое эквивалентное выражение, и если значение составной пропозиции не изменилось, то эквивалентность помогла доказать первоначальное высказывание. 2

Кроме доказательств, эквивалентность используется и в рассуждениях. 2 Она помогает осмыслить предложение и отнести его к одной из трёх категорий в таблице истинности. 2

Пример эквивалентности: высказывание «Треугольник будет прямоугольным тогда и только тогда, когда один из углов равен 90 градусам». 3