2015-02-24
714
Она истинна только тогда, когда значения 
и 
совпадают. Эту операцию еще иногда называют логическим равенством.
 |  |  |
В математических терминах эта операция интерпретируется в качестве фраз "тогда и только тогда", "необходимо и достаточно". Такая форма тоже очень часто используется в формулировке теорем. Эквивалентность представляется в виде:
.
Т.е. из следует , и из следует .
Например: Признак сходимости бесконечного ряда. Ряд сходится тогда и только тогда, когда:
.
