Операция эквивалентности, или эквивалентность высказываний.

Высказывание С, составленное из двух высказываний А и В при помощи слов «тогда и только тогда, когда…», называют эквивалентностью высказываний А и В: .

Для эквивалентности используют знак (или ~).

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

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

А	В

Пусть {число 3n является чётным}, {число n является чётным}.

Высказывание {число 3n является чётным тогда и только тогда, когда n – чётное число} есть эквивалентность высказываний А и В: .