Тогда и только тогда, когда снег белый

Рассмотрим конкретный пример – утверждение «Снег белый». Возникает вопрос: при каких условиях это утверждение истинно или ложно? В соответствии с классической концепцией истины очевидно, что данное утверждение является истинным, если снег белый, и ложным, если снег не белый. Исходя из этого, если определение истины соответствует изложенной концепции, то оно подразумевает под собой эквивалентность.

«Предложение „Снег бел“ истинно тогда и только тогда, когда снег бел».

А. Тарский. «Семантическая концепция истины и основания семантики»