Логическая связка ТОГДА И ТОЛЬКО ТОГДА

Эта связка символически записывается А ↔ В. Знак ↔ называется эквивалентностью. Этой связкой переводятся предложения:

• А тогда и только тогда, когда В;
• А эквивалентно В;
• А необходимое и достаточное условие для В;
• если А, то и В, и наоборот и т.п.

Эквивалентность истинна тогда и только тогда, когда истинностные значения А и В совпадают, и ложна тогда и только тогда, когда истинностные значения различны.