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

Эквивалентность (равноценность или равнозначность) соответствует оборотам речи «тогда и только тогда», «в том и только в том случае», «... равносильно...» и обозначается A↔B, или A≡B.

Таблица истинности эквивалентности имеет вид:

Выражение A↔B истинно в том и только в том случае, когда оба исходных высказывания одновременно истинны или одновременно ложны.

Пример эквивалентности: «Петя выучит уроки тогда и только тогда, когда Пете поставят хорошую отметку».

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