Традиционная логика

ТОЖДЕСТВА СУЖДЕНИЕ

сложное суждение, образуемое логическим союзом тождество, соответствующим грамматическим союзам «если, и только если», «тогда, и только тогда», «тоже самое» и др.