Cуждение эквивалентности

Это суждение получено из любых двух других суждений при помощи логического союза «тогда и только тогда, когда…». Семантическая характеристика суждения определяется следующим образом зависимостью: суждение эквивалентности истинно, когда оба составляющих его суждения истины и когда оба они ложны, и ложно в прочих случаях. Это видно из следующей таблицы: