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

Она истинна только тогда, когда значения и совпадают. Эту операцию еще иногда называют логическим равенством.

В математических терминах эта операция интерпретируется в качестве фраз "тогда и только тогда", "необходимо и достаточно". Такая форма тоже очень часто используется в формулировке теорем. Эквивалентность представляется в виде:

.

Т.е. из следует , и из следует .

Например: Признак сходимости бесконечного ряда. Ряд сходится тогда и только тогда, когда:

.